<?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="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<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>