./goblint --conf conf/examples/large-program.json --enable ana.sv-comp.enabled --disable witness.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/kona/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: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16615:3-16615:20)
[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/kona/main.c:16618:5-16619:56)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16618:5-16619:56)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16618:5-16619:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16618:5-16619:56)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(mta, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16623:3-16623:32)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(errmsg, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14267:3-14268:14)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24203:3-24203:64)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24203:3-24203:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24203:3-24203:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24158:3-24158:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23956:3-23956:77)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23957:3-23957:17)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24159:3-24159:14)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23930:3-23930:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24160:3-24160:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24161:3-24161:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24163:5-24163:17)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24165:7-24165:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24166:5-24166:20)
[Info][Unsound] Unknown address in {&NIL} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16657:3-16657:29)
[Info][Unsound] Unknown address in {&KFIXED} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16657:3-16657:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16657:3-16657:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24579:7-24579:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24579:7-24579:20)
[Info][Unsound] Unknown address in {&NIL} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24580:5-24580:29)
[Info][Unsound] Unknown address in {&KFIXED} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24580:5-24580:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24580:5-24580:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24487:3-24487:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24487:3-24487:11)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24488:3-24488:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24488:3-24488:11)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13813:3-13813:16)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24061:3-24061:12)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24063:3-24063:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24064:3-24064:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24066:3-24066:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24499:5-24499:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24503:7-24503:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24506:5-24506:10)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23997:3-23997:12)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23939:3-23939:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23999:3-23999:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24000:3-24000:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24002:3-24002:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24009:7-24009:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24013:3-24013:11)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24023:3-24023:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23948:3-23948:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24030:5-24030:37)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24047:5-24047:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
[Info][Unsound] Unknown address in {&k} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24510:3-24510:30)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24510:3-24510:30)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24356:3-24356:16)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23948:3-23948:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24359:5-24359:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24359:5-24359:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24361:5-24361:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24361:5-24361:26)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24369:5-24369:63)
[Info][Unsound] Unknown address in {&tmp___3} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24369:5-24369:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24369:5-24369:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24384:5-24384:75)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24384:5-24384:75)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24386:5-24386:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24386:5-24386:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24397:3-24397:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24397:3-24397:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24409:3-24409:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24409:3-24409:27)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24411:3-24411:81)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24411:3-24411:81)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24413:3-24413:14)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24414:3-24414:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24517:3-24517:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24517:3-24517:11)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24529:5-24529:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24529:5-24529:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24529:5-24529:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24534:3-24534:146)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24534:3-24534:146)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24537:3-24537:146)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24537:3-24537:146)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24540:3-24541:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24540:3-24541:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24542:3-24542:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24542:3-24542:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24545:3-24545:146)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24545:3-24545:146)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24553:9-24553:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24553:9-24553:21)
[Info][Unsound] Unknown address in {&NIL} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24583:5-24583:26)
[Info][Unsound] Unknown address in {&KFIXED} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24583:5-24583:26)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24583:5-24583:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24428:3-24428:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24428:3-24428:11)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24429:3-24429:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24429:3-24429:11)
[Info][Unsound] Unknown address in {&k} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24431:3-24431:26)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24431:3-24431:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24438:3-24438:11)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24438:3-24438:11)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24441:3-24441:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24441:3-24441:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24441:3-24441:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24444:3-24444:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24444:3-24444:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24447:3-24447:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24447:3-24447:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24450:3-24450:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24450:3-24450:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24451:3-24451:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24451:3-24451:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24454:3-24454:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24454:3-24454:33)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16658:3-16658:10)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26430:3-26430:14)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26430:3-26430:14)
[Warning][Deadcode] Function '__cmsg_nxthdr' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:394:1-412:1)
[Warning][Deadcode] Function 'atoi' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:448:1-457:1)
[Warning][Deadcode] Function 'atol' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:460:1-469:1)
[Warning][Deadcode] Function 'atoll' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:472:1-481:1)
[Warning][Deadcode] Function 'bsearch___0' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:493:1-524:1)
[Warning][Deadcode] Function 'atof' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:527:1-535:1)
[Warning][Deadcode] Function 'vprintf' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:570:1-579:1)
[Warning][Deadcode] Function 'getchar' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:580:1-588:1)
[Warning][Deadcode] Function 'fgetc_unlocked' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:589:1-609:1)
[Warning][Deadcode] Function 'getchar_unlocked' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:610:1-630:1)
[Warning][Deadcode] Function 'putchar' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:631:1-639:1)
[Warning][Deadcode] Function 'fputc_unlocked' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:640:1-663:1)
[Warning][Deadcode] Function 'putchar_unlocked' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:664:1-687:1)
[Warning][Deadcode] Function 'feof_unlocked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:689:1-696:1)
[Warning][Deadcode] Function 'ferror_unlocked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:698:1-705:1)
[Warning][Deadcode] Function 'tolower' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:728:1-746:1)
[Warning][Deadcode] Function 'toupper' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:748:1-766:1)
[Warning][Deadcode] Function 'stat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:806:1-815:1)
[Warning][Deadcode] Function 'lstat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:818:1-827:1)
[Warning][Deadcode] Function 'fstat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:830:1-839:1)
[Warning][Deadcode] Function 'fstatat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:843:1-855:1)
[Warning][Deadcode] Function 'mknod' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:858:1-868:1)
[Warning][Deadcode] Function 'mknodat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:871:1-882:1)
[Warning][Deadcode] Function 'pthread_equal___0' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:897:1-905:1)
[Warning][Deadcode] Function 'freopen_stdin' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:980:1-989:1)
[Warning][Deadcode] Function '_0m' is uncalled: 190 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:990:1-1332:1)
[Warning][Deadcode] Function '_0d' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1333:1-1364:1)
[Warning][Deadcode] Function 'ok_0dw' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1365:1-1410:1)
[Warning][Deadcode] Function '_0d_write' is uncalled: 152 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1411:1-1695:1)
[Warning][Deadcode] Function '_0d_read' is uncalled: 242 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1696:1-2102:1)
[Warning][Deadcode] Function '_0d_rdDsv' is uncalled: 197 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2103:1-2423:1)
[Warning][Deadcode] Function '_0d_rdDsvWc' is uncalled: 238 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2424:1-2805:1)
[Warning][Deadcode] Function '_1m' is uncalled: 66 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2806:1-2928:1)
[Warning][Deadcode] Function '_1m_r' is uncalled: 82 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2929:1-3070:1)
[Warning][Deadcode] Function '_1d' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3071:1-3100:1)
[Warning][Deadcode] Function '_1d_write' is uncalled: 56 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3101:1-3205:1)
[Warning][Deadcode] Function 'wrep' is uncalled: 77 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3206:1-3347:1)
[Warning][Deadcode] Function 'disk' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3348:1-3356:1)
[Warning][Deadcode] Function 'rep' is uncalled: 51 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3357:1-3436:1)
[Warning][Deadcode] Function 'rrep' is uncalled: 121 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3437:1-3630:1)
[Warning][Deadcode] Function 'rrep_4' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3631:1-3657:1)
[Warning][Deadcode] Function '_1d_read' is uncalled: 252 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3658:1-4055:1)
[Warning][Deadcode] Function '_1d_char' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4056:1-4081:1)
[Warning][Deadcode] Function '_2m' is uncalled: 68 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4082:1-4211:1)
[Warning][Deadcode] Function '_2m_r' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4212:1-4220:1)
[Warning][Deadcode] Function '_2d' is uncalled: 70 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4221:1-4345:1)
[Warning][Deadcode] Function 'dm1' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4346:1-4357:1)
[Warning][Deadcode] Function 'sendall' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4358:1-4386:1)
[Warning][Deadcode] Function 'ksender' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4387:1-4408:1)
[Warning][Deadcode] Function '_3d_' is uncalled: 161 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409:1-4685:1)
[Warning][Deadcode] Function 'popen_charvec' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4686:1-4718:1)
[Warning][Deadcode] Function 'parse' is uncalled: 24 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4719:1-4763:1)
[Warning][Deadcode] Function 'execute' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4764:1-4794:1)
[Warning][Deadcode] Function '_4d_' is uncalled: 95 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4795:1-4958:1)
[Warning][Deadcode] Function 'run' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4959:1-4988:1)
[Warning][Deadcode] Function '_3d' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4989:1-5026:1)
[Warning][Deadcode] Function '_4d' is uncalled: 42 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5027:1-5107:1)
[Warning][Deadcode] Function '_4m' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5108:1-5116:1)
[Warning][Deadcode] Function '_5m' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5117:1-5129:1)
[Warning][Deadcode] Function '_5d_' is uncalled: 110 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5130:1-5329:1)
[Warning][Deadcode] Function '_5d' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5330:1-5338:1)
[Warning][Deadcode] Function '_6m' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5339:1-5347:1)
[Warning][Deadcode] Function 'readVector' is uncalled: 43 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5348:1-5431:1)
[Warning][Deadcode] Function '_6d' is uncalled: 83 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5432:1-5589:1)
[Warning][Deadcode] Function '_3m' is uncalled: 60 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5590:1-5699:1)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5701:1-5708:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5709:1-5716:1)
[Warning][Deadcode] Function 'membswp32' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5717:1-5739:1)
[Warning][Deadcode] Function 'membswp64' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5740:1-5762:1)
[Warning][Deadcode] Function 'bswapI' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5763:1-5771:1)
[Warning][Deadcode] Function 'membswpI' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5772:1-5785:1)
[Warning][Deadcode] Function 'membswpF' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5786:1-5802:1)
[Warning][Deadcode] Function 'boilerplate' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5857:1-5879:1)
[Warning][Deadcode] Function 'filexist' is uncalled: 32 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5880:1-5936:1)
[Warning][Deadcode] Function 'loadf' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5937:1-5962:1)
[Warning][Deadcode] Function 'load' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5963:1-6020:1)
[Warning][Deadcode] Function 'stepopt' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6021:1-6076:1)
[Warning][Deadcode] Function 'precision' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6077:1-6096:1)
[Warning][Deadcode] Function 'precision_' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6097:1-6111:1)
[Warning][Deadcode] Function 'backslash' is uncalled: 136 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6112:1-6311:1)
[Warning][Deadcode] Function 'backslash_b' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6312:1-6351:1)
[Warning][Deadcode] Function 'backslash_d' is uncalled: 80 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6352:1-6486:1)
[Warning][Deadcode] Function 'backslash_v' is uncalled: 41 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6487:1-6561:1)
[Warning][Deadcode] Function 'backslash_e' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6562:1-6601:1)
[Warning][Deadcode] Function 'backslash_s' is uncalled: 95 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6602:1-6755:1)
[Warning][Deadcode] Function 'backslash_t' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6756:1-6790:1)
[Warning][Deadcode] Function 'backslash_w' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6791:1-6800:1)
[Warning][Deadcode] Function 'expander' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6807:1-6830:1)
[Warning][Deadcode] Function 'appender' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6831:1-6845:1)
[Warning][Deadcode] Function 'getline_' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6846:1-6854:1)
[Warning][Deadcode] Function 'getdelim_' is uncalled: 19 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6855:1-6889:1)
[Warning][Deadcode] Function 'genrand64_int64' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6909:1-6944:1)
[Warning][Deadcode] Function 'genrand64_real2' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6945:1-6953:1)
[Warning][Deadcode] Function 'formed_group' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7011:1-7021:1)
[Warning][Deadcode] Function 'flop' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7029:1-7053:1)
[Warning][Deadcode] Function 'parsedepth' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7054:1-7072:1)
[Warning][Deadcode] Function 'complete' is uncalled: 77 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7073:1-7223:1)
[Warning][Deadcode] Function 'mark_symbol' is uncalled: 42 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7224:1-7299:1)
[Warning][Deadcode] Function 'isalnum_' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7300:1-7317:1)
[Warning][Deadcode] Function 'isalnumdot_' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7318:1-7335:1)
[Warning][Deadcode] Function 'mark_name' is uncalled: 54 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7336:1-7437:1)
[Warning][Deadcode] Function 'mark_number' is uncalled: 111 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7438:1-7652:1)
[Warning][Deadcode] Function 'mark_adverb' is uncalled: 34 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7653:1-7715:1)
[Warning][Deadcode] Function 'mark_verb' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7716:1-7782:1)
[Warning][Deadcode] Function 'mark_conditional' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7783:1-7829:1)
[Warning][Deadcode] Function 'mark_end' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7830:1-7853:1)
[Warning][Deadcode] Function 'mark_ignore' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7854:1-7876:1)
[Warning][Deadcode] Function 'overcount' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7877:1-7907:1)
[Warning][Deadcode] Function 'syntaxChk' is uncalled: 163 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7908:1-8188:1)
[Warning][Deadcode] Function 'mark' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1-8207:1)
[Warning][Deadcode] Function 'wd' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8208:1-8220:1)
[Warning][Deadcode] Function 'wd_' is uncalled: 186 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8221:1-8540:1)
[Warning][Deadcode] Function 'isodigit' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8541:1-8559:1)
[Warning][Deadcode] Function 'odigitlen3' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8560:1-8584:1)
[Warning][Deadcode] Function 'unescape' is uncalled: 33 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8585:1-8647:1)
[Warning][Deadcode] Function 'unescaped_size' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8648:1-8671:1)
[Warning][Deadcode] Function 'unescaped_fill' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8672:1-8693:1)
[Warning][Deadcode] Function 'param_gp' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8695:1-8740:1)
[Warning][Deadcode] Function 'param_validate' is uncalled: 32 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8741:1-8802:1)
[Warning][Deadcode] Function 'inKtreeR' is uncalled: 47 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8803:1-8886:1)
[Warning][Deadcode] Function 'inKtree' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8887:1-8909:1)
[Warning][Deadcode] Function 'capture' is uncalled: 650 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8910:1-10001:1)
[Warning][Deadcode] Function '_gtime' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10129:1-10167:1)
[Warning][Deadcode] Function '_inv' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10169:1-10207:1)
[Warning][Deadcode] Function '_binl' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10209:1-10248:1)
[Warning][Deadcode] Function '_dvl' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10250:1-10289:1)
[Warning][Deadcode] Function '_di' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10291:1-10330:1)
[Warning][Deadcode] Function '_dv' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10332:1-10371:1)
[Warning][Deadcode] Function '_in' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10373:1-10412:1)
[Warning][Deadcode] Function '_lin' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10414:1-10453:1)
[Warning][Deadcode] Function '_mul' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10455:1-10494:1)
[Warning][Deadcode] Function '_sv' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10496:1-10535:1)
[Warning][Deadcode] Function '_hat' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10537:1-10576:1)
[Warning][Deadcode] Function '_ssr' is uncalled: 24 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10578:1-10618:1)
[Warning][Deadcode] Function 'kdef' is uncalled: 50 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10619:1-10687:1)
[Warning][Deadcode] Function 'sqr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10688:1-10696:1)
[Warning][Deadcode] Function 'math' is uncalled: 46 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10697:1-10786:1)
[Warning][Deadcode] Function '_kona_exit' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10787:1-10804:1)
[Warning][Deadcode] Function '_acos' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10805:1-10813:1)
[Warning][Deadcode] Function '_asin' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10814:1-10822:1)
[Warning][Deadcode] Function '_atan' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10823:1-10831:1)
[Warning][Deadcode] Function '_ceil' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10832:1-10840:1)
[Warning][Deadcode] Function '_cos' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10841:1-10849:1)
[Warning][Deadcode] Function '_cosh' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10850:1-10858:1)
[Warning][Deadcode] Function '_exp' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10859:1-10867:1)
[Warning][Deadcode] Function '_floor' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10868:1-10876:1)
[Warning][Deadcode] Function '_log' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10877:1-10885:1)
[Warning][Deadcode] Function '_sin' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10886:1-10894:1)
[Warning][Deadcode] Function '_sinh' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10895:1-10903:1)
[Warning][Deadcode] Function '_sqr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10904:1-10912:1)
[Warning][Deadcode] Function '_sqrt' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10913:1-10921:1)
[Warning][Deadcode] Function '_tan' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10922:1-10930:1)
[Warning][Deadcode] Function '_tanh' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10931:1-10939:1)
[Warning][Deadcode] Function '_abs' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10947:1-11024:1)
[Warning][Deadcode] Function 'net' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11025:1-11033:1)
[Warning][Deadcode] Function '_bd' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11034:1-11058:1)
[Warning][Deadcode] Function '_ceiling' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11059:1-11067:1)
[Warning][Deadcode] Function '_ci' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11068:1-11112:1)
[Warning][Deadcode] Function '_db' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11113:1-11146:1)
[Warning][Deadcode] Function '_dj' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11147:1-11191:1)
[Warning][Deadcode] Function '_getenv' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11192:1-11218:1)
[Warning][Deadcode] Function '_host' is uncalled: 31 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11219:1-11280:1)
[Warning][Deadcode] Function '_ic' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11281:1-11327:1)
[Warning][Deadcode] Function '_jd' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11328:1-11375:1)
[Warning][Deadcode] Function '_lt' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11376:1-11426:1)
[Warning][Deadcode] Function '_ltime' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11427:1-11437:1)
[Warning][Deadcode] Function 'stat_sz' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11438:1-11451:1)
[Warning][Deadcode] Function '_size' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11452:1-11490:1)
[Warning][Deadcode] Function '_bin' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11491:1-11506:1)
[Warning][Deadcode] Function '_draw' is uncalled: 58 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11507:1-11610:1)
[Warning][Deadcode] Function 'vitter_a' is uncalled: 27 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11611:1-11656:1)
[Warning][Deadcode] Function 'vitter' is uncalled: 81 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11657:1-11794:1)
[Warning][Deadcode] Function '_lsq' is uncalled: 166 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11796:1-12078:1)
[Warning][Deadcode] Function 'radius' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12079:1-12110:1)
[Warning][Deadcode] Function 'svdcmp' is uncalled: 323 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12111:1-12586:1)
[Warning][Deadcode] Function '_setenv' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12587:1-12621:1)
[Warning][Deadcode] Function '_sm' is uncalled: 82 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12622:1-12781:1)
[Warning][Deadcode] Function '_ss' is uncalled: 266 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12782:1-13259:1)
[Warning][Deadcode] Function 'rangematch' is uncalled: 52 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13260:1-13354:1)
[Warning][Deadcode] Function 'Ireverse' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13355:1-13372:1)
[Warning][Deadcode] Function '_vsx' is uncalled: 116 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13373:1-13567:1)
[Warning][Deadcode] Function '_vs' is uncalled: 125 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13568:1-13779:1)
[Warning][Deadcode] Function '_t' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13780:1-13790:1)
[Warning][Deadcode] Function '_T' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13791:1-13807:1)
[Warning][Deadcode] Function '_h' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13817:1-13839:1)
[Warning][Deadcode] Function '_d' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13840:1-13848:1)
[Warning][Deadcode] Function '_v' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13849:1-13857:1)
[Warning][Deadcode] Function '_i' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13858:1-13866:1)
[Warning][Deadcode] Function '_f' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13867:1-13874:1)
[Warning][Deadcode] Function '_s' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13875:1-13883:1)
[Warning][Deadcode] Function '_p' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13884:1-13892:1)
[Warning][Deadcode] Function '_w' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13893:1-13901:1)
[Warning][Deadcode] Function '_u' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13902:1-13910:1)
[Warning][Deadcode] Function '_a' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13911:1-13919:1)
[Warning][Deadcode] Function '_k' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13922:1-13941:1)
[Warning][Deadcode] Function '_m' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13942:1-13950:1)
[Warning][Deadcode] Function '_c' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13951:1-13959:1)
[Warning][Deadcode] Function 'CIX' is uncalled: 50 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13960:1-14049:1)
[Warning][Deadcode] Function 'binr' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14050:1-14094:1)
[Warning][Deadcode] Function 'RF' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14095:1-14103:1)
[Warning][Deadcode] Function '_dot_t' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14105:1-14115:1)
[Warning][Deadcode] Function 'jdn_from_date' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14116:1-14128:1)
[Warning][Deadcode] Function 'date_from_jdn' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14129:1-14153:1)
[Warning][Deadcode] Function 'maX' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14276:1-14288:1)
[Warning][Deadcode] Function 'miN' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14289:1-14301:1)
[Warning][Deadcode] Function 'X' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14302:1-14314:1)
[Warning][Deadcode] Function 'XN' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14315:1-14325:1)
[Warning][Deadcode] Function 'KX' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14326:1-14336:1)
[Warning][Deadcode] Function 'FF' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14337:1-14346:1)
[Warning][Deadcode] Function 'simpleString' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14347:1-14420:1)
[Warning][Deadcode] Function 'end' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14421:1-14428:1)
[Warning][Deadcode] Function 'bk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14429:1-14436:1)
[Warning][Deadcode] Function 'over' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14438:1-14445:1)
[Warning][Deadcode] Function 'scan' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14446:1-14453:1)
[Warning][Deadcode] Function 'each' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14454:1-14461:1)
[Warning][Deadcode] Function 'tr_st' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14462:1-14487:1)
[Warning][Deadcode] Function 'rtrn' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14488:1-14497:1)
[Warning][Deadcode] Function 'eachright' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14498:1-14505:1)
[Warning][Deadcode] Function 'eachleft' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14506:1-14513:1)
[Warning][Deadcode] Function 'eachpair' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14514:1-14521:1)
[Warning][Deadcode] Function 'resume' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14522:1-14529:1)
[Warning][Deadcode] Function 'stringHasChar' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14538:1-14554:1)
[Warning][Deadcode] Function 'charpos' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14555:1-14573:1)
[Warning][Deadcode] Function 'isCharVerb' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14574:1-14582:1)
[Warning][Deadcode] Function 'charsVerb' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14583:1-14591:1)
[Warning][Deadcode] Function 'verbsChar' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14592:1-14608:1)
[Warning][Deadcode] Function 'adverbsChar' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14609:1-14621:1)
[Warning][Deadcode] Function 'charsAdverb' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14622:1-14630:1)
[Warning][Deadcode] Function 'sva' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14631:1-14642:1)
[Warning][Deadcode] Function 'adverbClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14643:1-14654:1)
[Warning][Deadcode] Function 'kdefClass' is uncalled: 26 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14655:1-14700:1)
[Warning][Deadcode] Function 'specialValence' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14701:1-14725:1)
[Warning][Deadcode] Function 'valence' is uncalled: 80 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14726:1-14871:1)
[Warning][Deadcode] Function 'VA' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14872:1-14892:1)
[Warning][Deadcode] Function 'isescape' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14893:1-14920:1)
[Warning][Deadcode] Function 'needspt0' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14923:1-14956:1)
[Warning][Deadcode] Function 'splitprint' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14958:1-14984:1)
[Warning][Deadcode] Function 'minus_eachpair' is uncalled: 33 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15423:1-15483:1)
[Warning][Deadcode] Function 'plus_scan' is uncalled: 100 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15484:1-15673:1)
[Warning][Deadcode] Function 'plus_over' is uncalled: 44 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15674:1-15754:1)
[Warning][Deadcode] Function 'times_over' is uncalled: 44 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15755:1-15835:1)
[Warning][Deadcode] Function 'max_or_over' is uncalled: 48 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15836:1-15924:1)
[Warning][Deadcode] Function 'min_and_over' is uncalled: 48 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15925:1-16013:1)
[Warning][Deadcode] Function 'join_over' is uncalled: 19 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16014:1-16047:1)
[Warning][Deadcode] Function 'TABLE_END' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16191:1-16198:1)
[Warning][Deadcode] Function 'oerr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16272:1-16280:1)
[Warning][Deadcode] Function 'prompt' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16291:1-16307:1)
[Warning][Deadcode] Function 'wds' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16308:1-16316:1)
[Warning][Deadcode] Function 'wds_' is uncalled: 61 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16317:1-16419:1)
[Warning][Deadcode] Function 'multihomeini' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16422:1-16450:1)
[Warning][Deadcode] Function 'args' is uncalled: 70 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16451:1-16557:1)
[Warning][Deadcode] Function 'khinit' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16560:1-16592:1)
[Warning][Deadcode] Function 'randomBits' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16690:1-16718:1)
[Warning][Deadcode] Function 'nodeCount_' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16734:1-16763:1)
[Warning][Deadcode] Function 'nodeCount' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16764:1-16772:1)
[Warning][Deadcode] Function 'check' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16773:1-16798:1)
[Warning][Deadcode] Function 'lines' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16800:1-16821:1)
[Warning][Deadcode] Function 'line' is uncalled: 313 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16822:1-17324:1)
[Warning][Deadcode] Function 'timer_thread' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17326:1-17372:1)
[Warning][Deadcode] Function 'handle_SIGINT' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17373:1-17381:1)
[Warning][Deadcode] Function 'attend' is uncalled: 112 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17382:1-17580:1)
[Warning][Deadcode] Function 'sd_' is uncalled: 62 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17629:1-17733:1)
[Warning][Deadcode] Function 'sd' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17734:1-17742:1)
[Warning][Deadcode] Function 'cjoin' is uncalled: 47 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17743:1-17825:1)
[Warning][Deadcode] Function 'csplit' is uncalled: 78 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17826:1-17962:1)
[Warning][Deadcode] Function 'overDyad' is uncalled: 97 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17963:1-18133:1)
[Warning][Deadcode] Function 'scanDyad' is uncalled: 76 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18134:1-18265:1)
[Warning][Deadcode] Function 'overMonad' is uncalled: 159 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18266:1-18541:1)
[Warning][Deadcode] Function 'scanMonad' is uncalled: 107 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18542:1-18709:1)
[Warning][Deadcode] Function 'each2' is uncalled: 116 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18710:1-18908:1)
[Warning][Deadcode] Function 'eachright2' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18909:1-18981:1)
[Warning][Deadcode] Function 'eachleft2' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18982:1-19052:1)
[Warning][Deadcode] Function 'eachpair2' is uncalled: 117 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19053:1-19256:1)
[Warning][Deadcode] Function 'dv_ex' is uncalled: 181 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19257:1-19578:1)
[Warning][Deadcode] Function 'vf_ex' is uncalled: 638 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19579:1-20620:1)
[Warning][Deadcode] Function 'ex_' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20621:1-20688:1)
[Warning][Deadcode] Function 'ex' is uncalled: 53 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20689:1-20778:1)
[Warning][Deadcode] Function 'ex0' is uncalled: 294 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20779:1-21266:1)
[Warning][Deadcode] Function 'bv_ex' is uncalled: 212 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21267:1-21625:1)
[Warning][Deadcode] Function 'ex1' is uncalled: 130 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21626:1-21854:1)
[Warning][Deadcode] Function 'ex2' is uncalled: 497 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:21855:1-22708:1)
[Warning][Deadcode] Function 'cirRef' is uncalled: 20 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22709:1-22747:1)
[Warning][Deadcode] Function 'cirRef_' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22748:1-22772:1)
[Warning][Deadcode] Function 'FC' is uncalled: 33 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22787:1-22849:1)
[Warning][Deadcode] Function 'KC' is uncalled: 83 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22850:1-22995:1)
[Warning][Deadcode] Function 'distributionGrade' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:22996:1-23065:1)
[Warning][Deadcode] Function 'charGrade' is uncalled: 28 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23066:1-23118:1)
[Warning][Deadcode] Function 'mergerComparer' is uncalled: 54 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23119:1-23230:1)
[Warning][Deadcode] Function 'merger' is uncalled: 26 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23231:1-23280:1)
[Warning][Deadcode] Function 'insertGrade' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23281:1-23312:1)
[Warning][Deadcode] Function 'doMergeGrade' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23313:1-23335:1)
[Warning][Deadcode] Function 'StoU' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23336:1-23359:1)
[Warning][Deadcode] Function 'strGrade' is uncalled: 31 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23360:1-23414:1)
[Warning][Deadcode] Function 'mergeGrade' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23415:1-23453:1)
[Warning][Deadcode] Function 'insertGradeU' is uncalled: 43 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23454:1-23530:1)
[Warning][Deadcode] Function 'trst' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23532:1-23540:1)
[Warning][Deadcode] Function 'elapsed' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23541:1-23557:1)
[Warning][Deadcode] Function 'dGU' is uncalled: 20 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23558:1-23595:1)
[Warning][Deadcode] Function 'radixGradeI' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23596:1-23656:1)
[Warning][Deadcode] Function 'radixGrade' is uncalled: 24 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23657:1-23702:1)
[Warning][Deadcode] Function 'symGrade' is uncalled: 26 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23703:1-23750:1)
[Warning][Deadcode] Function 'getline' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23763:1-23773:1)
[Warning][Deadcode] Function 'stat64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23799:1-23808:1)
[Warning][Deadcode] Function 'lstat64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23811:1-23820:1)
[Warning][Deadcode] Function 'fstat64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23823:1-23832:1)
[Warning][Deadcode] Function 'fstatat64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23836:1-23848:1)
[Warning][Deadcode] Function 'alloc' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23864:1-23878:1)
[Warning][Deadcode] Function 'OOM_CD' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23879:1-23916:1)
[Warning][Deadcode] Function 'rc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23917:1-23924:1)
[Warning][Deadcode] Function 'mrc' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23961:1-23976:1)
[Warning][Deadcode] Function 'kapn' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24560:1-24568:1)
[Warning][Deadcode] Function 'newPDA' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24600:1-24622:1)
[Warning][Deadcode] Function 'push' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24623:1-24631:1)
[Warning][Deadcode] Function 'peek' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24632:1-24646:1)
[Warning][Deadcode] Function 'pop' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24647:1-24660:1)
[Warning][Deadcode] Function 'bottom' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24661:1-24673:1)
[Warning][Deadcode] Function 'pdafree' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24674:1-24684:1)
[Warning][Deadcode] Function 'Ki' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24685:1-24696:1)
[Warning][Deadcode] Function 'Kf' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24697:1-24708:1)
[Warning][Deadcode] Function 'Kc' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24709:1-24720:1)
[Warning][Deadcode] Function 'Ks' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24721:1-24735:1)
[Warning][Deadcode] Function 'Kd' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24736:1-24744:1)
[Warning][Deadcode] Function 'Kv' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24754:1-24784:1)
[Warning][Deadcode] Function 'newEntry' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24785:1-24795:1)
[Warning][Deadcode] Function 'newE' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24796:1-24817:1)
[Warning][Deadcode] Function 'rp2' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24818:1-24840:1)
[Warning][Deadcode] Function 'mstat' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24841:1-24862:1)
[Warning][Deadcode] Function 'get_in_addr' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24892:1-24902:1)
[Warning][Deadcode] Function 'mhbegin' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24905:1-24916:1)
[Warning][Deadcode] Function 'mhend' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24917:1-24926:1)
[Warning][Deadcode] Function 'wipe_tape' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24927:1-24940:1)
[Warning][Deadcode] Function 'close_tape' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24941:1-24983:1)
[Warning][Deadcode] Function 'modified_execute' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24986:1-25032:1)
[Warning][Deadcode] Function 'read_tape' is uncalled: 487 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25033:1-25808:1)
[Warning][Deadcode] Function 'kcloneI' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25812:1-25823:1)
[Warning][Deadcode] Function '_kclone' is uncalled: 123 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25824:1-26034:1)
[Warning][Deadcode] Function 'collapse' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26035:1-26063:1)
[Warning][Deadcode] Function 'delist' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26064:1-26087:1)
[Warning][Deadcode] Function 'demote' is uncalled: 53 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26088:1-26181:1)
[Warning][Deadcode] Function 'promote' is uncalled: 64 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26182:1-26290:1)
[Warning][Deadcode] Function 'sdupI' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26298:1-26321:1)
[Warning][Deadcode] Function 'strdupn' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26322:1-26338:1)
[Warning][Deadcode] Function 'strlenn' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26339:1-26355:1)
[Warning][Deadcode] Function 'StoI' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26356:1-26383:1)
[Warning][Deadcode] Function 'SC' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26384:1-26406:1)
[Warning][Deadcode] Function 'spn' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26537:1-26567:1)
[Warning][Deadcode] Function 'wleft' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26568:1-26588:1)
[Warning][Deadcode] Function 'wright' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26589:1-26609:1)
[Warning][Deadcode] Function 'ssI' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26610:1-26629:1)
[Warning][Deadcode] Function 'setS' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26630:1-26638:1)
[Warning][Deadcode] Function 'OS' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26639:1-26656:1)
[Warning][Deadcode] Function 'itemAtIndex' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26662:1-26697:1)
[Warning][Deadcode] Function 'glueSS' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26698:1-26717:1)
[Warning][Deadcode] Function 'glue' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26718:1-26730:1)
[Warning][Deadcode] Function 'DI' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26731:1-26738:1)
[Warning][Deadcode] Function 'ES' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26739:1-26746:1)
[Warning][Deadcode] Function 'DE' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26747:1-26769:1)
[Warning][Deadcode] Function 'EIA' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26770:1-26777:1)
[Warning][Deadcode] Function 'EVP' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26778:1-26786:1)
[Warning][Deadcode] Function 'EAP' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26787:1-26795:1)
[Warning][Deadcode] Function 'EV' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26796:1-26804:1)
[Warning][Deadcode] Function 'lookupEntryOrCreate' is uncalled: 20 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26805:1-26841:1)
[Warning][Deadcode] Function 'denameRecurse' is uncalled: 47 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26842:1-26925:1)
[Warning][Deadcode] Function 'denameD' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26926:1-26948:1)
[Warning][Deadcode] Function 'denameS' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26949:1-26968:1)
[Warning][Deadcode] Function 'lookupEVOrCreate' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26969:1-26987:1)
[Warning][Deadcode] Function 'lookup' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26988:1-27008:1)
[Warning][Deadcode] Function 'isVerbDyadic' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27009:1-27029:1)
[Warning][Deadcode] Function 'isColonDyadic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27030:1-27038:1)
[Warning][Deadcode] Function 'isDotDyadic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27039:1-27047:1)
[Warning][Deadcode] Function 'at_verb' is uncalled: 176 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27048:1-27354:1)
[Warning][Deadcode] Function 'at' is uncalled: 28 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27355:1-27409:1)
[Warning][Deadcode] Function 'updateIndex' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27410:1-27448:1)
[Warning][Deadcode] Function 'specialAmendDot' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27449:1-27474:1)
[Warning][Deadcode] Function 'atomI' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27475:1-27487:1)
[Warning][Deadcode] Function 'atom' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27488:1-27498:1)
[Warning][Deadcode] Function 'at_ref' is uncalled: 191 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27499:1-27838:1)
[Warning][Deadcode] Function 'at_tetradic' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27839:1-27857:1)
[Warning][Deadcode] Function 'colon_monadic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27858:1-27866:1)
[Warning][Deadcode] Function 'colon_dyadic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27867:1-27875:1)
[Warning][Deadcode] Function 'notsp' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27876:1-27902:1)
[Warning][Deadcode] Function 'not_attribute' is uncalled: 65 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:27903:1-28021:1)
[Warning][Deadcode] Function 'excl_mkdict' is uncalled: 19 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28022:1-28057:1)
[Warning][Deadcode] Function 'rotate_mod' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28058:1-28101:1)
[Warning][Deadcode] Function 'enumerate_charvec' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28102:1-28121:1)
[Warning][Deadcode] Function 'enumerate' is uncalled: 100 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28122:1-28290:1)
[Warning][Deadcode] Function 'power' is uncalled: 253 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28293:1-28759:1)
[Warning][Deadcode] Function 'plus' is uncalled: 155 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:28760:1-29053:1)
[Warning][Deadcode] Function 'times' is uncalled: 155 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29054:1-29347:1)
[Warning][Deadcode] Function '_dot' is uncalled: 229 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29348:1-29770:1)
[Warning][Deadcode] Function 'mod' is uncalled: 131 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:29771:1-30023:1)
[Warning][Deadcode] Function 'minus' is uncalled: 155 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30024:1-30317:1)
[Warning][Deadcode] Function 'negate' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30318:1-30332:1)
[Warning][Deadcode] Function 'divide' is uncalled: 333 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30333:1-30950:1)
[Warning][Deadcode] Function 'reciprocal' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30951:1-30965:1)
[Warning][Deadcode] Function 'min_and' is uncalled: 179 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:30966:1-31307:1)
[Warning][Deadcode] Function 'max_or' is uncalled: 179 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31308:1-31649:1)
[Warning][Deadcode] Function 'floor_ceil' is uncalled: 78 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31651:1-31799:1)
[Warning][Deadcode] Function 'floor_verb' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31800:1-31808:1)
[Warning][Deadcode] Function 'FC_IF' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31810:1-31836:1)
[Warning][Deadcode] Function 'FC_FI' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31837:1-31863:1)
[Warning][Deadcode] Function 'dp' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31865:1-31895:1)
[Warning][Deadcode] Function 'equals' is uncalled: 214 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:31896:1-32293:1)
[Warning][Deadcode] Function 'matchI' is uncalled: 96 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32294:1-32463:1)
[Warning][Deadcode] Function 'match' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32464:1-32474:1)
[Warning][Deadcode] Function 'lessmore' is uncalled: 215 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32475:1-32864:1)
[Warning][Deadcode] Function 'less' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32865:1-32873:1)
[Warning][Deadcode] Function 'more' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32874:1-32882:1)
[Warning][Deadcode] Function 'of2' is uncalled: 113 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:32888:1-33085:1)
[Warning][Deadcode] Function 'of' is uncalled: 154 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33086:1-33358:1)
[Warning][Deadcode] Function 'dot' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33359:1-33392:1)
[Warning][Deadcode] Function 'dot_ref' is uncalled: 249 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33393:1-33837:1)
[Warning][Deadcode] Function 'dot_tetradic_2' is uncalled: 40 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33838:1-33912:1)
[Warning][Deadcode] Function 'dot_tetradic' is uncalled: 57 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:33913:1-34013:1)
[Warning][Deadcode] Function 'make' is uncalled: 30 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34014:1-34071:1)
[Warning][Deadcode] Function 'unmake' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34072:1-34083:1)
[Warning][Deadcode] Function 'makeable' is uncalled: 33 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34084:1-34145:1)
[Warning][Deadcode] Function 'dot_monadic' is uncalled: 28 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34146:1-34200:1)
[Warning][Deadcode] Function 'CSK' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34207:1-34237:1)
[Warning][Deadcode] Function 'formKsCS' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34238:1-34258:1)
[Warning][Deadcode] Function 'formKiCS' is uncalled: 20 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34259:1-34298:1)
[Warning][Deadcode] Function 'formKfCS' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34299:1-34340:1)
[Warning][Deadcode] Function 'formatFn' is uncalled: 56 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34341:1-34433:1)
[Warning][Deadcode] Function 'formatS' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34434:1-34452:1)
[Warning][Deadcode] Function 'formatF' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34454:1-34489:1)
[Warning][Deadcode] Function 'formatI' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34491:1-34510:1)
[Warning][Deadcode] Function 'format' is uncalled: 54 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34511:1-34606:1)
[Warning][Deadcode] Function 'TNI' is uncalled: 41 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34611:1-34684:1)
[Warning][Deadcode] Function 'parseNI' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34685:1-34714:1)
[Warning][Deadcode] Function 'tround' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34715:1-34753:1)
[Warning][Deadcode] Function 'dollar' is uncalled: 153 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:34755:1-35034:1)
[Warning][Deadcode] Function 'FtoI' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35040:1-35059:1)
[Warning][Deadcode] Function 'ItoU' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35060:1-35067:1)
[Warning][Deadcode] Function 'grade_updown' is uncalled: 123 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35068:1-35279:1)
[Warning][Deadcode] Function 'grade_up' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35280:1-35288:1)
[Warning][Deadcode] Function 'grade_down' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35289:1-35297:1)
[Warning][Deadcode] Function 'enlist' is uncalled: 19 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35298:1-35335:1)
[Warning][Deadcode] Function 'charRange' is uncalled: 28 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35336:1-35388:1)
[Warning][Deadcode] Function 'symRange' is uncalled: 27 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35389:1-35438:1)
[Warning][Deadcode] Function 'newH' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35439:1-35458:1)
[Warning][Deadcode] Function 'hg' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35459:1-35482:1)
[Warning][Deadcode] Function 'hcinit' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35486:1-35502:1)
[Warning][Deadcode] Function 'hc' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35503:1-35518:1)
[Warning][Deadcode] Function 'intRange' is uncalled: 58 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35519:1-35623:1)
[Warning][Deadcode] Function 'KEQ' is uncalled: 56 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35624:1-35725:1)
[Warning][Deadcode] Function 'shg' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35726:1-35751:1)
[Warning][Deadcode] Function 'fnv1a' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35752:1-35769:1)
[Warning][Deadcode] Function 'hcode' is uncalled: 47 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35770:1-35846:1)
[Warning][Deadcode] Function 'listRange' is uncalled: 41 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35847:1-35920:1)
[Warning][Deadcode] Function 'range' is uncalled: 61 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:35921:1-36020:1)
[Warning][Deadcode] Function 'charGroup' is uncalled: 41 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36021:1-36094:1)
[Warning][Deadcode] Function 'symGroup' is uncalled: 48 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36095:1-36178:1)
[Warning][Deadcode] Function 'groupI' is uncalled: 50 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36179:1-36267:1)
[Warning][Deadcode] Function 'intGroup' is uncalled: 68 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36268:1-36388:1)
[Warning][Deadcode] Function 'listGroup' is uncalled: 46 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36389:1-36473:1)
[Warning][Deadcode] Function 'group' is uncalled: 88 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36474:1-36621:1)
[Warning][Deadcode] Function 'VAT' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36622:1-36638:1)
[Warning][Deadcode] Function 'flip' is uncalled: 144 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36639:1-36897:1)
[Warning][Deadcode] Function 'first' is uncalled: 35 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36898:1-36967:1)
[Warning][Deadcode] Function 'last' is uncalled: 35 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:36968:1-37037:1)
[Warning][Deadcode] Function 'reshaper' is uncalled: 101 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37038:1-37228:1)
[Warning][Deadcode] Function 'reshape' is uncalled: 44 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37229:1-37309:1)
[Warning][Deadcode] Function 'take' is uncalled: 87 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37310:1-37477:1)
[Warning][Deadcode] Function 'take_reshape' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37478:1-37507:1)
[Warning][Deadcode] Function 'shapeCheck' is uncalled: 20 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37508:1-37548:1)
[Warning][Deadcode] Function 'firstDepth' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37549:1-37574:1)
[Warning][Deadcode] Function 'shape' is uncalled: 29 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37575:1-37627:1)
[Warning][Deadcode] Function 'rotate' is uncalled: 44 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37628:1-37708:1)
[Warning][Deadcode] Function 'drop' is uncalled: 63 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37709:1-37826:1)
[Warning][Deadcode] Function 'cut' is uncalled: 160 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:37827:1-38112:1)
[Warning][Deadcode] Function 'drop_cut' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38113:1-38146:1)
[Warning][Deadcode] Function 'where' is uncalled: 41 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38147:1-38222:1)
[Warning][Deadcode] Function 'reverse' is uncalled: 85 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38223:1-38369:1)
[Warning][Deadcode] Function 'countI' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38370:1-38382:1)
[Warning][Deadcode] Function 'count' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38383:1-38393:1)
[Warning][Deadcode] Function 'join' is uncalled: 63 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38394:1-38513:1)
[Warning][Deadcode] Function '_hg' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38514:1-38542:1)
[Warning][Deadcode] Function '_hgk' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38543:1-38573:1)
[Warning][Deadcode] Function '_hgv' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38574:1-38602:1)
[Warning][Deadcode] Function '_hash' is uncalled: 68 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38603:1-38719:1)
[Warning][Deadcode] Function 'hash_find' is uncalled: 36 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38720:1-38780:1)
[Warning][Deadcode] Function 'find' is uncalled: 97 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38784:1-38966:1)
[Warning][Deadcode] Function 'num_ex' is uncalled: 24 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:38967:1-39010:1)
[Warning][Deadcode] Function 'isShallowNumeric' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39011:1-39042:1)
[Warning][Deadcode] Function 'ithFloat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39043:1-39067:1)
[Warning][Deadcode] Function 'inverter' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39068:1-39140:1)
[Warning][Deadcode] Function 'what_triadic' is uncalled: 55 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39141:1-39241:1)
[Warning][Deadcode] Function 'qrand' is uncalled: 60 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39242:1-39351:1)
[Warning][Deadcode] Function 'sample' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39352:1-39381:1)
[Warning][Deadcode] Function 'what' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39382:1-39415:1)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'cd' has dead code:
  on line 24005 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24005-24005)
