./goblint --enable dbg.warn_with_context --conf conf/examples/large-program.json --enable ana.sv-comp.enabled --enable ana.sv-comp.functions --disable witness.graphml.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --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.
Option warning: ana.base.context.int implicitly disabled by ana.base.context.non-ptr
Option warning: ana.base.context.interval implicitly disabled by ana.base.context.int
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stderr in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:699:5-699:128)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. in context 51280646849387776 (/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! in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:699:5-699:128)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:699:5-699:128)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:702:3-702:51)
[Info][Imprecise] Invalidating expressions: & tmp___0 in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:704:5-704:90)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:704:5-704:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stderr in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:710:5-710:109)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. in context 51280646849387776 (/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! in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:710:5-710:109)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:710:5-710:109)
[Info][Imprecise] Invalidating expressions: & tmp___2 in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:714:5-714:46)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:714:5-714:46)
[Info][Imprecise] Invalidating expressions: & tmp___3 in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:722:5-722:46)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:722:5-722:46)
[Info][Unsound] Unknown address in {&pl} has escaped. in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729:3-729:64)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:Top Threads(#top))[def_exc:0]} could be an escaped pointer address! in context 51280646849387776 (/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! in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:729:3-729:64)
[Info][Imprecise] Invalidating expressions: (pthread_cond_t * __restrict  )(& aux.cv) in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:561:3-561:105)
[Info][Unsound] Unknown address in {&pl} has escaped. in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:Top Threads(#top))[def_exc:0]} could be an escaped pointer address! in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 3549396710855244672 (/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! in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown address in {&pl} has escaped. in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:Top Threads(#top))[def_exc:0]} could be an escaped pointer address! in context 3549396710855244672 (/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! in context 3549396710855244672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
[Info][Unsound] Unknown address in {&pl} has escaped. in context 3680322722501676032 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 3680322722501676032 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
[Info][Unsound] Unknown value in {&(alloc@sid:537@tid:Top Threads(#top))[def_exc:0]} could be an escaped pointer address! in context 3680322722501676032 (/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! in context 3680322722501676032 (/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 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654:5-654:32)
[Info][Imprecise] Invalidating expressions: (char * __restrict  )p->buf in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )p->fp in context 2389987239095260672 (/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. in context 2389987239095260672 (/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! in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Imprecise] Invalidating expressions: & tmp___1 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
[Info][Imprecise] Invalidating expressions: s->lines + s->n_lines in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
[Warning][Imprecise] Trying to update a field, but the struct is unknown in context 2389987239095260672 (/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 in context 2389987239095260672 (/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 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:666:9-666:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671:5-671:75)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671:5-671:75)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:269:5-269:18)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:Top Threads(#top))} could be an escaped pointer address! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown address in {&t} has escaped. in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 478142977530850944 (/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! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
[Info][Unsound] Unknown address given as function argument in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Imprecise] Invalidating expressions: & w->i in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Info][Imprecise] Invalidating expressions: & tmp in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 4525943233141402112 (/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. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Info][Unsound] Unknown address given as function argument in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:624:3-624:32)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:626:7-626:31)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:631:5-631:23)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:632:5-632:36)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4590129483511344384 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:633:5-633:36)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
[Info][Unsound] Unknown address given as function argument in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217:10-217:26)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217:10-217:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
[Info][Imprecise] Invalidating expressions: & (t->w + min_i)->i in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Info][Imprecise] Invalidating expressions: & tmp___0 in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:225:7-225:16)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 3983844148123034880 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:225:7-225:16)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 4525943233141402112 (/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. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Info][Unsound] Unknown address given as function argument in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 4525943233141402112 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:Top Threads(#top))[def_exc:Unknown int([-31,31])]} could be an escaped pointer address! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown address in {&t} has escaped. in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:60@tid:Top Threads(#top))} could be an escaped pointer address! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 478142977530850944 (/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! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[Info][Unsound] Unknown value in {&(alloc@sid:463@tid:Top Threads(#top))} could be an escaped pointer address! in context 478142977530850944 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:296:8-296:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:624:3-624:32)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:626:7-626:31)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:631:5-631:23)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:632:5-632:36)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 1590328586561887104 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:633:5-633:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 2389987239095260672 (/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 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:676:12-676:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 2389987239095260672 (/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 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677:8-677:26)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. in context 2389987239095260672 (/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! in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 2389987239095260672 (/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 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer in context 2389987239095260672 (/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 in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 2389987239095260672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
[Info][Imprecise] Invalidating expressions: pl.fp in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:732:5-732:18)
[Info][Unsound] Unknown address in pl.fp has escaped. in context 51280646849387776 (/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! in context 51280646849387776 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:732:5-732:18)
[Info][Unsound] Write to unknown address: privatization is unsound. in context 51280646849387776 (/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 t.data (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260:12-260:14)
  read with [] (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [] (conf. 100)  (exp: & (w->t)->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  write with [] (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 [] (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [] (conf. 100)  (exp: & (w->t)->func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  write with [] (conf. 110)  (exp: & t.func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:268:5-268:18)
[Warning][Race] Memory location t.n (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260:12-260:14)
  read with [] (conf. 100)  (exp: & t->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:225:7-225:16)
  read with [] (conf. 100)  (exp: & (w->t)->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  write with [] (conf. 110)  (exp: & t.n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:271:5-271:12)
[Warning][Race] Memory location t.n_threads (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260:12-260:14)
  read with [] (conf. 100)  (exp: & t->n_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:217:10-217:26)
  read with [] (conf. 100)  (exp: & t->n_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [] (conf. 100)  (exp: & (w->t)->n_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with [] (conf. 110)  (exp: & t.n_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:270:5-270:28)
[Warning][Race] Memory location t.w (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:260:12-260:14)
  read with [] (conf. 100)  (exp: & t->w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with [] (conf. 100)  (exp: & t->w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with [] (conf. 100)  (exp: & t->w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [] (conf. 100)  (exp: & (w->t)->w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [] (conf. 100)  (exp: & (w->t)->w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
  write with [] (conf. 110)  (exp: & t.w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:273:5-273:30)
  read with [] (conf. 110)  (exp: & t.w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  read with [] (conf. 110)  (exp: & t.w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  read with [] (conf. 110)  (exp: & t.w) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
[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 (alloc@sid:537@tid:Top Threads(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:727:3-727:53)
  free with [] (conf. 100)  (exp: (void *)*(s___0->lines + s___0->n_lines)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
  free with [] (conf. 100)  (exp: (void *)s___0->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
  write with [] (conf. 110)  (exp: (char * __restrict  )p->buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:656:7-656:90)
  read with [] (conf. 110)  (exp: (char const   *)p->buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
  free with [] (conf. 110)  (exp: (void *)pl.buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:730:3-730:23)
[Warning][Race] Memory location (alloc@sid:60@tid:Top Threads(#top))[?].i (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:272:5-272:78)
  write with [] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with [] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with [] (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  read with [] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with [] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with [] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [] (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:Top Threads(#top))[?].t (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:272:5-272:78)
  write with [] (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:252:6-252:62)
[Warning][Race] Memory location (alloc@sid:391@tid:Top Threads(#top))[?].data (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:562:3-562:76)
  write with [] (conf. 110)  (exp: & w->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
  write with [] (conf. 110)  (exp: & w->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:569:5-569:24)
  read with [] (conf. 110)  (exp: & w->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:515:7-515:20)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:524:9-524:16)
[Warning][Race] Memory location (alloc@sid:391@tid:Top Threads(#top))[?].index (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:562:3-562:76)
  write with lock:{aux.mutex} (conf. 110)  (exp: & w->index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:532:7-532:25)
  write with [] (conf. 110)  (exp: & w->index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:572:5-572:23)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:501:16-501:49)
  read with lock:{aux.mutex} (conf. 110)  (exp: & (p->workers + i)->index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:501:16-501:49)
[Warning][Race] Memory location (alloc@sid:391@tid:Top Threads(#top))[?].pl (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:562:3-562:76)
  write with [] (conf. 110)  (exp: & w->pl) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:568:5-568:18)
  read with [] (conf. 110)  (exp: & w->pl) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:491:3-491:12)
[Warning][Race] Memory location (alloc@sid:391@tid:Top Threads(#top))[?].step (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:562:3-562:76)
  write with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:522:7-522:43)
  write with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:525:7-525:43)
  write with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:527:7-527:27)
  write with [] (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:567:5-567:16)
  read with [] (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:492:10-492:30)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:500:14-500:46)
  read with lock:{aux.mutex} (conf. 110)  (exp: & (p->workers + i)->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:500:14-500:46)
  read with [] (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:514:9-514:16)
  read with [] (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:519:5-519:52)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:521:9-521:34)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:522:7-522:43)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:525:7-525:43)
  read with lock:{aux.mutex} (conf. 110)  (exp: & w->step) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:529:9-529:21)
[Warning][Race] Memory location (char *) (race with conf. 100):
  write with [] (conf. 100)  (exp: & *(s->lines + s->n_lines)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
  read with [] (conf. 100)  (exp: & *(step->lines + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
  read with [] (conf. 100)  (exp: & *(s___0->lines + s___0->n_lines)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
  read with [] (conf. 100)  (exp: & *(s___0->lines + s___0->n_lines)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
  read with [] (conf. 100)  (exp: & *(argv + 1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:702:3-702:51)
  read with [] (conf. 100)  (exp: & *(argv + 1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:704:5-704:90)
  read with [] (conf. 100)  (exp: & *(argv + 2)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:714:5-714:46)
  read with [] (conf. 100)  (exp: & *(argv + 3)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:722:5-722:46)
[Warning][Race] Memory location (alloc@sid:62@tid:Top Threads(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:274:5-274:79)
  write with [] (conf. 110)  (exp: (pthread_t * __restrict  )(tid + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
  write with [] (conf. 110)  (exp: & *((pthread_t * __restrict  )(tid + i))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:284:7-285:66)
  read with [] (conf. 110)  (exp: & *(tid + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:290:7-290:43)
[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 (struct __anonstruct_ktf_worker_t_495033186).i (race with conf. 100):
  write with [] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  write with [] (conf. 100)  (exp: & w->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  write with [] (conf. 100)  (exp: & (t.w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:279:8-279:30)
  read with [] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:218:9-218:28)
  read with [] (conf. 100)  (exp: & (t->w + i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:219:7-219:26)
  read with [] (conf. 100)  (exp: & (t->w + min_i)->i) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:224:3-224:69)
  read with [] (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 [] (conf. 100)  (exp: & (t.w + i)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:278:8-278:25)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:241:5-241:63)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:242:9-242:23)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:245:6-245:62)
  read with [] (conf. 100)  (exp: & w->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:248:5-248:25)
  read with [] (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:463@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651:5-651:46)
  free with [] (conf. 110)  (exp: (void *)s___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:682:5-682:24)
[Warning][Race] Memory location (alloc@sid:463@tid:Top Threads(#top)).lines (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651:5-651:46)
  read with [] (conf. 100)  (exp: & step->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
  write with [] (conf. 110)  (exp: & s->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:654:5-654:32)
  read with [] (conf. 110)  (exp: & step->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:623:3-623:25)
  read with [] (conf. 110)  (exp: & s->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
  read with [] (conf. 110)  (exp: & s___0->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
  read with [] (conf. 110)  (exp: & s___0->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
  read with [] (conf. 110)  (exp: & s___0->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
  free with [] (conf. 110)  (exp: (void *)s___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:682:5-682:24)
[Warning][Race] Memory location (alloc@sid:463@tid:Top Threads(#top)).n_lines (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:651:5-651:46)
  write with [] (conf. 110)  (exp: & s->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:661:8-661:22)
  write with [] (conf. 110)  (exp: & s___0->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677:8-677:26)
  read with [] (conf. 110)  (exp: & s->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:660:7-660:62)
  read with [] (conf. 110)  (exp: & s->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:661:8-661:22)
  read with [] (conf. 110)  (exp: & s->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:662:11-662:37)
  read with [] (conf. 110)  (exp: & s->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:666:9-666:19)
  read with [] (conf. 110)  (exp: & ((step_t *)in)->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:671:5-671:75)
  read with [] (conf. 110)  (exp: & s___0->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:676:12-676:30)
  read with [] (conf. 110)  (exp: & s___0->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:677:8-677:26)
  read with [] (conf. 110)  (exp: & s___0->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:678:7-678:100)
  read with [] (conf. 110)  (exp: & s___0->n_lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
  free with [] (conf. 110)  (exp: (void *)s___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:682:5-682:24)
[Warning][Race] Memory location (void ) (race with conf. 100):
  free with [] (conf. 100)  (exp: (void *)*(s___0->lines + s___0->n_lines)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:679:7-679:53)
  free with [] (conf. 100)  (exp: (void *)s___0->lines) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:681:5-681:31)
[Warning][Race] Memory location (alloc@sid:410@tid:Top Threads(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:575:3-575:77)
  write with [] (conf. 110)  (exp: (pthread_t * __restrict  )(tid + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
  write with [] (conf. 110)  (exp: & *((pthread_t * __restrict  )(tid + i))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:579:5-580:72)
  read with [] (conf. 110)  (exp: & *(tid + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/klib/main.c:585:5-585:41)
[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: 9
  vulnerable: 0
  unsafe: 21
  total memory locations: 30
