./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[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, , , ), ), _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, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:699:5-699:128)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:699:5-699:128)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:699:5-699:128)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:702:3-702:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:704:5-704:90)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:704:5-704:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:704:5-704:90)
[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, , , ), ), _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, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:710:5-710:109)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:710:5-710:109)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:710:5-710:109)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:714:5-714:46)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:722:5-722:46)
[Info][Unsound] Unknown address in {&pl} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729:3-729:64)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:[main](#top))[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729:3-729:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729:3-729:64)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(pthread_cond_t, TComp(union __anonunion_pthread_cond_t_951761805, __data : TComp(struct __pthread_cond_s, __annonCompField1 : TComp(union __anonunion____missing_field_name_127042150, __wseq : TInt(unsigned long long, ), __wseq32 : TComp(struct __anonstruct___wseq32_112954846, __low : TInt(unsigned int, ), __high : TInt(unsigned int, ), , ), , ), __annonCompField2 : TComp(union __anonunion____missing_field_name_127042150, __wseq : TInt(unsigned long long, ), __wseq32 : TComp(struct __anonstruct___wseq32_112954846, __low : TInt(unsigned int, ), __high : TInt(unsigned int, ), , ), , ), __g_refs : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), __g_size : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), __g1_orig_size : TInt(unsigned int, ), __wrefs : TInt(unsigned int, ), __g_signals : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), , ), __size : TArray(TInt(char, ), Some(Const(Int(48,int,48))), ), __align : TInt(long long, ), , ), ),  __restrict  ), AddrOf(Var(aux, Field(cv:TNamed(pthread_cond_t, TComp(union __anonunion_pthread_cond_t_951761805, __data : TComp(struct __pthread_cond_s, __annonCompField1 : TComp(union __anonunion____missing_field_name_127042150, __wseq : TInt(unsigned long long, ), __wseq32 : TComp(struct __anonstruct___wseq32_112954846, __low : TInt(unsigned int, ), __high : TInt(unsigned int, ), , ), , ), __annonCompField2 : TComp(union __anonunion____missing_field_name_127042150, __wseq : TInt(unsigned long long, ), __wseq32 : TComp(struct __anonstruct___wseq32_112954846, __low : TInt(unsigned int, ), __high : TInt(unsigned int, ), , ), , ), __g_refs : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), __g_size : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), __g1_orig_size : TInt(unsigned int, ), __wrefs : TInt(unsigned int, ), __g_signals : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), , ), __size : TArray(TInt(char, ), Some(Const(Int(48,int,48))), ), __align : TInt(long long, ), , ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:561:3-561:105)
[Info][Unsound] Unknown address in {&pl} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:[main](#top))[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:571:6-571:19)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown address in {&pl} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:[main](#top))[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:497:13-497:66)
[Info][Unsound] Unknown address in {&pl} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:[main](#top))[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654:5-654:32)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Mem(Lval(Var(p, NoOffset)), Field(buf:TPtr(TInt(char, ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[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, , , ), ), _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, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Mem(Lval(Var(p, NoOffset)), Field(fp: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, , , ), ), _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, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Unsound] Unknown address in (FILE * __restrict  )p->fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Unsound] Unknown address in {&tmp___1} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Imprecise] Invalidating expressions: PlusPI(Lval(Mem(Lval(Var(s, NoOffset)), Field(lines:TPtr(TPtr(TInt(char, ), ), ), NoOffset))), Lval(Mem(Lval(Var(s, NoOffset)), Field(n_lines:TInt(int, ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Info][Unsound] Unknown address in s->lines + s->n_lines has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:661:8-661:22)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:661:8-661:22)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:662:11-662:37)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:666:9-666:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671:5-671:75)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671:5-671:75)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671:5-671:75)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:269:5-269:18)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:269:5-269:18)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown address in {&t} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))[def_exc:Unknown int([-31,31]); intervals:[0,2147483646]]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))[def_exc:Unknown int([-31,31]); intervals:[0,2147483646]]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown address in {&t} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(w, NoOffset)), Field(i:TInt(long, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Warning][Imprecise][Call] Function pointer *((w->t)->func) may contain unknown functions. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:624:3-624:32)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:624:3-624:32)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:625:3-625:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:625:3-625:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:626:7-626:31)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:630:10-630:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:631:5-631:23)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:632:5-632:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:632:5-632:36)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:633:5-633:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:633:5-633:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217:10-217:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217:10-217:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(PlusPI(Lval(Mem(Lval(Var(t, NoOffset)), Field(w:TPtr(TNamed(ktf_worker_t, TComp(struct __anonstruct_ktf_worker_t_495033186, t : TPtr(TComp(struct kt_for_t, n_threads : TInt(int, ), n : TInt(long, ), w : TPtr(TNamed(ktf_worker_t, TCompLoop(struct __anonstruct_ktf_worker_t_495033186, _, ), ), ), func : TPtr(TFun(TVoid(), : TPtr(TVoid(), ), : TInt(long, ), : TInt(int, ), ), ), data : TPtr(TVoid(), ), , ), ), i : TInt(long, ), , ), ), ), NoOffset))), Lval(Var(min_i, NoOffset))), Field(i:TInt(long, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:225:7-225:16)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:225:7-225:16)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:230:3-230:15)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Warning][Imprecise][Call] Function pointer *((w->t)->func) may contain unknown functions. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:296:8-296:26)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:296:8-296:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:676:12-676:30)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:676:12-676:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677:8-677:26)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677:8-677:26)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677:8-677:26)
[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, , , ), ), _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, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stdout, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(s___0->lines + s___0->n_lines) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)s___0->lines in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:531:8-531:20)
[Info][Imprecise] Invalidating expressions: Lval(Var(pl, Field(fp: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, , , ), ), _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, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:732:5-732:18)
[Info][Unsound] Unknown address in pl.fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:732:5-732:18)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:732:5-732:18)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:732:5-732:18)
[Warning][Deadcode] Function 'kt_fp_steal_work' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:303:1-330:1)
[Warning][Deadcode] Function 'kt_fp_worker' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:331:1-373:1)
[Warning][Deadcode] Function 'kt_forpool_init' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:374:1-414:1)
[Warning][Deadcode] Function 'kt_forpool_destroy' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:415:1-441:1)
[Warning][Deadcode] Function 'kt_forpool' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:442:1-480:1)
[Info][Deadcode] Logical lines of code (LLoC) summary:
  live: 190
  dead: 103 (103 in uncalled functions)
  total lines: 293
