./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/ourtool.2023-02-02_12-32-27.files/protection-read/ctrace_comb.yml/witness.yml --witness.yaml.validate /mnt/thread-witnesses/replication/bench/thread-witnesses/mt/../../../results/mt-900/ourtool.2023-02-02_12-32-27.files/mine/ctrace_comb.yml/witness.yml /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c


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


[Info][Witness] unassume invariant: i <= 307 && 0 <= i (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:435:3-435:8)
[Info][Witness] unassume invariant: i <= 307 && 0 <= i (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:438:5-438:9)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:451:3-451:87)
[Info][Unsound] Unknown address given as function argument (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:209:3-209:46)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:581:5-581:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:534:3-534:30)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:598:5-598:40)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:598:5-598:40)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(t, NoOffset)), Field(name:TArray(TInt(char, ), Some(Const(Int(10,int,10))), ), NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:601:7-601:84)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(t, NoOffset)), Field(name:TArray(TInt(char, ), Some(Const(Int(10,int,10))), ), NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:603:7-603:81)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1123:3-1123:23)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:535:10-535:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(t, NoOffset)), Field(fmt:TArray(TInt(char, ), Some(Const(Int(1024,int,1024))), ), NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
[Info][Witness] unassume invariant: ((((((((line != 0U && level != 0U) && line <= 127U) && line <= 85U) && level <= 127U) && level <= 64U) && a <= 127U) && a <= 4U) && 12U <= line) && 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1165:3-1165:35)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1174:5-1174:25)
[Info][Witness] unassume invariant: ((((((((line != 0U && level != 0U) && line <= 127U) && line <= 85U) && level <= 127U) && level <= 64U) && a <= 127U) && a <= 4U) && 12U <= line) && 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1178:7-1178:39)
[Info][Witness] unassume invariant: ((((((((line != 0U && level != 0U) && line <= 127U) && line <= 85U) && level <= 127U) && level <= 64U) && a <= 127U) && a <= 4U) && 12U <= line) && 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1221:7-1221:39)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tim,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1230:3-1230:14)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(timeptr, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1231:3-1231:47)
[Info][Unsound] Unknown address in {&timeptr} has escaped. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1231:3-1231:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1231:3-1231:47)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(buf, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1232:3-1233:51)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(t, NoOffset)), Field(trace:TArray(TInt(char, ), Some(Const(Int(1098,int,1098))), ), NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), PlusPI(StartOf(Mem(Lval(Var(t, NoOffset)), Field(trace:TArray(TInt(char, ), Some(Const(Int(1098,int,1098))), ), NoOffset))), Lval(Var(n, NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), PlusPI(StartOf(Mem(Lval(Var(t, NoOffset)), Field(trace:TArray(TInt(char, ), Some(Const(Int(1098,int,1098))), ), NoOffset))), Lval(Var(n, NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), PlusPI(StartOf(Mem(Lval(Var(t, NoOffset)), Field(trace:TArray(TInt(char, ), Some(Const(Int(1098,int,1098))), ), NoOffset))), Lval(Var(n, NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), PlusPI(StartOf(Mem(Lval(Var(t, NoOffset)), Field(trace:TArray(TInt(char, ), Some(Const(Int(1098,int,1098))), ), NoOffset))), Lval(Var(n, NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), PlusPI(StartOf(Mem(Lval(Var(t, NoOffset)), Field(trace:TArray(TInt(char, ), Some(Const(Int(1098,int,1098))), ), NoOffset))), Lval(Var(n, NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
[Info][Unsound] Unknown address in (FILE * __restrict  )_fp has escaped. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
[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(_fp, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
[Info][Witness] unassume invariant: ((((((((((((line != 0U && level != 0U) && thread <= 1) && unit <= 1) && line <= 127U) && line <= 85U) && level <= 127U) && level <= 64U) && a <= 127U) && a <= 4U) && 12U <= line) && 1U <= level) && 0 <= thread) && 0 <= unit (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1273:3-1273:35)
[Info][Witness] unassume invariant: i <= 307U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:878:3-878:9)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:883:13-883:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:889:7-889:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:890:7-890:18)
[Info][Witness] unassume invariant: i <= 306U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:890:7-890:18)
[Info][Witness] unassume invariant: i <= 306U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:880:5-880:19)
[Info][Witness] unassume invariant: i <= 307U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:892:5-892:9)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(t, NoOffset)), Field(name:TArray(TInt(char, ), Some(Const(Int(10,int,10))), ), NoOffset)))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:610:5-610:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:940:5-940:24)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:964:5-964:24)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:988:5-988:24)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:995:7-995:26)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:723:5-723:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:729:3-729:16)
[Info][Witness] unassume invariant: ret <= 1 && 0 <= ret (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:736:3-736:35)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:737:3-737:16)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1121:3-1121:16)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1127:7-1127:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1129:7-1129:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1135:3-1135:16)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1169:3-1169:16)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7-1179:20)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7-1222:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1232:3-1233:51)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE,
                                            TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(_fp, NoOffset))) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3-1274:16)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1123:3-1123:23)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:581:5-581:24)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1174:5-1174:25)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id,
                                     NoOffset)) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:625:5-625:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:630:10-630:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:632:7-632:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:634:7-634:21)
