From 71b8638b0c84cc286af8fb377cb40842b9227c5b Mon Sep 17 00:00:00 2001
From: Hernan Ponce de Leon <zeta96@gmail.com>
Date: Thu, 9 Nov 2023 10:52:32 +0100
Subject: [PATCH] Set CFLAGS and OPTFLAGS in svcomp script (#560)

Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
Co-authored-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
---
 Dartagnan-SVCOMP.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Dartagnan-SVCOMP.sh b/Dartagnan-SVCOMP.sh
index f3e7ff298d..d1b0a0ffa4 100755
--- a/Dartagnan-SVCOMP.sh
+++ b/Dartagnan-SVCOMP.sh
@@ -22,6 +22,8 @@ else
 
     export DAT3M_HOME=$(pwd)
     export DAT3M_OUTPUT=$DAT3M_HOME/output
+    export CFLAGS="-fgnu89-inline"
+    export OPTFLAGS="-mem2reg -sroa -early-cse -indvars -loop-unroll -fix-irreducible -loop-simplify -simplifycfg -gvn"
 
     cmd="java -jar svcomp/target/svcomp.jar --method=assume --program.processing.constantPropagation=false --encoding.integers=true --svcomp.step=5 --svcomp.umax=27 cat/svcomp.cat --svcomp.property="$propertypath" "$programpath" "$witness
     $cmd