./goblint --conf conf/examples/large-program.json --enable ana.context.widen --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/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: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stdout, NoOffset))), CastE(TPtr(TInt(char, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2096:3-2096:70)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2096:3-2096:70)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1746:3-1746:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(id, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1784:3-1784:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(rc, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1792:5-1792:31)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(rc, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1755:5-1755:32)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(rc, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1762:5-1762:41)
[Info][Imprecise] Invalidating expressions: Lval(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1665:5-1665:15)
[Info][Unsound] Unknown address in fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1665:5-1665:15)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1665:5-1665:15)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1665:5-1665:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1673:7-1673:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1675:9-1675:93)
[Info][Unsound] Unknown address in {&fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1675:9-1675:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1675:9-1675:93)
[Info][Unsound] Unknown value in {&output_notice} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1452:3-1452:35)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(thread_attr, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1454:3-1454:35)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(thread_attr, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1455:3-1455:58)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(thread_attr, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1456:3-1456:48)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1457:3-1457:34)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(pthread_attr_t, TComp(union pthread_attr_t, __size : TArray(TInt(char, ), Some(Const(Int(56,int,56))), ), __align : TInt(long, ), , ), ),  __restrict  ), AddrOf(Var(thread_attr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1459:3-1459:140)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:743:8-743:84)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:599:8-599:89)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1945:8-1945:61)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1957:8-1957:61)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Unknown] unlocking mutex (output_lock) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1882:3-1882:38)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:912:8-912:88)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(cur_t, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1893:3-1893:16)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct tm, tm_sec : TInt(int, ), tm_min : TInt(int, ), tm_hour : TInt(int, ), tm_mday : TInt(int, ), tm_mon : TInt(int, ), tm_year : TInt(int, ), tm_wday : TInt(int, ), tm_yday : TInt(int, ), tm_isdst : TInt(int, ), tm_gmtoff : TInt(long, ), tm_zone : TPtr(TInt(char,  const  ), ), , ),  __restrict  ), AddrOf(Var(cur_tm, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1894:3-1894:90)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(cur_system_time, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1895:3-1896:54)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1906:3-1906:17)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(cur_process_info, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1907:3-1908:16)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1918:3-1918:23)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(cur_thread_info, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1919:3-1920:16)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(line_num, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:844:7-845:21)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), PlusPI(StartOf(Var(log_buf, NoOffset)), Lval(Var(log_len, NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:65)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fmt_result, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:65)
[Info][Unsound] Unknown value in {&output_notice} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1406:3-1406:28)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1599:8-1599:70)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1611:8-1611:66)
[Info][Imprecise] Invalidating expressions: Lval(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
[Info][Unsound] Unknown address in fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1541:3-1541:45)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1544:3-1545:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1546:3-1547:15)
[Info][Imprecise] Invalidating expressions: Lval(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
[Info][Unsound] Unknown address in fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), PlusPI(StartOf(Var(oldpath, NoOffset)), Lval(Var(base, NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1556:5-1557:20)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), PlusPI(StartOf(Var(newpath, NoOffset)), Lval(Var(base, NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1558:5-1559:16)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp_fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:87)
[Info][Unsound] Unknown address in {&tmp_fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:87)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:87)
[Info][Imprecise] Invalidating expressions: Lval(Var(tmp_fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1562:7-1562:21)
[Info][Unsound] Unknown address in tmp_fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1562:7-1562:21)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1562:7-1562:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1562:7-1562:21)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp_fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:87)
[Info][Unsound] Unknown address in {&tmp_fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:87)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:87)
[Info][Imprecise] Invalidating expressions: Lval(Var(tmp_fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1567:7-1567:21)
[Info][Unsound] Unknown address in tmp_fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1567:7-1567:21)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1567:7-1567:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1567:7-1567:21)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(err, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1568:7-1568:69)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
[Info][Unsound] Unknown address in {&fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
[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(fp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
[Info][Unsound] Unknown address in (FILE * __restrict  )fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
[Info][Imprecise] Invalidating expressions: Lval(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
[Info][Unsound] Unknown address in fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
[Info][Unsound] Unknown value in {&output_notice} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1418:5-1418:30)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:440:8-440:92)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:396:8-396:85)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:348:10-349:42)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(dump_string, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1223:9-1224:26)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(dump_string, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1199:9-1200:61)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(log_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1185:5-1186:70)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fmt_result, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1185:5-1186:70)
[Warning][Deadcode] Function 'elog_deinit' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:289:1-302:1)
[Warning][Deadcode] Function 'elog_stop' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:318:1-332:1)
[Warning][Deadcode] Function 'elog_get_text_color_enabled' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:366:1-373:1)
[Warning][Deadcode] Function 'elog_get_output_enabled' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:374:1-381:1)
[Warning][Deadcode] Function 'elog_set_filter' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:403:1-425:1)
[Warning][Deadcode] Function 'elog_set_filter_tag' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:447:1-456:1)
[Warning][Deadcode] Function 'elog_set_filter_kw' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:457:1-466:1)
[Warning][Deadcode] Function 'elog_set_filter_tag_lvl' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:511:1-582:1)
[Warning][Deadcode] Function 'elog_raw' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:624:1-653:1)
[Warning][Deadcode] Function 'elog_assert_set_hook' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:946:1-954:1)
[Warning][Deadcode] Function 'elog_find_lvl' is uncalled: 45 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:955:1-1067:1)
[Warning][Deadcode] Function 'elog_find_tag' is uncalled: 32 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1068:1-1142:1)
[Warning][Deadcode] Function 'elog_async_deinit' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1467:1-1482:1)
[Warning][Deadcode] Function 'elog_file_deinit' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1632:1-1657:1)
[Warning][Deadcode] Function 'elog_file_port_deinit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1728:1-1736:1)
[Warning][Deadcode] Function 'lock_deinit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1812:1-1820:1)
[Warning][Deadcode] Function 'elog_port_deinit' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1848:1-1857:1)
[Warning][Deadcode] Function 'elog_cpyln' is uncalled: 29 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1976:1-2035:1)
[Warning][Deadcode] Function 'elog_memcpy' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2036:1-2085:1)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'elog_async_get_log' has dead code:
  on line 1356 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1356-1356)