[Info][Witness] unassume invariant: ret <= 1 && 0 <= ret (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:641:5-641:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:642:12-642:60)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:643:7-643:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:646:11-646:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:648:11-648:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:652:7-652:22)
[Info][Witness] unassume invariant: ret <= 1 && 0 <= ret (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:652:7-652:22)
[Warning][Deadcode] Function 'trc_end' is uncalled: 21 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:473:1-506:1)
[Warning][Deadcode] Function 'trc_print_threads' is uncalled: 15 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:544:1-571:1)
[Warning][Deadcode] Function 'trc_turn_on' is uncalled: 16 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:659:1-686:1)
[Warning][Deadcode] Function 'trc_turn_off' is uncalled: 16 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:687:1-714:1)
[Warning][Deadcode] Function 'trc_turn_thread_off' is uncalled: 19 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:745:1-774:1)
[Warning][Deadcode] Function 'trc_turn_unit_on' is uncalled: 13 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:775:1-799:1)
[Warning][Deadcode] Function 'trc_turn_unit_off' is uncalled: 13 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:800:1-824:1)
[Warning][Deadcode] Function 'trc_set_level' is uncalled: 19 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:832:1-864:1)
[Warning][Deadcode] Function 'trc_remove_level' is uncalled: 19 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:898:1-930:1)
[Warning][Deadcode] Function 'trc_set_unit_level' is uncalled: 15 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1003:1-1031:1)
[Warning][Deadcode] Function 'trc_add_unit_level' is uncalled: 15 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1032:1-1060:1)
[Warning][Deadcode] Function 'trc_remove_unit_level' is uncalled: 15 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1061:1-1089:1)
[Warning][Deadcode] Function 'trc_state' is uncalled: 8 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1090:1-1108:1)
[Warning][Deadcode] Function 'trc_start_client' is uncalled: 29 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1284:1-1324:1)
[Warning][Deadcode] Function 'trc_stop_client' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1326:1-1333:1)
[Warning][Deadcode] Function 'trc_start_server' is uncalled: 37 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1335:1-1399:1)
[Warning][Deadcode] Function 'trc_stop_server' is uncalled: 2 LLoC (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1400:1-1407:1)
[Warning][Deadcode] Function 'main' has dead code:
  on lines 245..246 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:245-246)
[Warning][Deadcode] Function 'trc_add_level' has dead code:
  on line 874 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:874-874)
[Warning][Deadcode] Function 'trc_add_thread' has dead code:
  on line 589 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:589-589)
  on lines 595..596 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:595-596)
[Warning][Deadcode] Function 'trc_file' has dead code:
  on lines 512..514 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:512-514)
  on lines 521..523 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:521-523)
[Warning][Deadcode] Function 'trc_init' has dead code:
  on line 425 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:425-425)
  on line 433 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:433-433)
  on lines 441..445 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:441-445)
  on lines 458..459 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:458-459)
  on lines 461..463 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:461-463)
  on line 465 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:465-465)
