From 1b9b5168d01ca7e5b43d92d824d69691f127faaa Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 5 Apr 2019 09:28:15 +0200
Subject: [PATCH] daca.cfg: Turned macros into functions to avoid problems with
 macros like 'MIN(a,b,c)'.

---
 cfg/daca.cfg | 29 +++++++++++++++++++++++++----
 1 file changed, 25 insertions(+), 4 deletions(-)

diff --git a/cfg/daca.cfg b/cfg/daca.cfg
index f0f78d5c8..6dbd726ec 100644
--- a/cfg/daca.cfg
+++ b/cfg/daca.cfg
@@ -1,7 +1,28 @@
 <?xml version="1.0"?>
 <def format="2">
-   <!-- This configuration is used in daca@home and contains some common practice macros which are helpful for daca analysis. -->
-   
-  <define name="MAX(a,b)" value="(((a) &gt; (b)) ? (a) : (b))"/>
-  <define name="MIN(a,b)" value="(((a) &lt; (b)) ? (a) : (b))"/>
+  <!-- This configuration is used in daca@home and contains some common practice macros and functions which are helpful for daca analysis. -->
+  <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>