[Warning][Deadcode] Function 'elog_file_write' has dead code:
  on line 1599 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1599-1599)
  on lines 1603..1604 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1603-1604)
  on line 1607 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1607-1607)
  on line 1611 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1611-1611)
[Warning][Deadcode] Function 'elog_get_filter_tag_lvl' has dead code:
  on lines 591..592 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:591-592)
  on line 595 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:595-595)
  on line 599 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:599-599)
  on lines 611..613 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:611-613)
[Warning][Deadcode] Function 'elog_init' has dead code:
  on line 271 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:271-271)
  on line 275 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:275-275)
[Warning][Deadcode] Function 'elog_output' has dead code:
  on line 743 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:743-743)
  on lines 880..884 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:880-884)
[Warning][Deadcode] Function 'elog_set_filter_lvl' has dead code:
  on lines 432..433 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:432-433)
  on line 436 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:436-436)
  on line 440 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:440-440)
[Warning][Deadcode] Function 'elog_set_fmt' has dead code:
  on line 396 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:396-396)
[Warning][Deadcode] Function 'elog_set_output_enabled' has dead code:
  on lines 340..341 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:340-341)
  on line 344 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:344-344)
  on line 348 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:348-348)
[Warning][Deadcode] Function 'elog_strcpy' has dead code:
  on lines 1937..1938 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1937-1938)
  on line 1941 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1941-1941)
  on line 1945 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1945-1945)
  on lines 1949..1950 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1949-1950)
  on line 1953 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1953-1953)
  on line 1957 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1957-1957)
[Warning][Deadcode] Function 'get_fmt_enabled' has dead code:
  on line 912 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:912-912)
[Warning][Deadcode] Function 'main' has dead code:
  on line 2107 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2107-2107)