[Warning][Deadcode] Function 'ci' has dead code:
  on line 24069 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24069-24069)
[Warning][Deadcode] Function 'cl2' has dead code:
  on line 24270 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24270-24270)
[Warning][Deadcode] Function 'kap' has dead code:
  on line 24577 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24577-24577)
[Warning][Deadcode] Function 'kapn_' has dead code:
  on line 24481 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24481-24481)
  on line 24484 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24484-24484)
[Warning][Deadcode] Function 'kinit' has dead code:
  on lines 16660..16665 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16660-16665)
  on lines 16667..16687 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16667-16687)
[Warning][Deadcode] Function 'main' has dead code:
  on lines 39424..39426 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39424-39426)
[Warning][Deadcode] Function 'printAtDepth' has dead code:
  on lines 15047..15053 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15047-15053)
  on lines 15056..15059 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15056-15059)
  on lines 15061..15063 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15061-15063)
  on lines 15066..15076 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15066-15076)
  on lines 15079..15080 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15079-15080)
  on lines 15085..15087 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15085-15087)
  on line 15091 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15091-15091)
  on lines 15095..15097 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15095-15097)
  on lines 15103..15105 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15103-15105)
  on line 15107 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15107-15107)
  on line 15110 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15110-15110)
  on lines 15112..15115 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15112-15115)
  on line 15117 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15117-15117)
  on line 15119 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15119-15119)
  on lines 15121..15128 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15121-15128)
  on line 15130 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15130-15130)
  on line 15132 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15132-15132)
  on line 15134 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15134-15134)
  on lines 15136..15137 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15136-15137)
  on lines 15140..15141 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15140-15141)
  on line 15143 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15143-15143)
  on lines 15145..15147 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15145-15147)
  on lines 15149..15154 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15149-15154)
  on lines 15156..15157 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15156-15157)
  on lines 15159..15160 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15159-15160)
  on line 15162 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15162-15162)
  on lines 15164..15165 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15164-15165)
  on line 15167 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15167-15167)
  on lines 15171..15172 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15171-15172)
  on line 15174 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15174-15174)
  on lines 15176..15178 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15176-15178)
  on lines 15180..15186 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15180-15186)
  on lines 15188..15189 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15188-15189)
  on lines 15191..15192 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15191-15192)
  on line 15194 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15194-15194)
  on lines 15196..15197 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15196-15197)
  on lines 15199..15201 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15199-15201)
  on line 15204 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15204-15204)
  on lines 15208..15209 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15208-15209)
  on line 15211 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15211-15211)
  on lines 15213..15222 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15213-15222)
  on line 15225 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15225-15225)
  on lines 15229..15230 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15229-15230)
  on lines 15232..15233 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15232-15233)
  on lines 15235..15236 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15235-15236)
  on lines 15238..15239 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15238-15239)
  on lines 15241..15242 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15241-15242)
  on lines 15244..15245 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15244-15245)
  on lines 15247..15248 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15247-15248)
  on line 15252 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15252-15252)
  on line 15255 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15255-15255)
  on line 15257 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15257-15257)
  on lines 15259..15260 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15259-15260)
  on line 15262 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15262-15262)
  on lines 15264..15266 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15264-15266)
  on lines 15268..15273 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15268-15273)
  on line 15276 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15276-15276)
  on lines 15278..15283 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15278-15283)
  on lines 15285..15289 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15285-15289)
  on lines 15291..15292 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15291-15292)
  on lines 15294..15295 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15294-15295)
  on line 15297 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15297-15297)
  on line 15299 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15299-15299)
  on lines 15301..15303 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15301-15303)
  on lines 15305..15307 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15305-15307)
  on lines 15309..15311 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15309-15311)
  on lines 15315..15319 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15315-15319)
  on line 15322 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15322-15322)
  on line 15326 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15326-15326)
  on lines 15330..15336 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15330-15336)
  on lines 15339..15349 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15339-15349)
  on lines 15351..15353 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15351-15353)
  on lines 15361..15365 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15361-15365)
  on line 15367 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15367-15367)
  on line 15369 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15369-15369)
  on lines 15371..15375 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15371-15375)
  on line 15377 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15377-15377)
  on line 15379 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15379-15379)
  on line 15381 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15381-15381)
  on line 15385 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15385-15385)
  on lines 15388..15389 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15388-15389)
  on lines 15391..15392 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15391-15392)
  on lines 15394..15395 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15394-15395)
  on lines 15398..15400 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15398-15400)
  on line 15402 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15402-15402)
  on line 15404 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15404-15404)
  on line 15406 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15406-15406)
