From 5b00197eb07f4454c52d138ea08f741868a4b109 Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Tue, 2 Jan 2024 13:27:36 +0200 Subject: [PATCH] Add cram test for not printing malloc uniqueness counter when disabled --- tests/regression/45-escape/51-fresh-global.t | 13 +++++++++++++ tests/regression/45-escape/dune | 2 ++ 2 files changed, 15 insertions(+) create mode 100644 tests/regression/45-escape/51-fresh-global.t create mode 100644 tests/regression/45-escape/dune diff --git a/tests/regression/45-escape/51-fresh-global.t b/tests/regression/45-escape/51-fresh-global.t new file mode 100644 index 0000000000..233862a9b5 --- /dev/null +++ b/tests/regression/45-escape/51-fresh-global.t @@ -0,0 +1,13 @@ + $ goblint --set ana.activated[+] mallocFresh --set ana.activated[-] mhp --set ana.thread.domain plain 51-fresh-global.c + [Info][Deadcode] Logical lines of code (LLoC) summary: + live: 15 + dead: 0 + total lines: 15 + [Warning][Race] Memory location (alloc@sid:21@tid:main) (race with conf. 110): (51-fresh-global.c:25:7-25:31) + write with lock:{A} (conf. 110) (exp: & *i) (51-fresh-global.c:10:3-10:10) + write with thread:main (conf. 110) (exp: & *i) (51-fresh-global.c:27:3-27:9) + [Info][Race] Memory locations race summary: + safe: 1 + vulnerable: 0 + unsafe: 1 + total memory locations: 2 diff --git a/tests/regression/45-escape/dune b/tests/regression/45-escape/dune new file mode 100644 index 0000000000..23c0dd3290 --- /dev/null +++ b/tests/regression/45-escape/dune @@ -0,0 +1,2 @@ +(cram + (deps (glob_files *.c)))