[Warning][Deadcode] Function 'test_elog' has dead code:
  on line 2140 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2140-2140)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 560
  dead: 279 (238 in uncalled functions)
  total lines: 839
[Warning][Race] Memory location semid (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1690:12-1690:22)
  write with [] (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1767:3-1767:13)
  read with [] (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1711:7-1711:22)
  read with lock:{output_lock} (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1711:7-1711:22)
  read with [] (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1712:5-1712:56)
  read with lock:{output_lock} (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1712:5-1712:56)
  read with [] (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1722:7-1722:22)
  read with lock:{output_lock} (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1722:7-1722:22)
  read with [] (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1723:5-1723:54)
  read with lock:{output_lock} (conf. 110)  (exp: & semid) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1723:5-1723:54)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )tag != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:590:7-590:61)
[Warning][Race] Memory location thread_running (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1272:14-1272:39)
  write with [] (conf. 110)  (exp: & thread_running) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1453:3-1453:28)
  read with [] (conf. 110)  (exp: & thread_running) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1417:10-1417:24)
  read with lock:{output_lock} (conf. 110)  (exp: & thread_running) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1417:10-1417:24)
[Warning][Deadcode][CWE-571] condition '(unsigned long )elog_assert_hook == (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:904:9-904:72)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:908:14-908:15)
[Warning][Race] Memory location buf_is_empty (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1278:14-1278:37)
  write with [] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1338:3-1338:26)
  write with lock:{output_lock} (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1338:3-1338:26)
  write with [] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1361:5-1361:28)
  write with lock:{output_lock} (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1361:5-1361:28)
  read with [] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1289:9-1289:23)
  read with lock:{output_lock} (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1289:9-1289:23)
[Warning][Deadcode][CWE-570] condition '(int )elog.filter.tag_lvl[i].tag_use_flag == 1' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:610:9-610:55)
[Warning][Race] Memory location fp (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1505:13-1505:38)
  write with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
  write with lock:{output_lock} (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
  write with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1666:5-1666:29)
  write with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1675:9-1675:93)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
  read with lock:{output_lock} (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
  read with lock:{output_lock} (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
  read with lock:{output_lock} (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
  read with lock:{output_lock} (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
  read with lock:{output_lock} (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1664:7-1664:9)
  read with [] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1665:5-1665:15)
[Warning][Race] Memory location read_index (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1276:15-1276:38)
  write with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
  write with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
  write with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
  write with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1363:7-1363:34)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1363:7-1363:34)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
  read with [] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
  read with lock:{output_lock} (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
[Warning][Deadcode][CWE-571] condition '(unsigned long )cfg != (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1668:7-1668:57)
[Warning][Race] Memory location cur_system_time[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1886:13-1886:44)
  write with [] (conf. 110)  (exp: (char * __restrict  )(cur_system_time)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1895:3-1896:54)
  write with lock:{output_lock} (conf. 110)  (exp: (char * __restrict  )(cur_system_time)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1895:3-1896:54)
  read with [] (conf. 110)  (exp: & cur_system_time) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1895:3-1896:54)
  read with lock:{output_lock} (conf. 110)  (exp: & cur_system_time) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1895:3-1896:54)
  read with [] (conf. 110)  (exp: & *src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
  read with lock:{output_lock} (conf. 110)  (exp: & *src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
  read with [] (conf. 110)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
  read with lock:{output_lock} (conf. 110)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Deadcode][CWE-570] condition '(unsigned int )result != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:270:7-270:34)
[Warning][Deadcode][CWE-570] condition '(unsigned int )result != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:274:7-274:34)
[Warning][Race] Memory location write_index (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1275:15-1275:39)
  write with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
  write with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
  write with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
  write with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1327:7-1327:35)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1327:7-1327:35)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  read with [] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
  read with lock:{output_lock} (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
[Warning][Race] Memory location elog.enabled_fmt_set[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.enabled_fmt_set[level]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:399:3-399:36)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.enabled_fmt_set[level]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:399:3-399:36)
  read with [] (conf. 110)  (exp: & elog.enabled_fmt_set[level]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:915:7-915:40)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.enabled_fmt_set[level]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:915:7-915:40)
