From 4af2f991c235848888e97a6b8390af0a30bf7256 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20St=C3=B6neberg?=
 <firewave@users.noreply.github.com>
Date: Wed, 20 Sep 2023 14:46:12 +0200
Subject: [PATCH] removed unused `daca.cfg` (#5467)

It appears this file was never used. And we shouldn't. Although this
will help with reducing warning and improving coverage in daca it will
not improve the analysis for the user. It might also mask issues.
---
 cfg/daca.cfg | 31 -------------------------------
 1 file changed, 31 deletions(-)
 delete mode 100644 cfg/daca.cfg

diff --git a/cfg/daca.cfg b/cfg/daca.cfg
deleted file mode 100644
index b2c21d664..000000000
--- a/cfg/daca.cfg
+++ /dev/null
@@ -1,31 +0,0 @@
-<?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>