./goblint --conf conf/bench-yaml-validate.json --enable dbg.timing.enabled --enable witness.invariant.loop-head --enable witness.invariant.after-lock --disable witness.invariant.other --disable witness.invariant.accessed --ana.base.privatization mine --witness.yaml.unassume /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900-3/ourtool.2023-02-02_15-11-18.files/protection-read/knot_comb.yml/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900-3/ourtool.2023-02-02_15-11-18.files/mine/knot_comb.yml/witness.yml /mnt/thread-witnesses/replication/bench/pthread/knot_comb.c


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


[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2101:3-2101:45)
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2101:3-2101:45)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2101:3-2101:45)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2102:3-2102:42)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2049:7-2049:55)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2052:3-2052:32)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2056:3-2056:50)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2060:3-2060:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2064:3-2064:47)
[Info][Unsound] Unknown value type given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1417:3-1417:71)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1352:3-1352:42)
[Info][Unsound] Unknown value in ap could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1371:3-1372:53)
[Info][Imprecise] Invalidating expressions: Lval(Var(ap, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1371:3-1372:53)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1371:3-1372:53)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1458:3-1459:20)
[Info][Unsound] Unknown value type given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1437:3-1437:71)
[Info][Imprecise] Invalidating expressions: Const(Int(2,int,2)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1377:3-1377:27)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1379:3-1379:44)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2111:3-2111:41)
[Info][Unsound] Unknown address in {&tmp___1} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2111:3-2111:41)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2111:3-2111:41)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2112:3-2112:38)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2121:3-2121:46)
[Info][Unsound] Unknown address in {&tmp___3} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2121:3-2121:46)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2121:3-2121:46)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2122:3-2122:43)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2131:3-2131:47)
[Info][Unsound] Unknown address in {&tmp___5} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2131:3-2131:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2131:3-2131:47)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2132:3-2132:44)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2141:3-2141:52)
[Info][Unsound] Unknown address in {&tmp___7} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2141:3-2141:52)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2141:3-2141:52)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2142:3-2142:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2151:3-2151:49)
[Info][Unsound] Unknown address in {&tmp___9} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2151:3-2151:49)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2151:3-2151:49)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2152:3-2152:46)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2161:3-2161:53)
[Info][Unsound] Unknown address in {&tmp___11} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2161:3-2161:53)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2161:3-2161:53)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2162:3-2162:50)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___13, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2171:3-2171:52)
[Info][Unsound] Unknown address in {&tmp___13} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2171:3-2171:52)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2171:3-2171:52)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2172:3-2172:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(str, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2181:3-2181:47)
[Info][Unsound] Unknown address in {&str} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2181:3-2181:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2181:3-2181:47)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2182:7-2182:55)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(p, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2184:5-2184:79)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(val,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2184:5-2184:79)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2185:9-2185:47)
[Info][Witness] unassume invariant: ((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2185:9-2185:47)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2186:7-2187:17)
[Info][Imprecise] Invalidating expressions: Lval(Var(ap,
                                   NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1371:3-1372:53)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___15, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2190:7-2190:33)