[Warning][Race] Memory location elog.filter.level (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.filter.level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:443:3-443:28)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.filter.level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:443:3-443:28)
  read with [] (conf. 110)  (exp: & elog.filter.level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:749:7-749:44)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.filter.level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:749:7-749:44)
  read with [] (conf. 110)  (exp: & elog.filter.level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1174:7-1174:34)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.filter.level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1174:7-1174:34)
[Warning][Race] Memory location elog.filter.tag_lvl[?].level (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.filter.tag_lvl[i].level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:504:5-504:47)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.filter.tag_lvl[i].level) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:504:5-504:47)
[Warning][Race] Memory location elog.filter.tag_lvl[?].tag[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: (void *)(elog.filter.tag_lvl[i].tag)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503:70)
  write with lock:{output_lock} (conf. 110)  (exp: (void *)(elog.filter.tag_lvl[i].tag)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503:70)
[Warning][Race] Memory location elog.filter.tag_lvl[?].tag_use_flag (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.filter.tag_lvl[i].tag_use_flag) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:505:5-505:51)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.filter.tag_lvl[i].tag_use_flag) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:505:5-505:51)
  read with [] (conf. 110)  (exp: & elog.filter.tag_lvl[i].tag_use_flag) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:610:9-610:55)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.filter.tag_lvl[i].tag_use_flag) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:610:9-610:55)
[Warning][Race] Memory location elog.init_ok (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:283:3-283:26)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:283:3-283:26)
  read with [] (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:266:7-266:30)
  read with [] (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:308:7-308:21)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:308:7-308:21)
  read with [] (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:604:7-604:21)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:604:7-604:21)
[Warning][Race] Memory location elog.output_enabled (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.output_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:353:3-353:32)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.output_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:353:3-353:32)
  read with [] (conf. 110)  (exp: & elog.output_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:746:7-746:28)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.output_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:746:7-746:28)
  read with [] (conf. 110)  (exp: & elog.output_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1171:7-1171:28)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.output_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1171:7-1171:28)
[Warning][Race] Memory location elog.output_is_locked_before_disable (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:279:3-279:50)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:279:3-279:50)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:474:5-474:52)
  write with [] (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:488:5-488:52)
  read with [] (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:929:9-929:47)
  read with [] (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:937:9-937:45)
[Warning][Race] Memory location elog.output_is_locked_before_enable (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:278:3-278:49)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:278:3-278:49)
  write with [] (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:476:5-476:51)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:476:5-476:51)
  write with [] (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:490:5-490:51)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:490:5-490:51)
  read with [] (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:930:11-930:46)
  read with [] (conf. 110)  (exp: & elog.output_is_locked_before_enable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:938:11-938:48)
[Warning][Race] Memory location elog.output_lock_enabled (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:927:3-927:37)
  read with [] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:472:7-472:31)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:472:7-472:31)
  read with [] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:486:7-486:31)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:486:7-486:31)
  read with [] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:928:7-928:31)
[Warning][Race] Memory location elog.text_color_enabled (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:248:19-248:24)
  write with [] (conf. 110)  (exp: & elog.text_color_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:362:3-362:36)
  write with lock:{output_lock} (conf. 110)  (exp: & elog.text_color_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:362:3-362:36)
  read with [] (conf. 110)  (exp: & elog.text_color_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:764:7-764:30)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.text_color_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:764:7-764:30)
  read with [] (conf. 110)  (exp: & elog.text_color_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:887:7-887:30)
  read with lock:{output_lock} (conf. 110)  (exp: & elog.text_color_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:887:7-887:30)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2129:10-2129:11)
