<?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&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>
</def>