[Info][Unsound] Unknown address in {&tmp___15} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2190:7-2190:33)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2190:7-2190:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2191:11-2191:57)
[Info][Witness] unassume invariant: ((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2194:7-2194:11)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2196:9-2196:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2199:11-2199:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2202:13-2202:27)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2205:15-2205:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2208:17-2208:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2211:19-2211:34)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2214:21-2214:35)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2217:19-2218:29)
[Info][Witness] unassume invariant: (((((((((((((((((((mult != 0 && mult <= 1048576) && conf_no_statcollect <= 1) && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 1 <= mult) && 0 <= mult) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2227:5-2227:31)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12-2228:51)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2229:7-2229:32)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2230:7-2230:32)
[Info][Witness] unassume invariant: (((((((((((((((((((mult != 0 && mult <= 1048576) && conf_no_statcollect <= 1) && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 1 <= mult) && 0 <= mult) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2230:7-2230:32)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2235:11-2235:45)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2243:13-2243:44)
[Info][Witness] unassume invariant: (((((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && i <= 10) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= i) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1520:3-1520:8)
[Info][Witness] unassume invariant: (((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1475:1-1506:1)
[Info][Witness] unassume invariant: (((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1496:11-1496:176)
[Info][Witness] unassume invariant: (((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1489:11-1489:39)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct timeval, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_usec : TNamed(__suseconds_t, TInt(long, ), ), , ),  __restrict  ), AddrOf(Var(start_tv, NoOffset))), CastE(TPtr(TComp(struct timezone, tz_minuteswest : TInt(int, ), tz_dsttime : TInt(int, ), , ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1484:5-1484:105)
[Info][Witness] unassume invariant: (((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1485:5-1485:28)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TCompLoop(struct timeval, _, ),
                                      __restrict  ), AddrOf(Var(start_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1487:7-1487:107)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1488:7-1488:53)
[Info][Witness] unassume invariant: (((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12-1486:13)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TCompLoop(struct timeval, _, ),
                                      __restrict  ), AddrOf(Var(end_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1494:7-1494:105)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1495:7-1495:51)
[Info][Witness] unassume invariant: (((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1500:9-1500:171)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1504:3-1504:35)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1523:5-1523:15)
[Info][Witness] unassume invariant: (((((((((((((((((conf_no_statcollect <= 1 && conf_no_stacktrace <= 1) && conf_show_thread_details <= 1) && conf_show_thread_stacks <= 1) && conf_dump_timing_info <= 1) && conf_dump_blocking_graph <= 1) && conf_no_init_messages <= 1) && i <= 10) && conf_no_debug <= 1) && 0 <= conf_new_stack_kb_log2) && 0 <= conf_no_statcollect) && 0 <= conf_no_stacktrace) && 0 <= conf_show_thread_details) && 0 <= conf_show_thread_stacks) && 0 <= conf_dump_timing_info) && 0 <= conf_dump_blocking_graph) && 0 <= conf_no_init_messages) && 0 <= i) && 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1524:5-1524:9)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1531:3-1531:54)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1532:3-1532:57)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1190:7-1191:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1190:7-1191:27)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE,
                                            TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, _next : TPtr(TCompLoop(struct _IO_marker, _, ), ), _sbuf : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _pos : TInt(int, ), , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TNamed(__quad_t, TInt(long long, ), ), ), __pad1 : TPtr(TVoid(), ), __pad2 : TPtr(TVoid(), ), __pad3 : TPtr(TVoid(), ), __pad4 : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned int, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,None)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,None)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned int, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1190:7-1191:27)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1197:5-1197:43)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1632:9-1632:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1654:3-1654:52)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1655:3-1655:24)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1656:3-1656:30)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1657:3-1657:34)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1658:3-1658:26)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1659:3-1659:28)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:470:7-470:62)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1205:3-1205:54)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(nthreads, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1207:5-1207:47)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1209:7-1209:108)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1209:7-1209:108)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1209:7-1209:108)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(s, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1215:3-1215:22)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1221:3-1221:68)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1227:3-1227:44)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(saddr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TInt(unsigned short, ), ), ), NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1228:3-1228:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1230:3-1230:92)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1235:3-1235:29)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87)
[Info][Witness] unassume invariant: (id <= 2147483646 && 0 <= s) && -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1078:1-1128:1)
[Info][Imprecise] Invalidating expressions: Lval(Var(s,
                                   NoOffset)), CastE(TPtr(TComp(struct sockaddr, sa_family : TNamed(sa_family_t, TInt(unsigned short, ), ), sa_data : TArray(TInt(char, ), Some(Const(Int(14,int,14))), ), , ),  __restrict  ), CastE(TPtr(TCompLoop(struct sockaddr, _, ), ), AddrOf(Var(caddr, NoOffset)))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ),  __restrict  ), AddrOf(Var(len, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1091:5-1092:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(c,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1091:5-1092:49)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1100:5-1100:72)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(attr, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1107:9-1107:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(attr, NoOffset)), Const(Int(1,int,1)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1108:9-1108:52)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(rv, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1108:9-1108:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1436:3-1436:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1371:3-1372:53)
[Info][Imprecise] Invalidating expressions: Const(Int(2,int,2)), StartOf(Var(str,
                                                           NoOffset)), Lval(Var(len, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1377:3-1377:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1438:3-1438:23)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89)
[Info][Unsound] Unknown value in {&request} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1022:3-1022:31)
[Info][Witness] unassume invariant: (((((((unsigned int )request.version <= 1U && done <= 1) && request.closed <= 1) && 0 <= numrequests) && 0 <= done) && 0 <= request.socket) && 0 <= request.closed) && 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1022:3-1022:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:664:7-664:61)
[Info][Witness] unassume invariant: ((done <= 1 && 0 <= state.socket) && 0 <= done) && 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:585:3-585:23)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:684:3-684:11)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(newline,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:697:5-697:50)
[Info][Unsound] Unknown address in {&newline} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:697:5-697:50)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:697:5-697:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:698:9-698:61)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:726:11-726:19)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:720:11-721:63)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid( const  ),
                                ), AddrOf(Mem(Lval(Var(state, NoOffset)), Field(buf:TArray(TInt(char, ), Some(Const(Int(512,int,512))), ), Index(Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))), NoOffset))))), CastE(TInt(unsigned int, ), MinusA(Lval(Mem(Lval(Var(state, NoOffset)), Field(valid:TInt(int, ), NoOffset))), Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:720:11-721:63)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:723:11-723:26)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(empty, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:710:9-710:86)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:710:9-710:86)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:716:11-716:28)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:716:11-716:28)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:714:11-714:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:699:7-699:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:699:7-699:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:702:7-702:47)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:702:7-702:47)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:705:9-705:25)