[Warning][Deadcode] Function 'seedPRNG' has dead code:
  on lines 16727..16728 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16727-16728)
[Warning][Deadcode] Function 'show' has dead code:
  on lines 15416..15417 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15416-15417)
[Warning][Deadcode] Function 'sp' has dead code:
  on line 26427 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26427-26427)
  on lines 26434..26439 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26434-26439)
  on lines 26441..26446 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26441-26446)
  on line 26448 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26448-26448)
  on lines 26450..26453 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26450-26453)
  on lines 26455..26459 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26455-26459)
  on lines 26462..26465 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26462-26465)
  on lines 26467..26472 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26467-26472)
  on line 26474 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26474-26474)
  on line 26477 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26477-26477)
  on lines 26479..26481 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26479-26481)
  on line 26483 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26483-26483)
  on lines 26485..26490 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26485-26490)
  on lines 26492..26494 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26492-26494)
  on lines 26496..26498 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26496-26498)
  on lines 26500..26506 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26500-26506)
  on lines 26508..26516 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26508-26516)
  on lines 26518..26520 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26518-26520)
  on lines 26522..26524 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26522-26524)
  on line 26526 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26526-26526)
  on lines 26528..26529 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26528-26529)
  on line 26531 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26531-26531)
  on lines 26533..26534 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26533-26534)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 432
  dead: 20238 (19891 in uncalled functions)
  total lines: 20670
