Add reduced congruence both branches dead test

goblint · Oct 1, 2024 · 36525a9 · 36525a9
1 parent dfaf8a9
commit 36525a9
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c b/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c
@@ -0,0 +1,11 @@
+// PARAM: --enable ana.int.congruence --enable ana.int.interval
+// reduced (via creduce and manually) from sv-benchmarks/c/hardness-nfm22/hardness_codestructure_dependencies_file-70.c
+
+main() {
+  int a;
+  unsigned c = 1;
+  if (a)
+    c = 4;
+  if (c + (c + 2)) // NOWARN
+    a = 1;
+}