[Info][Witness] unassume invariant: done <= 1 && 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:703:11-703:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:589:9-589:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:594:11-594:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(url,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:602:11-602:48)
[Info][Unsound] Unknown address in {&url} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:602:11-602:48)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:602:11-602:48)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:603:15-603:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:606:13-606:31)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:606:13-606:31)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(protocol,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:607:13-607:54)
[Info][Unsound] Unknown address in {&protocol} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:607:13-607:54)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:607:13-607:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:607:13-607:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:608:17-608:70)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:611:15-611:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:611:15-611:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:612:15-612:60)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:614:17-614:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:614:17-614:69)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:619:19-619:71)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:619:19-619:71)
[Info][Witness] unassume invariant: ((done <= 1 && 0 <= state.socket) && 0 <= done) && 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:646:13-646:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:630:17-630:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:633:13-633:36)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:634:13-634:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:634:13-634:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:639:13-639:86)
[Info][Witness] unassume invariant: ((done <= 1 && 0 <= state.socket) && 0 <= done) && 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:643:13-643:39)
[Info][Witness] unassume invariant: ((done <= 1 && 0 <= state.socket) && 0 <= done) && 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:598:13-598:39)
[Info][Witness] unassume invariant: ((done <= 1 && 0 <= state.socket) && 0 <= done) && 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:596:9-596:17)
[Info][Witness] unassume invariant: ((done <= 1 && 0 <= state.socket) && 0 <= done) && 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:592:7-592:15)
[Info][Witness] unassume invariant: allow <= 1 && 0 <= allow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:790:7-790:30)
[Info][Witness] unassume invariant: allow <= 1 && 0 <= allow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:791:5-791:14)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:819:11-819:40)
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:819:11-819:40)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:819:11-819:40)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:820:15-820:67)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:826:5-826:9)
[Info][Witness] unassume invariant: allow <= 1 && 0 <= allow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:826:5-826:9)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:829:5-829:47)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:829:5-829:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:829:5-829:47)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:830:9-830:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:868:7-868:60)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fd,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:869:5-869:41)
[Info][Witness] unassume invariant: ((((success <= 1 && 0 <= written) && 0 <= success) && 0 <= fd) && 0 <= client) && -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:890:5-890:16)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:910:13-910:27)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:911:13-911:23)
[Info][Witness] unassume invariant: ((((success <= 1 && 0 <= written) && 0 <= success) && 0 <= fd) && 0 <= client) && -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:912:13-912:21)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(buf, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:892:7-892:47)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(n, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:892:7-892:47)
[Info][Witness] unassume invariant: ((((success <= 1 && 0 <= written) && 0 <= success) && 0 <= fd) && 0 <= client) && -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:898:7-898:16)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:900:9-900:65)
[Info][Witness] unassume invariant: ((((success <= 1 && 0 <= written) && 0 <= success) && 0 <= fd) && 0 <= client) && -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:907:13-907:18)
[Info][Witness] unassume invariant: ((((success <= 1 && 0 <= written) && 0 <= success) && 0 <= fd) && 0 <= client) && -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:903:11-903:22)
[Info][Witness] unassume invariant: ((((success <= 1 && 0 <= written) && 0 <= success) && 0 <= fd) && 0 <= client) && -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14-899:19)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
[Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:920:5-920:14)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1037:5-1037:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1040:9-1040:76)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1041:9-1041:28)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1042:9-1043:44)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1052:11-1052:37)
[Info][Witness] unassume invariant: (((((((unsigned int )request.version <= 1U && done <= 1) && request.closed <= 1) && 0 <= numrequests) && 0 <= done) && 0 <= request.socket) && 0 <= request.closed) && 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1053:9-1053:17)
[Info][Witness] unassume invariant: (((((((unsigned int )request.version <= 1U && done <= 1) && request.closed <= 1) && 0 <= numrequests) && 0 <= done) && 0 <= request.socket) && 0 <= request.closed) && 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1052:11-1052:37)
[Info][Witness] unassume invariant: (((((((unsigned int )request.version <= 1U && done <= 1) && request.closed <= 1) && 0 <= numrequests) && 0 <= done) && 0 <= request.socket) && 0 <= request.closed) && 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1050:7-1050:15)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1069:3-1069:19)
[Info][Imprecise] Invalidating expressions: Lval(Var(c, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1070:3-1070:11)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(newline, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:697:5-697:50)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1117:9-1117:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1118:9-1118:25)
[Info][Imprecise] Invalidating expressions: Lval(Var(c,
                                   NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1119:9-1119:17)
[Info][Witness] unassume invariant: (id <= 2147483646 && 0 <= s) && -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1119:9-1119:17)
[Info][Witness] unassume invariant: (id <= 2147483646 && 0 <= s) && -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1116:11-1116:22)
[Info][Witness] unassume invariant: (id <= 2147483646 && 0 <= s) && -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1102:7-1102:27)
[Info][Witness] unassume invariant: (id <= 2147483646 && 0 <= s) && -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1094:7-1094:23)
[Info][Witness] unassume invariant: ((((((argc != 0 && argc <= 127) && argc <= 4) && 3 <= argc) && 0 <= i) && 0 <= nthreads) && 0 <= s) && 0 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1248:5-1248:10)
[Error][Behavior > Undefined > NullPointerDereference][CWE-476] Must dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1251:7-1251:39)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1253:11-1253:65)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83)
[Info][Imprecise] Invalidating expressions: Lval(Var(s,
                                   NoOffset)), CastE(TPtr(TCompLoop(struct sockaddr, _, ),  __restrict  ), CastE(TPtr(TCompLoop(struct sockaddr, _, ), ), AddrOf(Var(caddr, NoOffset)))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ),  __restrict  ), AddrOf(Var(len, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1091:5-1092:49)
[Info][Imprecise] Invalidating expressions: Lval(Var(c, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1123:7-1123:15)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1124:7-1124:23)
[Info][Witness] unassume invariant: (id <= 2147483646 && 0 <= s) && -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1124:7-1124:23)
[Info][Witness] unassume invariant: ((((((argc != 0 && argc <= 127) && argc <= 4) && 3 <= argc) && 0 <= i) && 0 <= nthreads) && 0 <= s) && 0 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1263:7-1263:11)
[Info][Unsound] ASM statement ignored. (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:764:3-764:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1269:5-1269:41)
[Info][Witness] unassume invariant: ((((((argc != 0 && argc <= 127) && argc <= 4) && 3 <= argc) && 0 <= i) && 0 <= nthreads) && 0 <= s) && 0 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1270:5-1270:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1273:7-1273:41)
[Info][Witness] unassume invariant: ((((((argc != 0 && argc <= 127) && argc <= 4) && 3 <= argc) && 0 <= i) && 0 <= nthreads) && 0 <= s) && 0 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1294:7-1294:30)
[Warning][Deadcode] Function 'fstat' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:245:1-252:1)
[Warning][Deadcode] Function 'cache_new' is uncalled: 46 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:278:1-351:1)
[Warning][Deadcode] Function 'cache_add' is uncalled: 18 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:352:1-381:1)
[Warning][Deadcode] Function 'cache_remove' is uncalled: 22 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:382:1-419:1)
[Warning][Deadcode] Function 'cache_evict' is uncalled: 7 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:420:1-434:1)
[Warning][Deadcode] Function 'cache_find' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:435:1-442:1)
[Warning][Deadcode] Function 'cache_use' is uncalled: 4 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:443:1-453:1)
[Warning][Deadcode] Function 'cache_finish_get' is uncalled: 4 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:454:1-463:1)
[Warning][Deadcode] Function 'cache_get' is uncalled: 16 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:476:1-501:1)
[Warning][Deadcode] Function 'cache_entry_addref' is uncalled: 5 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:502:1-513:1)
[Warning][Deadcode] Function 'cache_entry_release' is uncalled: 13 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:514:1-534:1)
[Warning][Deadcode] Function 'get_request_entry' is uncalled: 6 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:925:1-939:1)
[Warning][Deadcode] Function 'process_client_cache' is uncalled: 39 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:940:1-1006:1)
[Warning][Deadcode] Function 'real_toutput' is uncalled: 6 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1384:1-1397:1)
[Warning][Deadcode] Function 'real_debug' is uncalled: 6 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1398:1-1411:1)
[Warning][Deadcode] Function 'warning' is uncalled: 4 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1422:1-1431:1)
[Warning][Deadcode] Function 'DefaultAllocEntry' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1596:1-1603:1)
[Warning][Deadcode] Function 'DefaultFreeEntry' is uncalled: 3 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1604:1-1613:1)
[Warning][Deadcode] Function 'PL_HashTableDestroy' is uncalled: 14 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1663:1-1689:1)
[Warning][Deadcode] Function 'PL_HashTableRawLookup' is uncalled: 18 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1690:1-1722:1)
[Warning][Deadcode] Function 'PL_HashTableRawLookupConst' is uncalled: 13 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1723:1-1749:1)
[Warning][Deadcode] Function 'PL_HashTableRawAdd' is uncalled: 35 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1750:1-1803:1)
[Warning][Deadcode] Function 'PL_HashTableAdd' is uncalled: 13 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1804:1-1829:1)
[Warning][Deadcode] Function 'PL_HashTableRawRemove' is uncalled: 31 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1830:1-1879:1)
[Warning][Deadcode] Function 'PL_HashTableRemove' is uncalled: 7 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1880:1-1895:1)
[Warning][Deadcode] Function 'PL_HashTableLookup' is uncalled: 6 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1896:1-1910:1)
[Warning][Deadcode] Function 'PL_HashTableLookupConst' is uncalled: 6 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1911:1-1925:1)
[Warning][Deadcode] Function 'PL_HashTableEnumerateEntries' is uncalled: 28 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1926:1-1976:1)
[Warning][Deadcode] Function 'PL_HashTableDump' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1977:1-1985:1)
[Warning][Deadcode] Function 'PL_HashString' is uncalled: 6 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1986:1-1999:1)
[Warning][Deadcode] Function 'PL_CompareStrings' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2000:1-2007:1)
[Warning][Deadcode] Function 'PL_CompareValues' is uncalled: 1 LLoC (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2008:1-2014:1)
[Warning][Deadcode] Function 'PL_NewHashTable' has dead code:
  on line 1628 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1628-1628)
  on line 1633 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1633-1633)
  on line 1642 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1642-1642)