[Warning][Race] Memory location (char *) (race with conf. 100):
  write with [] (conf. 100)  (exp: & *((S *)(k->k) + m)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24454:3-24454:33)
[Warning][Race] Memory location (void *) (race with conf. 100):
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
[Warning][Race] Memory location SYMBOLS (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14233:3-14233:11)
  write with [] (conf. 110)  (exp: & SYMBOLS) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16653:3-16653:19)
  read with [] (conf. 110)  (exp: & SYMBOLS) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26429:3-26429:14)
[Warning][Deadcode][CWE-570] condition '! a' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24576:7-24576:10)
[Warning][Race] Memory location offsetOver (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14238:3-14238:14)
  write with [] (conf. 110)  (exp: & offsetOver) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16632:3-16632:39)
[Warning][Deadcode][CWE-570] condition '! v' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24269:7-24269:10)
[Warning][Race] Memory location offsetJoin (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14250:3-14250:14)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offsetJoin) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16647:3-16647:27)
[Warning][Race] Memory location offsetEachleft (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14242:3-14242:18)
  write with [] (conf. 110)  (exp: & offsetEachleft) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16636:3-16636:47)
[Warning][Race] Memory location offset3m (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14251:3-14251:12)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offset3m) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16651:3-16651:25)
[Warning][Race] Memory location errmsg[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14249:3-14249:15)
  write with [] (conf. 110)  (exp: (char * __restrict  )(errmsg)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14267:3-14268:14)
