Correct two recently added macros

This commit is contained in:
amai2012 2019-04-19 15:43:17 +02:00
parent 3327102aa4
commit 2788d9f7d2
1 changed files with 2 additions and 2 deletions

View File

@ -2,8 +2,8 @@
<def format="2">
<!-- This configuration is used in daca@home and contains some common practice macros and functions which are helpful for daca analysis. -->
<!-- see gnu.cfg -->
<define name="define ASSERT(expr)" value="assert (expr)"/>
<define name="define BE(expr, val)" value="__builtin_expect (expr, val)"/>
<define name="ASSERT(expr)" value="assert (expr)"/>
<define name="BE(expr, val)" value="__builtin_expect (expr, val)"/>
<function name="MIN">
<use-retval/>
<noreturn>false</noreturn>