./goblint --conf conf/svcomp24.json --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.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:3-507:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:548:3-556:3 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:568:5-577:5 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:3-618:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:3-727:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:3-733:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1057:3-1064:3 with factor 5
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:3-1170:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1197:5-1212:5 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1216:5-1229:5 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1419:5-1426:5 with factor 8
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1550:3-1575:3 with factor 1
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1791:3-1802:3 with factor 4
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:3-1972:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2014:3-2032:3 with factor 2
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2071:3-2082:3 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:3-2122:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:3-2128:3 with factor 12
unrolling loop at /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2129:3-2138:3 with factor 3
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 91
functionCalls: 418
loops: 56
loopBreaks: 0
controlFlowStatements: 909
expressions: 6182
instructions: 1110
integralVars: (14,177)
arrayVars: (10,6)
pointerVars: (3,65)

Complexity estimates:
File: 2001456
function elog_get_filter_tag_lvl is recursive, disable interval and interval_set contexts
function elog_output is recursive, disable interval and interval_set contexts
function elog_strcpy is recursive, disable interval and interval_set contexts
function get_fmt_enabled is recursive, disable interval and interval_set contexts
Total: 2001456
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )

runtime: 00:00:10.208
vars: 24738, evals: 46526

|rho|=24738
|stable|=22915
|infl|=24705
|wpoint|=27
|sides|=1090
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=22716
|called|=33
Found 820 contexts for 38 functions. Top 5 functions:
326	contexts for L:entry state of elog_strcpy (421) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1927:1-1975:1
210	contexts for L:entry state of get_fmt_enabled (2835) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:898:1-921:1
30	contexts for L:entry state of elog_port_output_lock (488) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1868:1-1876:1
30	contexts for L:entry state of elog_output_lock (544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:467:1-480:1
21	contexts for L:entry state of elog_output_unlock (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:481:1-494:1

Memory statistics: total=26118.62MB, max=149.94MB, minor=26111.57MB, major=292.42MB, promoted=285.36MB
    minor collections=12461  major collections=21 compactions=0


runtime: 00:00:20.278
vars: 44271, evals: 88644

|rho|=44271
|stable|=42176
|infl|=44262
|wpoint|=52
|sides|=1771
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=40904
|called|=39
Found 1455 contexts for 42 functions. Top 5 functions:
591	contexts for L:entry state of elog_strcpy (421) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1927:1-1975:1
360	contexts for L:entry state of get_fmt_enabled (2835) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:898:1-921:1
47	contexts for L:entry state of elog_port_output_lock (488) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1868:1-1876:1
47	contexts for L:entry state of elog_output_lock (544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:467:1-480:1
35	contexts for L:entry state of elog_output_unlock (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:481:1-494:1

Memory statistics: total=52512.53MB, max=262.25MB, minor=52501.98MB, major=558.18MB, promoted=547.63MB
    minor collections=25047  major collections=25 compactions=0


runtime: 00:00:30.317
vars: 47864, evals: 109926

|rho|=47864
|stable|=45580
|infl|=47854
|wpoint|=53
|sides|=1882
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=44277
|called|=30
Found 1564 contexts for 42 functions. Top 5 functions:
637	contexts for L:entry state of elog_strcpy (421) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1927:1-1975:1
390	contexts for L:entry state of get_fmt_enabled (2835) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:898:1-921:1
51	contexts for L:entry state of elog_port_output_lock (488) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1868:1-1876:1
51	contexts for L:entry state of elog_output_lock (544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:467:1-480:1
37	contexts for L:entry state of elog_output_unlock (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:481:1-494:1

Memory statistics: total=77670.92MB, max=346.83MB, minor=77660.09MB, major=748.21MB, promoted=737.39MB
    minor collections=37045  major collections=27 compactions=0


runtime: 00:00:40.328
vars: 51266, evals: 133182

|rho|=51266
|stable|=38279
|infl|=51265
|wpoint|=66
|sides|=2041
|side_dep|=0
|side_infl|=0
|var_messages|=0
|rho_write|=0
|dep|=47379
|called|=31
Found 1703 contexts for 42 functions. Top 5 functions:
675	contexts for L:entry state of elog_strcpy (421) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1927:1-1975:1
405	contexts for L:entry state of get_fmt_enabled (2835) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:898:1-921:1
58	contexts for L:entry state of elog_port_output_lock (488) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1868:1-1876:1
58	contexts for L:entry state of elog_output_lock (544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:467:1-480:1
46	contexts for L:entry state of elog_output_unlock (546) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:481:1-494:1

Memory statistics: total=103398.23MB, max=346.83MB, minor=103387.13MB, major=937.75MB, promoted=926.65MB
    minor collections=49314  major collections=29 compactions=0

[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:72)
[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:1792:5-1792:31)
[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:1792:5-1792:31)
[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: AddrOf(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1675:9-1675:99)
[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)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1458:3-1458:46)
[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:144)
[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][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1617:3-1617:27)
[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:93)
[Info][Unsound] Unknown address in {&tmp_fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:93)
[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:93)
[Info][Unsound] Unknown address in {&tmp_fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:93)
[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:73)
[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:93)
[Info][Unsound] Unknown address in {&tmp_fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1560:5-1560:93)
[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:93)
[Info][Unsound] Unknown address in {&tmp_fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1565:5-1565:93)
[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:73)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
[Info][Unsound] Unknown address in {&fp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
[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:86)
[Info][Unsound] Unknown address in (FILE * __restrict  )fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
[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)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1351:7-1351:13)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1363:7-1363:34)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1363:7-1363:34)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1364:5-1365:17)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1368:5-1369:33)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
[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:440:8-440:92)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503:70)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503:70)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503:70)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503:70)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:503:5-503: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: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)
[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)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:756:7-756:63)
[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:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1960:10-1960:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1962:5-1962:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1965:7-1965:13)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1973:3-1973:36)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:767:5-767:80)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1936:7-1936:12)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1962:5-1962:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1965:7-1965:13)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1962:5-1962:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1965:7-1965:13)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1962:5-1962:15)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1965:7-1965:13)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1968:7-1968:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:768:5-768:23)
[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)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:772:5-772:80)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:773:5-773:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:777:5-777:59)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:778:5-778:23)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:781:7-781:86)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1967:7-1967:13)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1973:3-1973:36)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:782:7-782:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:784:5-784:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:785:5-785:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:789:5-789:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:790:5-790:24)
[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:94)
[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:57)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1895:3-1896:57)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:794:7-794:67)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:795:7-795:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:798:9-798:64)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:799:9-799:28)
[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][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1907:3-1908:16)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:805:7-805:67)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:806:7-806:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:809:9-809:64)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:810:9-810:28)
[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][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1919:3-1920:16)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:816:7-816:67)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:817:7-817:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:819:5-819:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:820:5-820:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:824:5-824:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:825:5-825:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:828:7-828:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:829:7-829:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:832:9-832:64)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:833:9-833:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:837:11-837:66)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:838:11-838:30)
[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)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:846:7-846:85)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:847:7-847:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:850:9-850:64)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:851:9-851:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:856:7-856:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:857:7-857:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:859:5-859:60)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:860:5-860:24)
[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:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:68)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fmt_result, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:68)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:862:3-863:68)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:865:7-865:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:865:7-865:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:867:7-867:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:874:8-874:66)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:874:8-874:66)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:888:5-888:66)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:889:5-889:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:891:3-891:59)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:892:3-892:22)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2126:5-2126:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2127:5-2127:9)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1309:3-1309:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1319:7-1319:14)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1327:7-1327:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1327:7-1327:35)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1328:5-1329:17)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1332:5-1333:34)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1177:5-1177:62)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1218:13-1218:85)
[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)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1226:9-1226:58)
[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:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1206:7-1206:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1209:9-1209:58)
[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)
[Info][Unsound] Access to unknown address could be global (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1185:5-1186:70)
[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:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1206:7-1206:56)
[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:63)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1206:7-1206:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1214:5-1214:54)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1218:13-1218:85)
[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)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1226:9-1226:58)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1218:13-1218:85)
[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)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1226:9-1226:58)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1218:13-1218:85)
[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)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1226:9-1226:58)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1231:9-1231:43)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1236:5-1236:54)
[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 'async_output' has dead code:
  on line 1428 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1428-1428)