[Warning][Race] Memory location DT_SPECIAL_VERB_OFFSET (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6976:3-6976:26)
  write with [] (conf. 110)  (exp: & DT_SPECIAL_VERB_OFFSET) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16631:3-16631:50)
[Warning][Race] Memory location mMax (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23858:3-23858:13)
  write with [] (conf. 110)  (exp: & mMax) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24218:7-24218:19)
  write with [] (conf. 110)  (exp: & mMax) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24259:5-24259:17)
  write with [] (conf. 110)  (exp: & mMax) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24375:9-24375:21)
  read with [] (conf. 110)  (exp: & mMax) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24217:9-24217:21)
  read with [] (conf. 110)  (exp: & mMax) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24258:7-24258:19)
  read with [] (conf. 110)  (exp: & mMax) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24374:11-24374:23)
[Warning][Race] Memory location PG (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:960:3-960:6)
  write with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16616:3-16616:15)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16617:7-16617:22)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24022:3-24022:84)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24125:3-24125:80)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24127:5-24127:23)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24209:7-24209:13)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24210:5-24210:17)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24245:9-24245:15)
  read with [] (conf. 110)  (exp: & PG) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24247:14-24247:70)
[Warning][Race] Memory location offsetEachpair (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14243:3-14243:18)
  write with [] (conf. 110)  (exp: & offsetEachpair) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16637:3-16637:47)