[Warning][Deadcode][CWE-571] condition '! ((int )enabled == 0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:338:7-338:29)
[Warning][Deadcode][CWE-570] condition '! ((int )enabled == 1)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:339:9-339:31)
[Warning][Deadcode][CWE-570] condition '! size' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1355:7-1355:13)
[Warning][Deadcode][CWE-571] condition '(unsigned long )elog_assert_hook == (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:735:9-735:72)
[Warning][Race] Memory location log_buf[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:249:13-249:37)
  write with [] (conf. 110)  (exp: (char * __restrict  )(log_buf + log_len)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:65)
  write with lock:{output_lock} (conf. 110)  (exp: (char * __restrict  )(log_buf + log_len)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:65)
  write with [] (conf. 110)  (exp: (char * __restrict  )(log_buf)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1185:5-1186:70)
  write with lock:{output_lock} (conf. 110)  (exp: (char * __restrict  )(log_buf)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1185:5-1186:70)
  write with [] (conf. 110)  (exp: & *tmp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
  write with lock:{output_lock} (conf. 110)  (exp: & *tmp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )((log + 25600) - write_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )((log + 25600) - write_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
  read with [] (conf. 110)  (exp: log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1863:3-1863:60)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:739:14-739:15)
[Warning][Deadcode][CWE-571] condition '(unsigned long )elog_assert_hook == (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:388:9-388:72)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:392:14-392:15)
[Warning][Race] Memory location init_ok___0 (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1504:14-1504:36)
  write with [] (conf. 110)  (exp: & init_ok___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1522:3-1522:25)
  read with [] (conf. 110)  (exp: & init_ok___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1514:7-1514:18)
  read with [] (conf. 110)  (exp: & init_ok___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1590:7-1590:20)
  read with lock:{output_lock} (conf. 110)  (exp: & init_ok___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1590:7-1590:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1419:12-1419:13)
[Warning][Deadcode][CWE-570] condition '! ((int )level <= 5)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:431:7-431:27)
[Warning][Race] Memory location local_cfg.max_rotate (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1506:20-1506:30)
  write with [] (conf. 110)  (exp: & local_cfg.max_rotate) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1671:5-1671:43)
  read with [] (conf. 110)  (exp: & local_cfg.max_rotate) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1549:3-1549:31)
  read with lock:{output_lock} (conf. 110)  (exp: & local_cfg.max_rotate) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1549:3-1549:31)
[Warning][Race] Memory location local_cfg.max_size (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1506:20-1506:30)
  write with [] (conf. 110)  (exp: & local_cfg.max_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1670:5-1670:39)
  read with [] (conf. 110)  (exp: & local_cfg.max_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1618:3-1618:82)
  read with lock:{output_lock} (conf. 110)  (exp: & local_cfg.max_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1618:3-1618:82)
[Warning][Race] Memory location local_cfg.name (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1506:20-1506:30)
  write with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1669:5-1669:31)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1541:3-1541:45)
  read with lock:{output_lock} (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1541:3-1541:45)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1544:3-1545:15)
  read with lock:{output_lock} (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1544:3-1545:15)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1546:3-1547:15)
  read with lock:{output_lock} (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1546:3-1547:15)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
  read with lock:{output_lock} (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:87)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1672:9-1672:70)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1673:7-1673:49)
  read with [] (conf. 110)  (exp: & local_cfg.name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1675:9-1675:93)
[Warning][Race] Memory location init_ok (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1271:14-1271:32)
  write with [] (conf. 110)  (exp: & init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1463:3-1463:21)
  read with [] (conf. 110)  (exp: & init_ok) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1449:7-1449:14)
[Warning][Race] Memory location buf_is_full (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1277:14-1277:36)
  write with [] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1325:5-1325:27)
  write with lock:{output_lock} (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1325:5-1325:27)
  write with [] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1374:3-1374:25)
  write with lock:{output_lock} (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1374:3-1374:25)
  read with [] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1288:7-1288:20)
  read with lock:{output_lock} (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1288:7-1288:20)
  read with [] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1296:7-1296:18)
  read with lock:{output_lock} (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1296:7-1296:18)