[Warning][Deadcode] Function 'trc_trace' has dead code:
  on lines 1188..1192 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1188-1192)
  on line 1194 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1194-1194)
  on line 1197 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1197-1197)
  on line 1200 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1200-1200)
  on line 1203 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1203-1203)
  on line 1216 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1216-1216)
  on lines 1261..1263 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1261-1263)
  on lines 1267..1268 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1267-1268)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 338
  dead: 314 (274 in uncalled functions)
  total lines: 652
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).level@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:606:5-606:23)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:947:7-947:23)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:971:7-971:24)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:995:7-995:26)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
[Warning][Deadcode][CWE-571] condition 'id == 0UL' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:939:7-939:16)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:320:7-320:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).level@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:606:5-606:23)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:947:7-947:23)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:971:7-971:24)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:995:7-995:26)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:971:7-971:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:995:7-995:26)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
[Warning][Deadcode][CWE-570] condition '_server' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1260:7-1260:14)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:324:7-324:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).id@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:599:5-599:15)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:328:7-328:11)
[Warning][Deadcode][CWE-571] condition 'tmp' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:946:9-946:12)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).name[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 90):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:332:7-332:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).on@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:733:5-733:14)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).next@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:608:5-608:25)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:646:11-646:33)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:632:7-632:29)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:643:7-643:23)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:646:11-646:33)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:652:7-652:22)
[Warning][Deadcode][CWE-571] condition 'id == 0UL' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:963:7-963:16)
[Warning][Deadcode][CWE-570] condition '_initialised' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:424:7-424:19)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).wspace[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:607:5-607:31)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).on@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:605:5-605:22)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:733:5-733:14)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:184:7-184:11)
[Warning][Deadcode][CWE-570] condition 'tmp' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:432:7-432:10)
[Warning][Deadcode][CWE-571] condition 'tmp' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:970:9-970:12)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:188:7-188:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).trace[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 90):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).id@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:599:5-599:15)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:630:10-630:31)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:645:13-645:27)
[Warning][Deadcode][CWE-571] condition 'id == 0UL' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:987:7-987:16)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:210:7-210:11)
[Warning][Deadcode][CWE-570] condition 'umax > 0U' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:440:7-440:16)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).trace[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 90):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
[Warning][Deadcode][CWE-571] condition 'tmp' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:994:9-994:12)
[Warning][Deadcode][CWE-571] condition 'id == 0UL' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:580:7-580:16)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).wspace[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:607:5-607:31)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).next@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:646:11-646:33)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
[Warning][Deadcode][CWE-571] condition 'tname' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:586:9-586:14)
[Warning][Deadcode][CWE-570] condition '_unitmax > 0U' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1187:7-1187:20)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:228:7-228:11)
[Warning][Deadcode][CWE-570] condition '! tmp' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:873:7-873:12)
[Warning][Deadcode][CWE-571] condition 'id == 0UL' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:722:7-722:16)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:232:7-232:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).fmt[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1131:7-1131:37)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).name[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 90):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:601:7-601:84)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:601:7-601:84)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).trace[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 90):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1271:5-1271:79)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
[Warning][Deadcode][CWE-570] condition '! t' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:594:9-594:12)
[Warning][Deadcode][CWE-570] condition '_server == 1U' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:457:7-457:20)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).wspace[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1247:3-1248:25)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1236:3-1236:36)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1259:3-1259:33)
[Warning][Race] Memory location _numthreads@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:403:15-403:39 (race with conf. 110):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:610:5-610:19)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:610:5-610:19)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:634:7-634:21)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:648:11-648:25)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:610:5-610:19)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:610:5-610:19)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:634:7-634:21)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:648:11-648:25)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:240:7-240:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).on@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:605:5-605:22)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:733:5-733:14)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).level@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:947:7-947:23)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:971:7-971:24)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:995:7-995:26)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1210:10-1210:33)
[Warning][Deadcode][CWE-571] condition 't->on' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1209:7-1209:12)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:881:12-881:13)
[Warning][Deadcode][CWE-571] condition '! unit' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1219:7-1219:13)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:265:7-265:11)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:269:7-269:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).fmt[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1131:7-1131:37)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:273:7-273:11)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:277:7-277:11)
[Warning][Race] Memory location _thread[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:402:18-402:32 (race with conf. 110):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:609:5-609:19)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:609:5-609:19)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:632:7-632:29)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:534:3-534:30)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:534:3-534:30)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:534:3-534:30)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:608:5-608:25)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:608:5-608:25)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:629:7-629:17)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:630:10-630:31)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:631:7-631:23)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:641:5-641:21)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:281:7-281:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).name[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 90):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:601:7-601:84)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1234:3-1235:41)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:587:7-587:84)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:601:7-601:84)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:285:7-285:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).id@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:536:9-536:20)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).next@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:608:5-608:25)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:646:11-646:33)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:539:5-539:16)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:289:7-289:11)
[Warning][Deadcode][CWE-570] condition '_fp' is always false (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:511:7-511:10)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:308:7-308:11)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:312:7-312:11)
[Warning][Deadcode][CWE-571] condition '! file' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:518:7-518:13)
[Warning][Deadcode][CWE-571] condition '_trc' is always true (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:316:7-316:11)
[Warning][Race] Memory location ((alloc@sid:322@tid:[main](#top)), /mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25).fmt[?]@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:593:5-593:25 (race with conf. 110):
  write with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1239:3-1240:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1243:3-1244:28)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1251:3-1252:24)
  read with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  read with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1255:3-1256:28)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:633:7-633:16)
  free with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}; must_joined={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:647:11-647:21)
  spawn with [mhp:{tid=[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]}, thread:[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  spawn with [mhp:{tid=[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}, thread:[main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  spawn with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 90) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1128:7-1128:82)
  write with [mhp:{tid=[main]; created={[main, thread1@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:215:3-216:71], [main, thread2@/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:220:3-221:71]}}, thread:[main]] (conf. 110) (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1131:7-1131:37)
[Success][Witness] invariant confirmed: 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: 12U <= line (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: a <= 4U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: a <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: level <= 64U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: level <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: line <= 85U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: line <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: level != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: line != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1166:7)
[Success][Witness] invariant confirmed: 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: 12U <= line (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: a <= 4U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: a <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: level <= 64U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: level <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: line <= 85U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: line <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: level != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: line != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1179:7)
[Success][Witness] invariant confirmed: 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: 12U <= line (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: a <= 4U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: a <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: level <= 64U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: level <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: line <= 85U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: line <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: level != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: line != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1222:7)
[Success][Witness] invariant confirmed: 0 <= thread (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: 1U <= level (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: 12U <= line (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: a <= 4U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: a <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: level <= 64U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: level <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: line <= 85U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: line <= 127U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: thread <= 1 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: level != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: line != 0U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Warning][Witness] invariant unconfirmed: thread != 0 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:1274:3)
[Success][Witness] invariant confirmed: 0 <= ret (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:737:3)
[Success][Witness] invariant confirmed: ret <= 1 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:737:3)
[Success][Witness] invariant confirmed: i <= 307U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:879:10)
[Success][Witness] invariant confirmed: i <= 306U (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:881:12)
[Success][Witness] invariant confirmed: 0 <= ret (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:642:12)
[Success][Witness] invariant confirmed: ret <= 1 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:642:12)
[Success][Witness] invariant confirmed: 0 <= i (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:436:10)
[Success][Witness] invariant confirmed: i <= 307 (/mnt/thread-witnesses/replication/bench/pthread/ctrace_comb.c:436:10)
[Info][Witness] witness validation summary:
  confirmed: 50
  unconfirmed: 1
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 51
[Info][Race] Memory locations race summary:
  safe: 11
  vulnerable: 6
  unsafe: 20
  total memory locations: 37

vars = 9277    evals = 16319    narrow_reuses = 360

Timings:
                                  cputime   walltime   allocated   count
Default                            5.686s     5.687s  13315.64MB      1×
  preprocess                         0.022s     0.021s      0.01MB      1×
  FrontC                             0.006s     0.006s      4.87MB      4×
  Cabs2cil                           0.006s     0.006s      7.53MB      4×
  mergeCIL                           0.004s     0.004s      3.46MB      1×
  analysis                           5.643s     5.644s  13293.30MB      1×
    createCFG                          0.005s     0.005s      2.70MB      1×
      handle                             0.001s     0.001s      0.66MB     61×
      iter_connect                       0.004s     0.004s      1.72MB     61×
        computeSCCs                        0.001s     0.001s      1.25MB     62×
    FrontC                             0.002s     0.002s      0.56MB    107×
    Cabs2cil                           0.159s     0.160s     81.32MB    926×
    global_inits                       0.002s     0.002s      2.42MB      1×
    solving                            5.309s     5.309s  13014.30MB      1×
      S.Dom.equal                        0.021s     0.041s      5.61MB  16679×
      base unassume                      0.142s     0.143s    252.35MB    479×
      cheap_full_reach                   0.007s     0.007s      3.68MB      1×
      postsolver                         0.777s     0.777s   1724.93MB      1×
        postsolver_iter                    0.748s     0.749s   1713.82MB      1×
    warn_global                        0.013s     0.014s     33.76MB      1×
      race                               0.012s     0.012s     30.46MB     37×
    result output                      0.001s     0.001s      0.01MB      1×