[Warning][Race] Memory location DT_END_OFFSET (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14234:3-14234:17)
  write with [] (conf. 110)  (exp: & DT_END_OFFSET) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16628:3-16628:41)
[Warning][Race] Memory location offsetColon (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:963:3-963:15)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offsetColon) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16645:3-16645:28)
[Warning][Deadcode][CWE-571] condition '! a' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15044:7-15044:10)
[Warning][Race] Memory location (struct k0)._c (race with conf. 100):
  write with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23930:3-23930:21)
  write with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23939:3-23939:21)
  write with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23956:3-23956:77)
  write with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23957:3-23957:17)
  write with [] (conf. 100)  (exp: & z->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24166:5-24166:20)
  read with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23930:3-23930:21)
  read with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23939:3-23939:21)
  read with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23948:3-23948:29)
  read with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23956:3-23956:77)
  read with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23957:3-23957:17)
  read with [] (conf. 100)  (exp: & x___0->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24009:7-24009:24)
  read with [] (conf. 100)  (exp: & z->_c) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24165:7-24165:19)
[Warning][Race] Memory location (struct k0).k[?] (race with conf. 100):
  write with [] (conf. 100)  (exp: & k->k[m]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24441:3-24441:30)
  write with [] (conf. 100)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24499:5-24499:20)
  write with [] (conf. 100)  (exp: & *(zv + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24503:7-24503:23)
  write with [] (conf. 100)  (exp: & k->k[i___0 + m]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24529:5-24529:44)
[Warning][Race] Memory location (struct k0).n (race with conf. 100):
  write with [] (conf. 100)  (exp: & z->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24161:3-24161:11)
  write with [] (conf. 100)  (exp: & z->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24163:5-24163:17)
  write with [] (conf. 100)  (exp: & k->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24438:3-24438:11)
  write with [] (conf. 100)  (exp: & k->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24517:3-24517:11)
  read with [] (conf. 100)  (exp: & x___0->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24002:3-24002:20)
  read with [] (conf. 100)  (exp: & x___0->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24030:5-24030:37)
  read with [] (conf. 100)  (exp: & x___0->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24066:3-24066:20)
  read with [] (conf. 100)  (exp: & a->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24359:5-24359:29)
  read with [] (conf. 100)  (exp: & a->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24409:3-24409:27)
  read with [] (conf. 100)  (exp: & k->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24429:3-24429:11)
  read with [] (conf. 100)  (exp: & k->n) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24488:3-24488:11)
