Promote cram test 14-list_entry_rc

goblint · Jan 2, 2024 · 4a90a97 · 4a90a97
1 parent 1864fed
commit 4a90a97
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/tests/regression/06-symbeq/14-list_entry_rc.t b/tests/regression/06-symbeq/14-list_entry_rc.t
@@ -1 +1,17 @@
   $ goblint --enable ana.race.direct-arithmetic --set ana.activated[+] "'var_eq'"  --set ana.activated[+] "'symb_locks'" 14-list_entry_rc.c
+  [Info][Imprecise] Invalidating expressions: & mutexattr (14-list_entry_rc.c:37:3-37:37)
+  [Warning][Unknown] unlocking mutex ((alloc@sid:29@tid:[main])[1].mutex) which may not be held (14-list_entry_rc.c:28:3-28:34)
+  [Info][Deadcode] Logical lines of code (LLoC) summary:
+    live: 23
+    dead: 0
+    total lines: 23
+  [Warning][Race] Memory location (alloc@sid:29@tid:[main])[?].datum (race with conf. 110): (14-list_entry_rc.c:41:3-41:35)
+    write with [mhp:{tid=[main, t_fun@14-list_entry_rc.c:45:3-45:40#top]}, thread:[main, t_fun@14-list_entry_rc.c:45:3-45:40#top]] (conf. 110)  (exp: & s->datum) (14-list_entry_rc.c:27:3-27:13)
+    write with [mhp:{tid=[main]; created={[main, t_fun@14-list_entry_rc.c:45:3-45:40#top]}}, thread:[main]] (conf. 110)  (exp: & s->datum) (14-list_entry_rc.c:27:3-27:13)
+    read with [mhp:{tid=[main, t_fun@14-list_entry_rc.c:45:3-45:40#top]}, thread:[main, t_fun@14-list_entry_rc.c:45:3-45:40#top]] (conf. 110)  (exp: & s->datum) (14-list_entry_rc.c:27:3-27:13)
+    read with [mhp:{tid=[main]; created={[main, t_fun@14-list_entry_rc.c:45:3-45:40#top]}}, thread:[main]] (conf. 110)  (exp: & s->datum) (14-list_entry_rc.c:27:3-27:13)
+  [Info][Race] Memory locations race summary:
+    safe: 1
+    vulnerable: 0
+    unsafe: 1
+    total memory locations: 2