[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_async_init' has dead code:
  on line 1450 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1450-1450)
[Warning][Deadcode] Function 'elog_file_config' has dead code:
  on lines 1665..1666 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1665-1666)
[Warning][Deadcode] Function 'elog_file_write' has dead code:
  on lines 1591..1592 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1591-1592)
  on line 1595 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1595-1595)
  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 267 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:267-267)
  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 lines 735..736 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:735-736)
  on line 739 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:739-739)
  on line 743 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:743-743)
  on line 754 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:754-754)
  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 lines 388..389 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:388-389)
  on line 392 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:392-392)
  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 lines 904..905 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:904-905)
  on line 908 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:908-908)
  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: 542
  dead: 297 (238 in uncalled functions)
  total lines: 839
[Warning][Deadcode][CWE-570] condition 'init_ok' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1449:7-1449:14)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1791:10-1791:16)
[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-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-570] condition 'ds.sem_otime != 0L' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1797:9-1797:27)
[Warning][Deadcode][CWE-571] condition '(int )j < (int )width' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1216:12-1216:33)
[Warning][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1791:10-1791:16)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:10-609:21)
[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][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-570] condition '! ((int )level <= 5)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:903:7-903:27)
[Warning][Deadcode][CWE-570] condition 'ds.sem_otime != 0L' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1797:9-1797:27)
[Warning][Deadcode][CWE-570] condition 'init_ok___0' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1514:7-1514:18)
[Warning][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1791:10-1791:16)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:10-609:21)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167: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][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-570] condition 'ds.sem_otime != 0L' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1797:9-1797:27)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[Warning][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:10-609:21)
[Warning][Deadcode][CWE-571] condition 'n >= 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1550:10-1550:16)
[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][Deadcode][CWE-571] condition 'n' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1551:9-1551:10)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[Warning][Deadcode][CWE-570] condition '(int )elog.init_ok == 1' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:266:7-266:30)
[Warning][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-570] condition 'ds.sem_otime != 0L' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1797:9-1797:27)
[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-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:10-609:21)
[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][Deadcode][CWE-571] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[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][Deadcode][CWE-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[Warning][Deadcode][CWE-570] condition '! (tmp___2 >= 9U)' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:730:10-730:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[Warning][Race] Memory location fp (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1505:13-1505:42)
  write with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
  write with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
  write with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
  write with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1577:3-1577:93)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1548:3-1548:13)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1615:3-1615:19)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1616:3-1616:18)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1625:3-1625:86)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
  read with [region:{fp}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
  read with [region:{fp}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & fp) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1626:3-1626:13)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:10-609:21)
