ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 10:46:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

hw: disable assertions if release spec is set only

Browse Source 
Fix #1071
This commit is contained in:
Stefan Kalkowski 2014-02-26 11:18:22 +01:00 committed by Christian Helmuth
parent caad308a21
commit 83266db30b
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
base-hw/src/core/include/assert.h
View File

@ -17,7 +17,14 @@
/* Genode includes */
#include <base/printf.h>
enum { CHECK_ASSERTIONS = 0 };
/**
* Suppress assertions in release version
*/
#ifdef GENODE_RELEASE
#define DO_ASSERT false
#else
#define DO_ASSERT true
#endif /* GENODE_RELEASE */
/**
* Make an assertion
@ -34,7 +41,7 @@ enum { CHECK_ASSERTIONS = 0 };
*/
#define assert(expression) \
do { \
if (CHECK_ASSERTIONS) { \
if (DO_ASSERT) { \
if (!(expression)) { \
PERR("Assertion failed: "#expression""); \
PERR(" File: %s:%d", __FILE__, __LINE__); \