[Warning][Deadcode] Function 'PR_CeilingLog2' has dead code:
  on lines 1559..1560 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1559-1560)
  on lines 1563..1564 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1563-1564)
  on line 1575 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1575-1575)
[Warning][Deadcode] Function 'accept_loop' has dead code:
  on line 1128 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1128-1128)
[Warning][Deadcode] Function 'assert_failed' has dead code:
  on line 1460 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1460-1460)
[Warning][Deadcode] Function 'main' has dead code:
  on lines 1297..1298 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1297-1298)
[Warning][Deadcode] Function 'output_aux' has dead code:
  on line 1355 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1355-1355)
  on lines 1358..1359 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1358-1359)
  on line 1361 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1361-1361)
  on line 1364 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1364-1364)
  on lines 1366..1367 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1366-1367)
  on line 1369 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1369-1369)
[Warning][Deadcode] Function 'process_client' has dead code:
  on lines 1025..1026 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1025-1026)
[Warning][Deadcode] Function 'read_config' has dead code:
  on line 2098 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2098-2098)
  on line 2105 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2105-2105)
[Warning][Deadcode] Function 'thread_main' has dead code:
  on line 1150 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1150-1150)
[Warning][Deadcode] Function 'thread_main_autospawn' has dead code:
  on line 1135 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1135-1135)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 568
  dead: 413 (387 in uncalled functions)
  total lines: 981
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12-1493:13)
[Warning][Race] Memory location g_bytes_sent@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:779:11-779:29 (race with conf. 110):
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]},
            thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  write with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1275:7-1275:25)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:918:7-918:42)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1045:11-1045:42)
  read with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1274:7-1274:32)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12-2189:13)