[Warning][Race] Memory location (struct k0).t (race with conf. 100):
  write with [] (conf. 100)  (exp: & z->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24160:3-24160:11)
  write with [] (conf. 100)  (exp: & k->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24553:9-24553:21)
  read with [] (conf. 100)  (exp: & x___0->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23999:3-23999:11)
  read with [] (conf. 100)  (exp: & x___0->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24000:3-24000:11)
  read with [] (conf. 100)  (exp: & x___0->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24013:3-24013:11)
  read with [] (conf. 100)  (exp: & x___0->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24030:5-24030:37)
  read with [] (conf. 100)  (exp: & x___0->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24063:3-24063:11)
  read with [] (conf. 100)  (exp: & x___0->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24064:3-24064:11)
  read with [] (conf. 100)  (exp: & a->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24359:5-24359:29)
  read with [] (conf. 100)  (exp: & a->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24361:5-24361:26)
  read with [] (conf. 100)  (exp: & a->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24397:3-24397:24)
  read with [] (conf. 100)  (exp: & a->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24409:3-24409:27)
  read with [] (conf. 100)  (exp: & k->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24428:3-24428:11)
  read with [] (conf. 100)  (exp: & k->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24487:3-24487:11)
  read with [] (conf. 100)  (exp: & k->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24553:9-24553:21)
  read with [] (conf. 100)  (exp: & (*a)->t) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24579:7-24579:20)
[Warning][Race] Memory location DT_SIZE (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16199:3-16199:18)
  write with [] (conf. 110)  (exp: & DT_SIZE) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16627:3-16627:41)
