From 1297a8fb571315eebde4d3608354a7e1f873bd88 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Fri, 4 Oct 2019 19:56:20 +0200
Subject: [PATCH] trace: skip subject_id 0 in subject id allocator

Issue #3510
---
 repos/base/src/core/include/trace/subject_registry.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/src/core/include/trace/subject_registry.h b/repos/base/src/core/include/trace/subject_registry.h
index 7ac42d1350..75e872d937 100644
--- a/repos/base/src/core/include/trace/subject_registry.h
+++ b/repos/base/src/core/include/trace/subject_registry.h
@@ -350,7 +350,7 @@ class Genode::Trace::Subject_registry
 			                  Session_label const &label, Thread_name const &name)
 			{
 				Subject *subject = new (&registry._md_alloc)
-					Subject(Subject_id(registry._id_cnt++), source_id, source, label, name);
+					Subject(Subject_id(++registry._id_cnt), source_id, source, label, name);
 
 				registry._entries.insert(subject);
 			}