[Warning][Deadcode][CWE-571] condition 'n & (n - 1U)' is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1555:7-1555:19)
[Warning][Deadcode][CWE-570] condition 'n >> 16' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1558:7-1558:14)
[Warning][Deadcode][CWE-570] condition 'n >> 8' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1562:7-1562:13)
[Warning][Race] Memory location g_conn_fail@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:774:12-774:27 (race with conf. 110):
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1117:9-1117:23)
  write with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1281:7-1281:22)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1035:7-1035:21)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1058:5-1058:19)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1117:9-1117:23)
  read with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1280:7-1280:30)
[Warning][Deadcode][CWE-571] condition 'n >> 4' is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1566:7-1566:13)
[Warning][Deadcode][CWE-571] condition 'n >> 2' is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1570:7-1570:13)
[Warning][Deadcode][CWE-570] condition 'n >> 1' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1574:7-1574:13)
[Warning][Race] Memory location ((alloc@sid:749@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1252:7-1252:37).s@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1252:7-1252:37 (race with conf. 110):
  free with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1148:3-1148:22)
  free with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1148:3-1148:22)
  write with [mhp:{tid=[main]; created={[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1257:7-1257:19)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1147:3-1147:15)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1147:3-1147:15)
[Warning][Race] Memory location vrnow_prev@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1329:19-1329:46 (race with conf. 110):
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1378:3-1378:21)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1378:3-1378:21)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1378:3-1378:21)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1378:3-1378:21)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1378:3-1378:21)
  write with [mhp:{tid=[main]; created={[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1378:3-1378:21)
[Warning][Deadcode][CWE-570] condition 'n <= (PRUint32 )(1 << 4)' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1627:7-1627:31)
[Warning][Race] Memory location g_conn_succeed@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:775:12-775:30 (race with conf. 110):
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  write with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1279:7-1279:25)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1033:7-1033:24)
  read with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1278:7-1278:36)