[Warning][Deadcode][CWE-570] condition '! dst' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1936:7-1936:12)
[Warning][Race] Memory location is_enabled (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1273:14-1273:35)
  write with [] (conf. 110)  (exp: & is_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1436:3-1436:23)
  write with lock:{output_lock} (conf. 110)  (exp: & is_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1436:3-1436:23)
  read with [] (conf. 110)  (exp: & is_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1386:7-1386:17)
  read with lock:{output_lock} (conf. 110)  (exp: & is_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1386:7-1386:17)
[Warning][Deadcode][CWE-570] condition '! src' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1948:7-1948:12)
[Warning][Race] Memory location log_buf___0[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1274:13-1274:43)
  write with [] (conf. 110)  (exp: (void * __restrict  )(log_buf___0 + write_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
  write with lock:{output_lock} (conf. 110)  (exp: (void * __restrict  )(log_buf___0 + write_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
  write with [] (conf. 110)  (exp: (void * __restrict  )(log_buf___0 + write_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
  write with lock:{output_lock} (conf. 110)  (exp: (void * __restrict  )(log_buf___0 + write_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
  write with [] (conf. 110)  (exp: (void * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  write with lock:{output_lock} (conf. 110)  (exp: (void * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0 + read_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0 + read_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0 + read_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0 + read_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
[Warning][Race] Memory location cur_thread_info[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1912:13-1912:44)
  write with [] (conf. 110)  (exp: (char * __restrict  )(cur_thread_info)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1919:3-1920:16)
  write with lock:{output_lock} (conf. 110)  (exp: (char * __restrict  )(cur_thread_info)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1919:3-1920:16)
  read with [] (conf. 110)  (exp: & *src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
  read with lock:{output_lock} (conf. 110)  (exp: & *src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
  read with [] (conf. 110)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
  read with lock:{output_lock} (conf. 110)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Race] Memory location async_output_thread (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1270:18-1270:38)
  write with [] (conf. 110)  (exp: (pthread_t * __restrict  )(& async_output_thread)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:66)
  write with [] (conf. 110)  (exp: & *((pthread_t * __restrict  )(& async_output_thread))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:66)
[Warning][Race] Memory location poll_get_buf[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1410:13-1410:33)
  write with [] (conf. 110)  (exp: (void * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
  write with lock:{output_lock} (conf. 110)  (exp: (void * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
  write with [] (conf. 110)  (exp: (void * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
  write with lock:{output_lock} (conf. 110)  (exp: (void * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
  write with [] (conf. 110)  (exp: (void * __restrict  )((log + 25600) - read_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
  write with lock:{output_lock} (conf. 110)  (exp: (void * __restrict  )((log + 25600) - read_index)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
  read with [] (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
  read with lock:{output_lock} (conf. 110)  (exp: (void const   * __restrict  )log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:82)
  read with [] (conf. 110)  (exp: log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1863:3-1863:60)
  read with lock:{output_lock} (conf. 110)  (exp: log) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1863:3-1863:60)
[Warning][Deadcode][CWE-571] condition '(unsigned long )elog_assert_hook == (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1591:9-1591:72)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1595:14-1595:15)
[Warning][Race] Memory location cur_process_info[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1900:13-1900:45)
  write with [] (conf. 110)  (exp: (char * __restrict  )(cur_process_info)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1907:3-1908:16)
  write with lock:{output_lock} (conf. 110)  (exp: (char * __restrict  )(cur_process_info)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1907:3-1908:16)
  read with [] (conf. 110)  (exp: & *src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
  read with lock:{output_lock} (conf. 110)  (exp: & *src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:31)
  read with [] (conf. 110)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
  read with lock:{output_lock} (conf. 110)  (exp: & *tmp___0) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Deadcode][CWE-570] condition '(int )elog.filter.keyword[0] != 0' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:879:7-879:40)
[Warning][Deadcode][CWE-570] condition '! log' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1602:7-1602:12)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 10
  vulnerable: 0
  unsafe: 31
  total memory locations: 41
[Warning][Unsound][Call] No suitable function to call
