denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

core: change policy incrementation to prefix op

Browse Source 
Using prefix incrementation makes sure a policy with id == 0 is
invalid.

Fixes #1049.
This commit is contained in:
Josef Söntgen
2014-01-28 16:19:10 +01:00
committed by Norman Feske
parent e68eadf57b
commit e79044d16a
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
base/src/core/trace_session_component.cc
View File

@@ -41,7 +41,11 @@ Policy_id Session_component::alloc_policy(size_t size)
if (size > _argument_buffer.size)
throw Policy_too_large();
Policy_id const id(_policy_cnt++);
/*
* Using prefix incrementation makes sure a policy with id == 0 is
* invalid.
*/
Policy_id const id(++_policy_cnt);
if (!_md_alloc.withdraw(size))
throw Out_of_metadata();