[Warning][Deadcode][CWE-570] condition '(int )n < 0' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1632:9-1632:20)
[Warning][Deadcode][CWE-571] condition '! allocOps' is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1636:7-1636:17)
[Warning][Deadcode][CWE-570] condition '! ht' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1641:7-1641:11)
[Warning][Deadcode][CWE-571] condition 'g_use_timer' is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:917:9-917:20)
[Warning][Deadcode][CWE-571] condition 'g_use_timer' is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1267:7-1267:18)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12-1271:13)
[Warning][Race] Memory location g_conn_open@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:773:12-773:27 (race with conf. 110):
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
  write with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1277:7-1277:22)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1097:5-1097:19)
  read with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1276:7-1276:30)
[Warning][Deadcode][CWE-570] condition 'tid != -12312' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1354:7-1354:20)
[Warning][Race] Memory location ((alloc@sid:749@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1252:7-1252:37).id@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1252:7-1252:37 (race with conf. 110):
  free with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1148:3-1148:22)
  free with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1148:3-1148:22)
  write with [mhp:{tid=[main]; created={[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1256:7-1256:20)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1146:3-1146:17)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1146:3-1146:17)
[Warning][Deadcode][CWE-570] condition 'func' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1363:7-1363:11)
[Warning][Deadcode][CWE-570] condition 'g_use_cache' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1024:9-1024:20)
[Warning][Deadcode][CWE-570] condition 'read_config_done' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2097:7-2097:23)
[Warning][Deadcode][CWE-570] condition 'conf_no_init_messages' is always false (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2104:9-2104:30)
[Warning][Race] Memory location ticks_rdiff@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1327:12-1327:40 (race with conf. 110):
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  write with [mhp:{tid=[main]; created={[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
  read with [mhp:{tid=[main]; created={[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1353:3-1353:29)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
  read with [mhp:{tid=[main]; created={[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1380:3-1380:31)
[Warning][Race] Memory location g_conn_active@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:776:12-776:29 (race with conf. 110):
  write with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1069:3-1069:19)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1069:3-1069:19)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
  write with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1118:9-1118:25)
  write with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1124:7-1124:23)
  write with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1124:7-1124:23)
  read with mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], {thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1069:3-1069:19)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1069:3-1069:19)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1098:5-1098:21)
  read with [mhp:{tid=[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87, thread_process_client@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1114:7-1115:89]}}, thread:[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1118:9-1118:25)
  read with mhp:{tid=[main], {thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83}} (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1124:7-1124:23)
  read with [mhp:{tid=[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}, thread:[main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1124:7-1124:23)
  read with [mhp:{tid=[main]; created={[main, thread_main_autospawn@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1241:5-1242:87], [main, thread_main@/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1258:7-1259:83]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1282:7-1282:34)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1088:10-1088:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10-1483:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12-1486:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:793:10-793:11)
[Success][Witness] invariant confirmed: 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: 0 <= request.closed (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: 0 <= request.socket (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: 0 <= numrequests (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: request.closed <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: done <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Warning][Witness] invariant unconfirmed: (unsigned int )request.version <= 1U (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1023:10)
[Success][Witness] invariant confirmed: -1 <= id (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1088:10)
[Success][Witness] invariant confirmed: 0 <= s (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1088:10)
[Success][Witness] invariant confirmed: 0 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: 0 <= s (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: 0 <= nthreads (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: 0 <= i (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: 3 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: argc <= 4 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: argc <= 127 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: argc != 0 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1249:12)
[Success][Witness] invariant confirmed: 0 <= result (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:586:10)
[Success][Witness] invariant confirmed: 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:586:10)
[Success][Witness] invariant confirmed: 0 <= state.socket (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:586:10)
[Success][Witness] invariant confirmed: done <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:586:10)
[Success][Witness] invariant confirmed: 0 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: 0 <= s (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: 0 <= nthreads (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: 0 <= i (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: 3 <= argc (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: argc <= 4 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: argc <= 127 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: argc != 0 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1271:12)
[Success][Witness] invariant confirmed: 0 <= done (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:685:10)
[Success][Witness] invariant confirmed: done <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:685:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_init_messages (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_dump_blocking_graph (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_dump_timing_info (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_stacks (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_details (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_stacktrace (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_statcollect (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_new_stack_kb_log2 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_no_debug <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_no_init_messages <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_dump_blocking_graph <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_dump_timing_info <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_show_thread_stacks <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_show_thread_details <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_no_stacktrace <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: conf_no_statcollect <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1483:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_init_messages (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_blocking_graph (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_timing_info (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_stacks (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_details (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_stacktrace (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_statcollect (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= conf_new_stack_kb_log2 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_no_debug <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_no_init_messages <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_dump_blocking_graph <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_dump_timing_info <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_show_thread_stacks <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_show_thread_details <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_no_stacktrace <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: conf_no_statcollect <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1486:12)
[Success][Witness] invariant confirmed: 0 <= allow (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:793:10)
[Success][Witness] invariant confirmed: allow <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:793:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_init_messages (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_blocking_graph (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_timing_info (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_stacks (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_details (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_stacktrace (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_statcollect (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_new_stack_kb_log2 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_no_debug <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_no_init_messages <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_dump_blocking_graph <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_dump_timing_info <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_show_thread_stacks <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_show_thread_details <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_no_stacktrace <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: conf_no_statcollect <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1493:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= i (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_init_messages (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_dump_blocking_graph (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_dump_timing_info (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_stacks (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_details (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_stacktrace (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_statcollect (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_new_stack_kb_log2 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_no_debug <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: i <= 10 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_no_init_messages <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_dump_blocking_graph <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_dump_timing_info <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_show_thread_stacks <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_show_thread_details <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_no_stacktrace <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: conf_no_statcollect <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:1521:10)
[Success][Witness] invariant confirmed: 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_init_messages (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_blocking_graph (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_timing_info (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_stacks (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_details (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_stacktrace (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_statcollect (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_no_debug <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_no_init_messages <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_dump_blocking_graph <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_dump_timing_info <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_show_thread_stacks <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_show_thread_details <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_no_stacktrace <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: conf_no_statcollect <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2189:12)
[Success][Witness] invariant confirmed: -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:891:12)
[Success][Witness] invariant confirmed: 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:891:12)
[Success][Witness] invariant confirmed: 0 <= fd (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:891:12)
[Success][Witness] invariant confirmed: 0 <= success (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:891:12)
[Success][Witness] invariant confirmed: 0 <= written (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:891:12)
[Success][Witness] invariant confirmed: success <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:891:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_debug (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_init_messages (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_blocking_graph (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_dump_timing_info (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_stacks (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_show_thread_details (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_stacktrace (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_no_statcollect (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= conf_new_stack_kb_log2 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 0 <= mult (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: 1 <= mult (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_no_debug <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_no_init_messages <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_dump_blocking_graph <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_dump_timing_info <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_show_thread_stacks <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_show_thread_details <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_no_stacktrace <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: conf_no_statcollect <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: mult <= 1048576 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: mult != 0 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:2228:12)
[Success][Witness] invariant confirmed: -2147483646 <= n (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14)
[Success][Witness] invariant confirmed: 0 <= client (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14)
[Success][Witness] invariant confirmed: 0 <= fd (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14)
[Success][Witness] invariant confirmed: 0 <= success (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14)
[Success][Witness] invariant confirmed: 0 <= written (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14)
[Success][Witness] invariant confirmed: success <= 1 (/mnt/thread-witnesses/replication/bench/pthread/knot_comb.c:899:14)
[Info][Witness] witness validation summary:
  confirmed: 152
  unconfirmed: 1
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 153
[Info][Race] Memory locations race summary:
  safe: 12
  vulnerable: 0
  unsafe: 9
  total memory locations: 21

vars = 8189    evals = 19736    narrow_reuses = 300

Timings:
                                  cputime   walltime   allocated   count
Default                            4.255s     4.258s  10618.03MB      1×
  preprocess                         0.022s     0.021s      0.01MB      1×
  FrontC                             0.011s     0.012s      8.27MB      4×
  Cabs2cil                           0.011s     0.011s     11.79MB      4×
  mergeCIL                           0.005s     0.005s      4.23MB      1×
  analysis                           4.200s     4.202s  10586.32MB      1×
    createCFG                          0.008s     0.008s      3.77MB      1×
      handle                             0.002s     0.002s      1.01MB     88×
      iter_connect                       0.002s     0.002s      2.32MB     88×
        computeSCCs                        0.001s     0.001s      1.65MB     89×
    FrontC                             0.004s     0.004s      1.62MB    307×
    Cabs2cil                           0.072s     0.072s     38.39MB    414×
    global_inits                       0.004s     0.004s      5.49MB      1×
    solving                            3.985s     3.987s  10365.31MB      1×
      S.Dom.equal                        0.023s     0.043s      6.74MB  20036×
      base unassume                      0.297s     0.300s    602.32MB   2045×
      cheap_full_reach                   0.003s     0.003s      1.15MB      1×
      postsolver                         0.409s     0.410s   1012.06MB      1×
        postsolver_iter                    0.392s     0.393s   1008.45MB      1×
    warn_global                        0.006s     0.006s     11.02MB      1×
      race                               0.003s     0.003s      4.58MB     21×
    result output                      0.001s     0.001s      0.01MB      1×
