From 36525a96746c47129b0fff7262aff5ab41fc3e39 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Tue, 1 Oct 2024 11:18:46 +0300 Subject: [PATCH] Add reduced congruence both branches dead test --- .../15-congruence-hardness-unsound-branches.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c diff --git a/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c b/tests/regression/37-congruence/15-congruence-hardness-unsound-branches.c new file mode 100644 index 0000000000..9105e2bf94 --- /dev/null +++ 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; +}