[Warning][Race] Memory location NIL (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10055:3-10055:7)
  write with [] (conf. 100)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24499:5-24499:20)
  write with [] (conf. 100)  (exp: & *(zv + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24503:7-24503:23)
  write with [] (conf. 110)  (exp: & NIL) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16655:3-16655:13)
  read with [] (conf. 110)  (exp: & NIL) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13813:3-13813:16)
  read with [] (conf. 110)  (exp: & NIL) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16658:3-16658:10)
  read with [] (conf. 110)  (exp: & *((I *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24444:3-24444:33)
  read with [] (conf. 110)  (exp: & *((F *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24447:3-24447:33)
  read with [] (conf. 110)  (exp: & *((C *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24450:3-24450:33)
  read with [] (conf. 110)  (exp: & *((S *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24454:3-24454:33)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24534:3-24534:146)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24537:3-24537:146)
  read with [] (conf. 110)  (exp: (char const   * __restrict  )((S )v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24540:3-24541:22)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24545:3-24545:146)
[Warning][Race] Memory location NIL[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10055:3-10055:7)
  write with [] (conf. 100)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24499:5-24499:20)
  write with [] (conf. 100)  (exp: & *(zv + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24503:7-24503:23)
  write with [] (conf. 110)  (exp: & NIL) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16655:3-16655:13)
  read with [] (conf. 110)  (exp: & *((K *)v + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24441:3-24441:30)
  read with [] (conf. 110)  (exp: & *((K *)v + i___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24529:5-24529:44)
[Warning][Race] Memory location (void ) (race with conf. 100):
  read with [] (conf. 80)  (exp: (void *)a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24386:5-24386:44)
  write with [] (conf. 100)  (exp: (void * __restrict  )v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24384:5-24384:75)
  write with [] (conf. 100)  (exp: (void * __restrict  )x___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24411:3-24411:81)
  write with [] (conf. 100)  (exp: (void * __restrict  )((I *)(k->k) + m)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24534:3-24534:146)
  write with [] (conf. 100)  (exp: (void * __restrict  )((F *)(k->k) + m)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24537:3-24537:146)
  write with [] (conf. 100)  (exp: (void * __restrict  )((S *)(k->k) + m)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24545:3-24545:146)
[Warning][Race] Memory location (struct k0 *) (race with conf. 100):
  write with [] (conf. 100)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24499:5-24499:20)
  write with [] (conf. 100)  (exp: & *(zv + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24503:7-24503:23)
[Warning][Race] Memory location fer (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17604:3-17604:14)
  write with [] (conf. 110)  (exp: & fer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14265:5-14265:16)
[Warning][Race] Memory location mUsed (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23855:3-23855:14)
  write with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24045:5-24045:19)
  write with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24216:5-24216:19)
  write with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24257:3-24257:17)
  write with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24323:3-24323:17)
  write with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24373:7-24373:31)
  write with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24394:5-24394:19)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24045:5-24045:19)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24216:5-24216:19)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24217:9-24217:21)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24218:7-24218:19)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24257:3-24257:17)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24258:7-24258:19)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24259:5-24259:17)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24323:3-24323:17)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24373:7-24373:31)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24374:11-24374:23)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24375:9-24375:21)
  read with [] (conf. 110)  (exp: & mUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24394:5-24394:19)
[Warning][Deadcode][CWE-571] condition 's' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16724:7-16724:8)
[Warning][Race] Memory location mAlloc (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23856:3-23856:15)
  write with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24043:7-24043:22)
  write with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24214:3-24214:24)
  write with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24372:7-24372:32)
  write with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24393:5-24393:20)
  read with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24043:7-24043:22)
  read with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24214:3-24214:24)
  read with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24372:7-24372:32)
  read with [] (conf. 110)  (exp: & mAlloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24393:5-24393:20)
[Warning][Race] Memory location offsetAt (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14175:3-14175:12)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offsetAt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16641:3-16641:25)
[Warning][Race] Memory location DT[?].func (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16048:4-16190:82)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 110)  (exp: & DT[i].func) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16206:10-16206:57)
[Warning][Deadcode][CWE-570] condition '! a' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24480:7-24480:10)
[Warning][Deadcode][CWE-570] condition '! n' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24483:7-24483:10)
[Warning][Race] Memory location _done (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24880:10-24880:23)
  write with [] (conf. 110)  (exp: & _done) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24887:5-24887:18)
  read with [] (conf. 110)  (exp: & _done) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24886:7-24886:14)
  read with [] (conf. 110)  (exp: & _done) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24889:3-24889:17)
[Warning][Race] Memory location offsetSSR (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14173:3-14173:13)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offsetSSR) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16649:3-16649:26)
[Warning][Race] Memory location KP[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23854:3-23854:10)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & *L___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24252:5-24252:19)
  write with [] (conf. 110)  (exp: & *L___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & KP[r]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24322:3-24322:12)
  read with [] (conf. 110)  (exp: & *L___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24235:7-24235:15)
  read with [] (conf. 110)  (exp: & *L___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24238:7-24238:58)
  read with [] (conf. 110)  (exp: & *L___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24254:3-24254:18)
  read with [] (conf. 110)  (exp: & KP[r]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
[Warning][Race] Memory location offsetDot (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14176:3-14176:13)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offsetDot) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16643:3-16643:26)
[Warning][Race] Memory location DT_VERB_OFFSET (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6975:3-6975:18)
  write with [] (conf. 110)  (exp: & DT_VERB_OFFSET) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16630:3-16630:43)
[Warning][Race] Memory location mMap (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:23857:3-23857:13)
  write with [] (conf. 110)  (exp: & mMap) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24040:7-24040:20)
  read with [] (conf. 110)  (exp: & mMap) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24040:7-24040:20)
[Warning][Race] Memory location offsetEach (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14240:3-14240:14)
  write with [] (conf. 110)  (exp: & offsetEach) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16634:3-16634:39)
[Warning][Race] Memory location SEED (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5828:3-5828:8)
  write with [] (conf. 110)  (exp: & SEED) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16725:5-16725:13)
  read with [] (conf. 110)  (exp: & SEED) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16730:3-16730:44)
[Warning][Race] Memory location offsetScan (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14239:3-14239:14)
  write with [] (conf. 110)  (exp: & offsetScan) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16633:3-16633:39)
[Warning][Race] Memory location offsetEachright (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14241:3-14241:19)
  write with [] (conf. 110)  (exp: & offsetEachright) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16635:3-16635:49)
[Warning][Race] Memory location KFIXED (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10088:3-10088:10)
  write with [] (conf. 100)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24499:5-24499:20)
  write with [] (conf. 100)  (exp: & *(zv + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24503:7-24503:23)
  write with [] (conf. 110)  (exp: & KFIXED) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16656:3-16656:30)
  write with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24436:5-24436:11)
  write with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24507:5-24507:11)
  write with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24515:5-24515:11)
  read with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24427:3-24427:9)
  read with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24435:7-24435:46)
  read with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24486:3-24486:9)
  read with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24514:7-24514:46)
  read with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24557:3-24557:14)
  read with [] (conf. 110)  (exp: & *a) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24579:7-24579:20)
[Warning][Race] Memory location mti (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6892:12-6892:21)
  write with [] (conf. 110)  (exp: & mti) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6899:3-6899:10)
  write with [] (conf. 110)  (exp: & mti) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6902:5-6902:11)
  read with [] (conf. 110)  (exp: & mti) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6900:10-6900:19)
  read with [] (conf. 110)  (exp: & mti) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6901:5-6901:102)
  read with [] (conf. 110)  (exp: & mti) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6902:5-6902:11)
[Warning][Race] Memory location DT_ADVERB_OFFSET (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6974:3-6974:20)
  write with [] (conf. 110)  (exp: & DT_ADVERB_OFFSET) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16629:3-16629:45)
[Warning][Deadcode][CWE-570] condition '! k' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26426:7-26426:10)
[Error][Analyzer][Unsound] both branches over condition '! s' are dead (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26433:7-26433:10)
[Warning][Deadcode][CWE-570] condition 'a' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15415:7-15415:8)
[Warning][Race] Memory location offsetWhat (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14174:3-14174:14)
  read with [] (conf. 80)  (exp: (V )x___0 - o) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24033:5-24033:48)
  write with [] (conf. 100)  (exp: & *((V *)y)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24248:9-24248:26)
  write with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24256:3-24256:13)
  write with [] (conf. 100)  (exp: v) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24320:3-24320:27)
  write with [] (conf. 100)  (exp: & *((V *)v)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24321:3-24321:20)
  read with [] (conf. 100)  (exp: & *((V *)(x___0->k) + (2LL + i___0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24017:5-24017:47)
  read with [] (conf. 100)  (exp: & *z) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24255:3-24255:14)
  write with [] (conf. 110)  (exp: & offsetWhat) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16639:3-16639:27)
[Warning][Race] Memory location mt[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6891:27-6891:35)
  write with [] (conf. 110)  (exp: & mt[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6898:3-6898:15)
  write with [] (conf. 110)  (exp: & mt[mti]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6901:5-6901:102)
  read with [] (conf. 110)  (exp: & mt[mti - 1]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6901:5-6901:102)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 3
  vulnerable: 0
  unsafe: 43
  total memory locations: 46
[Error][Analyzer][Unsound] Both branches dead
