cppcheck/cfg/daca.cfg

32 lines
908 B
INI
Raw Permalink Normal View History

2019-04-05 09:05:31 +02:00
<?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. -->
2019-04-19 12:09:54 +02:00
<!-- see gnu.cfg -->
2019-04-19 15:43:17 +02:00
<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>
<leak-ignore/>
<returnValue>arg1&lt;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&gt;arg2?arg1:arg2</returnValue>
<arg nr="1" direction="in">
<not-uninit/>
</arg>
<arg nr="2" direction="in">
<not-uninit/>
</arg>
</function>
2019-04-05 09:05:31 +02:00
</def>