./goblint --conf conf/svcomp25.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i


--------------------------------------------------------------------------------


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1028:3-1039:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1048:3-1059:3 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:3-1068:3 with factor 10
[Info] Specification: CHECK( init(main()), LTL(G ! data-race) ) -> enabling soundness analyses "access, race"
[Info] malloc wrapper: new
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Warning][Unknown] lval (& p)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1006:3-1006:20)
[Warning][Unknown] lval (& p)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1007:3-1007:20)
[Warning][Unknown] lval (& p)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1008:1-1008:1)
[Warning][Unknown] lval (& tmp)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1016:20-1016:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1017:3-1017:19)
[Warning][Unknown] lval (& tmp)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1017:3-1017:19)
[Warning][Unknown] lval (& tmp)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1018:3-1018:19)
[Warning][Unknown] lval (& tmp)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1019:3-1019:19)
[Warning][Unknown] lval (& tmp)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1020:3-1020:19)
[Warning][Unknown] lval (& tmp)->list points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1021:1-1021:1)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([0,31]); intervals:[0,9]; enums:not {} ([0,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[1,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[2,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[3,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[4,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[5,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[6,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[7,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[8,9]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1037:5-1037:44)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1034:7-1034:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[1,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[2,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[3,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[4,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[5,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[6,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[7,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[8,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Unknown] unlocking mutex (c.slots_mutex[def_exc:Unknown int([-31,31]); intervals:[9,10]; enums:not {} ([-31,31])]) which may not be held (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1057:5-1057:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1054:7-1054:25)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:67:1-71:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:72:1-76:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:77:1-81:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:82:1-86:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:87:1-91:1)
[Info][Deadcode] Logical lines of code (LLoC) summary:
  live: 56
  dead: 5 (5 in uncalled functions)
  total lines: 61
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1048:10-1048:16)
[Warning][Race] Memory location (alloc@sid:676@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location c.slot[?].datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1004:14-1004:16)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Race] Memory location (alloc@sid:657@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1028:10-1028:16)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location (alloc@sid:600@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location (alloc@sid:524@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location (alloc@sid:638@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location (alloc@sid:619@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Race] Memory location (alloc@sid:505@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Race] Memory location (alloc@sid:581@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-570] condition 'i < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location (struct s).datum (race with conf. 100):
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1064:7-1064:30)
[Warning][Race] Memory location (alloc@sid:562@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
[Warning][Race] Memory location (alloc@sid:543@tid:[main]).datum (race with conf. 100): (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1067:34-1067:71)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  write with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, symblock:{i-lock:c.slots_mutex[*]}, lock:{c.slots_mutex[9]}, thread:[main, f@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1069:3-1069:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1033:7-1033:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
  read with [region:{c.slot[?].next.datum}, lock:{c.slots_mutex[10]}, thread:[main, g@/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1070:3-1070:51]] (conf. 100)  (exp: & pos->datum) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/goblint-regression/09-regions_20-arrayloop2_rc.i:1053:7-1053:19)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
[Info][Race] Memory locations race summary:
  safe: 13
  vulnerable: 0
  unsafe: 12
  total memory locations: 25