[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:25)
  write with [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & elog.output_is_locked_before_disable) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:488:5-488:52)
  write with [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [region:{elog.output_is_locked_before_disable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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:25)
  write with [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [region:{elog.output_is_locked_before_enable}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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:25)
  write with [region:{elog.output_lock_enabled}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:927:3-927:37)
  read with [region:{elog.output_lock_enabled}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:472:7-472:31)
  read with [region:{elog.output_lock_enabled}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:472:7-472:31)
  read with [region:{elog.output_lock_enabled}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:486:7-486:31)
  read with [region:{elog.output_lock_enabled}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & elog.output_lock_enabled) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:486:7-486:31)
[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][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[Warning][Race] Memory location buf_is_full (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1277:14-1277:40)
  write with [region:{buf_is_full}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1325:5-1325:27)
  write with [region:{buf_is_full}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1325:5-1325:27)
  write with [region:{buf_is_full}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1374:3-1374:25)
  write with [region:{buf_is_full}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1374:3-1374:25)
  read with [region:{buf_is_full}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1288:7-1288:20)
  read with [region:{buf_is_full}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1288:7-1288:20)
  read with [region:{buf_is_full}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1288:7-1288:20)
  read with [region:{buf_is_full}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1288:7-1288:20)
  read with [region:{buf_is_full}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1296:7-1296:18)
  read with [region:{buf_is_full}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1296:7-1296:18)
  read with [region:{buf_is_full}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1296:7-1296:18)
  read with [region:{buf_is_full}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_full) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1296:7-1296:18)
[Warning][Deadcode][CWE-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[Warning][Deadcode][CWE-570] condition '(int )i < 5' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:609:10-609:21)
[Warning][Deadcode][CWE-570] condition '! (tmp >= 8U)' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1167:10-1167:23)
[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-571] condition '(unsigned long )i < sizeof(buf)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2125:10-2125:41)
[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-570] condition '! dst' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1936:7-1936:12)
[Warning][Deadcode][CWE-570] condition '! ((int )level <= 5)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:734:7-734:27)
[Warning][Deadcode][CWE-570] condition '! init_ok___0' is always false (/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:2129:10-2129:11)
[Warning][Deadcode][CWE-570] condition '! ((int )level <= 5)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:387:7-387:27)
[Warning][Deadcode][CWE-570] condition '! src' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1948:7-1948:12)
[Warning][Deadcode][CWE-570] condition '! log' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1602:7-1602:12)
[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-570] condition '(int )level > (int )tmp___4' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:753:9-753:36)
[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 'thread_running' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1417:10-1417:24)
[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][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-571] condition '! (tmp___1 >= 6U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:10-724:27)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Race] Memory location buf_is_empty (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1278:14-1278:41)
  write with [region:{buf_is_empty}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1338:3-1338:26)
  write with [region:{buf_is_empty}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1338:3-1338:26)
  write with [region:{buf_is_empty}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1361:5-1361:28)
  write with [region:{buf_is_empty}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1361:5-1361:28)
  read with [region:{buf_is_empty}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1289:9-1289:23)
  read with [region:{buf_is_empty}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1289:9-1289:23)
  read with [region:{buf_is_empty}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1289:9-1289:23)
  read with [region:{buf_is_empty}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & buf_is_empty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1289:9-1289:23)
