Skip to content

Commit

Permalink
Modify cram tests to not repeat tid in mhp in warnings
Browse files Browse the repository at this point in the history
  • Loading branch information
@karoliineh
karoliineh committed Jan 3, 2024
1 parent 4a90a97 commit cf8d588
Show file tree
Hide file tree
Showing 18 changed files with 60 additions and 60 deletions.
8 changes: 4 additions & 4 deletions tests/regression/04-mutex/01-simple_rc.t
View file
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
$ goblint --enable warn.deterministic 01-simple_rc.c
[Warning][Race] Memory location myglobal (race with conf. 110): (01-simple_rc.c:4:5-4:13)
write with [mhp:{tid=[main, t_fun@01-simple_rc.c:17:3-17:40#top]}, lock:{mutex1}, thread:[main, t_fun@01-simple_rc.c:17:3-17:40#top]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:10:3-10:22)
write with [mhp:{tid=[main]; created={[main, t_fun@01-simple_rc.c:17:3-17:40#top]}}, lock:{mutex2}, thread:[main]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:19:3-19:22)
read with [mhp:{tid=[main, t_fun@01-simple_rc.c:17:3-17:40#top]}, lock:{mutex1}, thread:[main, t_fun@01-simple_rc.c:17:3-17:40#top]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:10:3-10:22)
read with [mhp:{tid=[main]; created={[main, t_fun@01-simple_rc.c:17:3-17:40#top]}}, lock:{mutex2}, thread:[main]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:19:3-19:22)
write with [lock:{mutex1}, thread:[main, t_fun@01-simple_rc.c:17:3-17:40#top]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:10:3-10:22)
write with [mhp:{created={[main, t_fun@01-simple_rc.c:17:3-17:40#top]}}, lock:{mutex2}, thread:[main]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:19:3-19:22)
read with [lock:{mutex1}, thread:[main, t_fun@01-simple_rc.c:17:3-17:40#top]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:10:3-10:22)
read with [mhp:{created={[main, t_fun@01-simple_rc.c:17:3-17:40#top]}}, lock:{mutex2}, thread:[main]] (conf. 110) (exp: & myglobal) (01-simple_rc.c:19:3-19:22)
[Info][Race] Memory locations race summary:
safe: 0
vulnerable: 0
Expand Down
12 changes: 6 additions & 6 deletions tests/regression/04-mutex/49-type-invariants.t
View file
Original file line number Diff line number Diff line change
@@ -1,15 +1,15 @@
$ goblint --enable warn.deterministic --enable ana.race.direct-arithmetic --enable allglobs 49-type-invariants.c
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (49-type-invariants.c:21:3-21:21)
[Warning][Race] Memory location s.field (race with conf. 110): (49-type-invariants.c:8:10-8:11)
write with [mhp:{tid=[main]; created={[main, t_fun@49-type-invariants.c:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
read with [mhp:{tid=[main, [email protected]:20:3-20:40#top]}, thread:[main, [email protected]:20:3-20:40#top]] (conf. 110) (exp: & s.field) (49-type-invariants.c:11:3-11:23)
write with [mhp:{created={[main, t_fun@49-type-invariants.c:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
read with thread:[main, [email protected]:20:3-20:40#top] (conf. 110) (exp: & s.field) (49-type-invariants.c:11:3-11:23)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location (struct S).field (safe):
write with [mhp:{tid=[main]; created={[main, [email protected]:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
write with [mhp:{created={[main, [email protected]:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 7
dead: 0
Expand All @@ -24,15 +24,15 @@
$ goblint --enable warn.deterministic --disable ana.race.direct-arithmetic --enable allglobs 49-type-invariants.c
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (49-type-invariants.c:21:3-21:21)
[Warning][Race] Memory location s.field (race with conf. 110): (49-type-invariants.c:8:10-8:11)
write with [mhp:{tid=[main]; created={[main, t_fun@49-type-invariants.c:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
read with [mhp:{tid=[main, [email protected]:20:3-20:40#top]}, thread:[main, [email protected]:20:3-20:40#top]] (conf. 110) (exp: & s.field) (49-type-invariants.c:11:3-11:23)
write with [mhp:{created={[main, t_fun@49-type-invariants.c:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
read with thread:[main, [email protected]:20:3-20:40#top] (conf. 110) (exp: & s.field) (49-type-invariants.c:11:3-11:23)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location (struct S).field (safe):
write with [mhp:{tid=[main]; created={[main, [email protected]:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
write with [mhp:{created={[main, [email protected]:20:3-20:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->field) (49-type-invariants.c:21:3-21:21)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 7
dead: 0
Expand Down
6 changes: 3 additions & 3 deletions tests/regression/04-mutex/77-type-nested-fields.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,15 @@
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (77-type-nested-fields.c:31:3-31:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (77-type-nested-fields.c:38:3-38:22)
[Warning][Race] Memory location (struct T).s.field (race with conf. 100):
write with [mhp:{tid=[main, t_fun@77-type-nested-fields.c:37:3-37:40#top]}, thread:[main, t_fun@77-type-nested-fields.c:37:3-37:40#top]] (conf. 100) (exp: & tmp->field) (77-type-nested-fields.c:31:3-31:20)
write with [mhp:{tid=[main]; created={[main, t_fun@77-type-nested-fields.c:37:3-37:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->s.field) (77-type-nested-fields.c:38:3-38:22)
write with thread:[main, t_fun@77-type-nested-fields.c:37:3-37:40#top] (conf. 100) (exp: & tmp->field) (77-type-nested-fields.c:31:3-31:20)
write with [mhp:{created={[main, t_fun@77-type-nested-fields.c:37:3-37:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->s.field) (77-type-nested-fields.c:38:3-38:22)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location (struct S).field (safe):
write with [mhp:{tid=[main, t_fun@77-type-nested-fields.c:37:3-37:40#top]}, thread:[main, [email protected]:37:3-37:40#top]] (conf. 100) (exp: & tmp->field) (77-type-nested-fields.c:31:3-31:20)
write with thread:[main, t_fun@77-type-nested-fields.c:37:3-37:40#top] (conf. 100) (exp: & tmp->field) (77-type-nested-fields.c:31:3-31:20)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 7
dead: 0
Expand Down
6 changes: 3 additions & 3 deletions tests/regression/04-mutex/79-type-nested-fields-deep1.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,15 @@
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (79-type-nested-fields-deep1.c:36:3-36:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (79-type-nested-fields-deep1.c:43:3-43:24)
[Warning][Race] Memory location (struct U).t.s.field (race with conf. 100):
write with [mhp:{tid=[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top]}, thread:[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top]] (conf. 100) (exp: & tmp->field) (79-type-nested-fields-deep1.c:36:3-36:20)
write with [mhp:{tid=[main]; created={[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->t.s.field) (79-type-nested-fields-deep1.c:43:3-43:24)
write with thread:[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top] (conf. 100) (exp: & tmp->field) (79-type-nested-fields-deep1.c:36:3-36:20)
write with [mhp:{created={[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->t.s.field) (79-type-nested-fields-deep1.c:43:3-43:24)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location (struct S).field (safe):
write with [mhp:{tid=[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top]}, thread:[main, [email protected]:42:3-42:40#top]] (conf. 100) (exp: & tmp->field) (79-type-nested-fields-deep1.c:36:3-36:20)
write with thread:[main, t_fun@79-type-nested-fields-deep1.c:42:3-42:40#top] (conf. 100) (exp: & tmp->field) (79-type-nested-fields-deep1.c:36:3-36:20)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 7
dead: 0
Expand Down
6 changes: 3 additions & 3 deletions tests/regression/04-mutex/80-type-nested-fields-deep2.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,15 @@
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (80-type-nested-fields-deep2.c:36:3-36:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (80-type-nested-fields-deep2.c:43:3-43:24)
[Warning][Race] Memory location (struct U).t.s.field (race with conf. 100):
write with [mhp:{tid=[main, t_fun@80-type-nested-fields-deep2.c:42:3-42:40#top]}, thread:[main, t_fun@80-type-nested-fields-deep2.c:42:3-42:40#top]] (conf. 100) (exp: & tmp->s.field) (80-type-nested-fields-deep2.c:36:3-36:22)
write with [mhp:{tid=[main]; created={[main, [email protected]:42:3-42:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->t.s.field) (80-type-nested-fields-deep2.c:43:3-43:24)
write with thread:[main, t_fun@80-type-nested-fields-deep2.c:42:3-42:40#top] (conf. 100) (exp: & tmp->s.field) (80-type-nested-fields-deep2.c:36:3-36:22)
write with [mhp:{created={[main, [email protected]:42:3-42:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->t.s.field) (80-type-nested-fields-deep2.c:43:3-43:24)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location (struct T).s.field (safe):
write with [mhp:{tid=[main, t_fun@80-type-nested-fields-deep2.c:42:3-42:40#top]}, thread:[main, [email protected]:42:3-42:40#top]] (conf. 100) (exp: & tmp->s.field) (80-type-nested-fields-deep2.c:36:3-36:22)
write with thread:[main, t_fun@80-type-nested-fields-deep2.c:42:3-42:40#top] (conf. 100) (exp: & tmp->s.field) (80-type-nested-fields-deep2.c:36:3-36:22)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 7
dead: 0
Expand Down
6 changes: 3 additions & 3 deletions tests/regression/04-mutex/84-distribute-fields-1.t
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
$ goblint --enable warn.deterministic --enable allglobs 84-distribute-fields-1.c
[Warning][Race] Memory location s.data (race with conf. 110): (84-distribute-fields-1.c:9:10-9:11)
write with [mhp:{tid=[main, t_fun@84-distribute-fields-1.c:18:3-18:40#top]}, thread:[main, [email protected]:18:3-18:40#top]] (conf. 110) (exp: & s.data) (84-distribute-fields-1.c:12:3-12:13)
write with [mhp:{tid=[main]; created={[main, t_fun@84-distribute-fields-1.c:18:3-18:40#top]}}, thread:[main]] (conf. 110) (exp: & s) (84-distribute-fields-1.c:20:3-20:9)
write with thread:[main, t_fun@84-distribute-fields-1.c:18:3-18:40#top] (conf. 110) (exp: & s.data) (84-distribute-fields-1.c:12:3-12:13)
write with [mhp:{created={[main, t_fun@84-distribute-fields-1.c:18:3-18:40#top]}}, thread:[main]] (conf. 110) (exp: & s) (84-distribute-fields-1.c:20:3-20:9)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location s (safe): (84-distribute-fields-1.c:9:10-9:11)
write with [mhp:{tid=[main]; created={[main, t_fun@84-distribute-fields-1.c:18:3-18:40#top]}}, thread:[main]] (conf. 110) (exp: & s) (84-distribute-fields-1.c:20:3-20:9)
write with [mhp:{created={[main, t_fun@84-distribute-fields-1.c:18:3-18:40#top]}}, thread:[main]] (conf. 110) (exp: & s) (84-distribute-fields-1.c:20:3-20:9)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 8
dead: 0
Expand Down
6 changes: 3 additions & 3 deletions tests/regression/04-mutex/85-distribute-fields-2.t
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
$ goblint --enable warn.deterministic --enable allglobs 85-distribute-fields-2.c
[Warning][Race] Memory location t.s.data (race with conf. 110): (85-distribute-fields-2.c:15:10-15:11)
write with [mhp:{tid=[main, t_fun@85-distribute-fields-2.c:24:3-24:40#top]}, thread:[main, [email protected]:24:3-24:40#top]] (conf. 110) (exp: & t.s.data) (85-distribute-fields-2.c:18:3-18:15)
write with [mhp:{tid=[main]; created={[main, t_fun@85-distribute-fields-2.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t.s) (85-distribute-fields-2.c:26:3-26:11)
write with thread:[main, t_fun@85-distribute-fields-2.c:24:3-24:40#top] (conf. 110) (exp: & t.s.data) (85-distribute-fields-2.c:18:3-18:15)
write with [mhp:{created={[main, t_fun@85-distribute-fields-2.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t.s) (85-distribute-fields-2.c:26:3-26:11)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location t.s (safe): (85-distribute-fields-2.c:15:10-15:11)
write with [mhp:{tid=[main]; created={[main, t_fun@85-distribute-fields-2.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t.s) (85-distribute-fields-2.c:26:3-26:11)
write with [mhp:{created={[main, t_fun@85-distribute-fields-2.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t.s) (85-distribute-fields-2.c:26:3-26:11)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 8
dead: 0
Expand Down
6 changes: 3 additions & 3 deletions tests/regression/04-mutex/86-distribute-fields-3.t
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
$ goblint --enable warn.deterministic --enable allglobs 86-distribute-fields-3.c
[Warning][Race] Memory location t.s.data (race with conf. 110): (86-distribute-fields-3.c:15:10-15:11)
write with [mhp:{tid=[main, t_fun@86-distribute-fields-3.c:24:3-24:40#top]}, thread:[main, [email protected]:24:3-24:40#top]] (conf. 110) (exp: & t.s.data) (86-distribute-fields-3.c:18:3-18:15)
write with [mhp:{tid=[main]; created={[main, t_fun@86-distribute-fields-3.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t) (86-distribute-fields-3.c:26:3-26:9)
write with thread:[main, t_fun@86-distribute-fields-3.c:24:3-24:40#top] (conf. 110) (exp: & t.s.data) (86-distribute-fields-3.c:18:3-18:15)
write with [mhp:{created={[main, t_fun@86-distribute-fields-3.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t) (86-distribute-fields-3.c:26:3-26:9)
[Info][Race] Memory locations race summary:
safe: 1
vulnerable: 0
unsafe: 1
total memory locations: 2
[Success][Race] Memory location t (safe): (86-distribute-fields-3.c:15:10-15:11)
write with [mhp:{tid=[main]; created={[main, t_fun@86-distribute-fields-3.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t) (86-distribute-fields-3.c:26:3-26:9)
write with [mhp:{created={[main, t_fun@86-distribute-fields-3.c:24:3-24:40#top]}}, thread:[main]] (conf. 110) (exp: & t) (86-distribute-fields-3.c:26:3-26:9)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 8
dead: 0
Expand Down
4 changes: 2 additions & 2 deletions tests/regression/04-mutex/87-distribute-fields-4.t
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
$ goblint --enable warn.deterministic --enable allglobs 87-distribute-fields-4.c
[Warning][Race] Memory location s (race with conf. 110): (87-distribute-fields-4.c:9:10-9:11)
write with [mhp:{tid=[main, t_fun@87-distribute-fields-4.c:19:3-19:40#top]}, thread:[main, [email protected]:19:3-19:40#top]] (conf. 110) (exp: & s) (87-distribute-fields-4.c:13:3-13:9)
write with [mhp:{tid=[main]; created={[main, t_fun@87-distribute-fields-4.c:19:3-19:40#top]}}, thread:[main]] (conf. 110) (exp: & s) (87-distribute-fields-4.c:21:3-21:9)
write with thread:[main, t_fun@87-distribute-fields-4.c:19:3-19:40#top] (conf. 110) (exp: & s) (87-distribute-fields-4.c:13:3-13:9)
write with [mhp:{created={[main, t_fun@87-distribute-fields-4.c:19:3-19:40#top]}}, thread:[main]] (conf. 110) (exp: & s) (87-distribute-fields-4.c:21:3-21:9)
[Info][Race] Memory locations race summary:
safe: 0
vulnerable: 0
Expand Down
4 changes: 2 additions & 2 deletions tests/regression/04-mutex/88-distribute-fields-5.t
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
$ goblint --enable warn.deterministic --enable allglobs 88-distribute-fields-5.c
[Warning][Race] Memory location t.s (race with conf. 110): (88-distribute-fields-5.c:15:10-15:11)
write with [mhp:{tid=[main, t_fun@88-distribute-fields-5.c:25:3-25:40#top]}, thread:[main, [email protected]:25:3-25:40#top]] (conf. 110) (exp: & t.s) (88-distribute-fields-5.c:19:3-19:11)
write with [mhp:{tid=[main]; created={[main, t_fun@88-distribute-fields-5.c:25:3-25:40#top]}}, thread:[main]] (conf. 110) (exp: & t.s) (88-distribute-fields-5.c:27:3-27:11)
write with thread:[main, t_fun@88-distribute-fields-5.c:25:3-25:40#top] (conf. 110) (exp: & t.s) (88-distribute-fields-5.c:19:3-19:11)
write with [mhp:{created={[main, t_fun@88-distribute-fields-5.c:25:3-25:40#top]}}, thread:[main]] (conf. 110) (exp: & t.s) (88-distribute-fields-5.c:27:3-27:11)
[Info][Race] Memory locations race summary:
safe: 0
vulnerable: 0
Expand Down
4 changes: 2 additions & 2 deletions tests/regression/04-mutex/89-distribute-fields-6.t
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
$ goblint --enable warn.deterministic --enable allglobs 89-distribute-fields-6.c
[Warning][Race] Memory location t (race with conf. 110): (89-distribute-fields-6.c:15:10-15:11)
write with [mhp:{tid=[main, t_fun@89-distribute-fields-6.c:25:3-25:40#top]}, thread:[main, [email protected]:25:3-25:40#top]] (conf. 110) (exp: & t) (89-distribute-fields-6.c:19:3-19:9)
write with [mhp:{tid=[main]; created={[main, t_fun@89-distribute-fields-6.c:25:3-25:40#top]}}, thread:[main]] (conf. 110) (exp: & t) (89-distribute-fields-6.c:27:3-27:9)
write with thread:[main, t_fun@89-distribute-fields-6.c:25:3-25:40#top] (conf. 110) (exp: & t) (89-distribute-fields-6.c:19:3-19:9)
write with [mhp:{created={[main, t_fun@89-distribute-fields-6.c:25:3-25:40#top]}}, thread:[main]] (conf. 110) (exp: & t) (89-distribute-fields-6.c:27:3-27:9)
[Info][Race] Memory locations race summary:
safe: 0
vulnerable: 0
Expand Down
8 changes: 4 additions & 4 deletions tests/regression/04-mutex/90-distribute-fields-type-1.t
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,17 +2,17 @@
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (90-distribute-fields-type-1.c:31:3-31:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (90-distribute-fields-type-1.c:39:3-39:17)
[Warning][Race] Memory location (struct T).s.field (race with conf. 100):
write with [mhp:{tid=[main, t_fun@90-distribute-fields-type-1.c:37:3-37:40#top]}, thread:[main, t_fun@90-distribute-fields-type-1.c:37:3-37:40#top]] (conf. 100) (exp: & tmp->field) (90-distribute-fields-type-1.c:31:3-31:20)
write with [mhp:{tid=[main]; created={[main, [email protected]:37:3-37:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->s) (90-distribute-fields-type-1.c:39:3-39:17)
write with thread:[main, t_fun@90-distribute-fields-type-1.c:37:3-37:40#top] (conf. 100) (exp: & tmp->field) (90-distribute-fields-type-1.c:31:3-31:20)
write with [mhp:{created={[main, [email protected]:37:3-37:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->s) (90-distribute-fields-type-1.c:39:3-39:17)
[Info][Race] Memory locations race summary:
safe: 2
vulnerable: 0
unsafe: 1
total memory locations: 3
[Success][Race] Memory location (struct S).field (safe):
write with [mhp:{tid=[main, [email protected]:37:3-37:40#top]}, thread:[main, [email protected]:37:3-37:40#top]] (conf. 100) (exp: & tmp->field) (90-distribute-fields-type-1.c:31:3-31:20)
write with thread:[main, [email protected]:37:3-37:40#top] (conf. 100) (exp: & tmp->field) (90-distribute-fields-type-1.c:31:3-31:20)
[Success][Race] Memory location (struct T).s (safe):
write with [mhp:{tid=[main]; created={[main, [email protected]:37:3-37:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->s) (90-distribute-fields-type-1.c:39:3-39:17)
write with [mhp:{created={[main, [email protected]:37:3-37:40#top]}}, thread:[main]] (conf. 100) (exp: & tmp->s) (90-distribute-fields-type-1.c:39:3-39:17)
[Info][Deadcode] Logical lines of code (LLoC) summary:
live: 7
dead: 0
Expand Down
Loading

0 comments on commit cf8d588

Please sign in to comment.