From cfe11acf822e22d78759228e2390ef00ab57be90 Mon Sep 17 00:00:00 2001
From: amai2012 <amai@users.sf.net>
Date: Fri, 19 Apr 2019 12:09:54 +0200
Subject: [PATCH] Supply BE() and ASSERT() macros

---
 cfg/daca.cfg | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cfg/daca.cfg b/cfg/daca.cfg
index 6dbd726ec..646056891 100644
--- a/cfg/daca.cfg
+++ b/cfg/daca.cfg
@@ -1,6 +1,9 @@
 <?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>