[Warning][Deadcode][CWE-571] condition 'tag_len <= 8UL' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:779:9-779:23)
[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 '! (tmp___1 >= 6U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:10-724:27)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[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-571] condition '! (tmp___1 >= 6U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:10-724:27)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Deadcode][CWE-571] condition '(int )j < (int )width' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1197:12-1197:33)
[Warning][Deadcode][CWE-571] condition '(int )i + (int )j < (int )size' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1198:11-1198:41)
[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 'fp' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1664:7-1664:9)
[Warning][Deadcode][CWE-571] condition '! (tmp___1 >= 6U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:10-724:27)
[Warning][Race] Memory location read_index (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1276:15-1276:42)
  write with [region:{read_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
  write with [region:{read_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1366:5-1366:23)
  write with [region:{read_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
  write with [region:{read_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1372:5-1372:33)
  read with [region:{read_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with [region:{read_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with [region:{read_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with [region:{read_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with [region:{read_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
  read with [region:{read_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & read_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Deadcode][CWE-570] condition '((int )j + 1) % 8 == 0' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1207:12-1207: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][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][Race] Memory location log_buf___0[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1274:13-1274:49)
  write with [mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (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 [mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (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 [mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: (void * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  write with [mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: (void * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1334:5-1335:43)
  read with [mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (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 [mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: (void const   * __restrict  )(log_buf___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1370:5-1371:42)
[Warning][Deadcode][CWE-571] condition '! (tmp___1 >= 6U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:10-724:27)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Deadcode][CWE-571] condition '(unsigned long )local_cfg.name != (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1672:9-1672:70)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:10-502:21)
[Warning][Deadcode][CWE-571] condition 'tmp > 0UL' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1674:11-1674:20)
[Warning][Deadcode][CWE-571] condition '(int )j < (int )width' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1197:12-1197:33)
[Warning][Deadcode][CWE-570] condition '! (tmp___1 >= 6U)' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:724:10-724:27)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[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-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:10-502:21)
[Warning][Deadcode][CWE-570] condition '((int )j + 1) % 8 == 0' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1207:12-1207:33)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[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-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:10-502:21)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[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-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Deadcode][CWE-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:10-502:21)
[Warning][Race] Memory location write_index (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1275:15-1275:43)
  write with [region:{write_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
  write with [region:{write_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1330:5-1330:24)
  write with [region:{write_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, thread:[main]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
  write with [region:{write_index}, mhp:{tid=[main]; created={[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}}, lock:{output_lock}, thread:[main]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1336:5-1336:34)
  read with [region:{write_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with [region:{write_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1285:7-1285:31)
  read with [region:{write_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with [region:{write_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1286:5-1286:38)
  read with [region:{write_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
  read with [region:{write_index}, mhp:{tid=[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]}, lock:{output_lock}, thread:[main, async_output@/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1460:3-1461:67#top]] (conf. 110)  (exp: & write_index) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1290:7-1290:52)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[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-571] condition '(int )i < 5' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:10-502:21)
[Warning][Deadcode][CWE-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Deadcode][CWE-571] condition '(int )j < (int )width' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1216:12-1216:33)
[Warning][Deadcode][CWE-571] condition '(int )i + (int )j < (int )size' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1217:11-1217:41)
[Warning][Deadcode][CWE-570] condition '(int )i < 5' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:502:10-502:21)
[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-571] condition '! (tmp >= 256U)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:2119:10-2119:25)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1791:10-1791:16)
[Warning][Deadcode][CWE-571] condition '(int )j < (int )width' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1216:12-1216:33)
[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)
SV-COMP result: unknown

runtime: 00:00:50.371
vars: 51266, evals: 134302

|rho|=35922
|stable|=35922
|infl|=35834
|wpoint|=65
|sides|=2041
|side_dep|=1611
|side_infl|=13667
|var_messages|=248
|rho_write|=12687
|dep|=32981
|called|=0
Found 1186 contexts for 42 functions. Top 5 functions:
472	contexts for L:entry state of elog_strcpy (421) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1927:1-1975:1
300	contexts for L:entry state of get_fmt_enabled (2835) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:898:1-921:1
40	contexts for L:entry state of elog_port_output_lock (488) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1868:1-1876:1
39	contexts for L:entry state of elog_output_lock (544) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:467:1-480:1
30	contexts for L:entry state of elog_port_output_unlock (491) on /mnt/goblint-svcomp/goblint-bench/bench/concrat/EasyLogger/main.c:1877:1-1885:1

Memory statistics: total=127350.33MB, max=346.83MB, minor=127334.64MB, major=1169.96MB, promoted=1154.28MB
    minor collections=60734  major collections=31 compactions=0

[Info][Witness] witness generation summary:
  total generation entries: 1
[Info][Race] Memory locations race summary:
  safe: 29
  vulnerable: 0
  unsafe: 9
  total memory locations: 38
[Warning][Unsound][Call] No suitable function to call
