32 lines
922 B
INI
32 lines
922 B
INI
<?xml version="1.0"?>
|
|
<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)"/>
|
|
<function name="MIN">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<returnValue>arg1<arg2?arg1:arg2</returnValue>
|
|
<arg nr="1" direction="in">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2" direction="in">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
<function name="MAX">
|
|
<use-retval/>
|
|
<noreturn>false</noreturn>
|
|
<leak-ignore/>
|
|
<returnValue>arg1>arg2?arg1:arg2</returnValue>
|
|
<arg nr="1" direction="in">
|
|
<not-uninit/>
|
|
</arg>
|
|
<arg nr="2" direction="in">
|
|
<not-uninit/>
|
|
</arg>
|
|
</function>
|
|
</def>
|