From 4a90a9746d6e7aff493f16b8312a1840e9c4ab8d Mon Sep 17 00:00:00 2001 From: Karoliine Holter Date: Tue, 2 Jan 2024 14:25:29 +0200 Subject: [PATCH] Promote cram test 14-list_entry_rc --- tests/regression/06-symbeq/14-list_entry_rc.t | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/tests/regression/06-symbeq/14-list_entry_rc.t b/tests/regression/06-symbeq/14-list_entry_rc.t index 8982c01c7f..cfdc54c94c 100644 --- 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