[Warning][Race] Memory location (struct __anonstruct_ktf_worker_t_495033186).i (race with conf. 100):
  write with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Race] Memory location (struct __anonstruct_ktf_worker_t_495033186).t (race with conf. 100):
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:655:12-655:13)
[Warning][Race] Memory location t.data (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260:12-260:14)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: & t.data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:269:5-269:18)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 110)  (exp: & t.data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:269:5-269:18)
[Warning][Race] Memory location t.func (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260:12-260:14)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: & t.func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:268:5-268:18)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 110)  (exp: & t.func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:268:5-268:18)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:240:10-240:11)
[Warning][Race] Memory location (alloc@sid:537@tid:[main](#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:727:3-727:53)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: (char * __restrict  )p->buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 110)  (exp: (char * __restrict  )p->buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
  read with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: (char const   *)p->buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 110)  (exp: (char const   *)p->buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Warning][Race] Memory location (alloc@sid:60@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))[?].i (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:272:5-272:78)
  write with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Race] Memory location (alloc@sid:60@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))[?].t (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:272:5-272:78)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:247:10-247:11)
[Warning][Race] Memory location (alloc@sid:62@tid:[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:274:5-274:79)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: (pthread_t * __restrict  )(tid + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: & *((pthread_t * __restrict  )(tid + i))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
  read with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 110)  (exp: & *(tid + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:290:7-290:43)
[Warning][Race] Memory location (alloc@sid:60@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))[?].i (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:272:5-272:78)
  write with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Race] Memory location (alloc@sid:60@tid:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top](#top))[?].t (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:272:5-272:78)
  write with mhp:{tid=[main], {ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}; created={[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}}} (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  write with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]; created={[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top], [main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}}}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top]] (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with mhp:{tid=[main], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top], {ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top}} (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  read with [mhp:{tid=[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]}, thread:[main, ktp_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72#top, ktf_worker@/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66#top]] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:494:12-494:13)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 25
  vulnerable: 0
  unsafe: 10
  total memory locations: 35
