./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2840:3-2843:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2911:3-2930:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2940:3-3071:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3122:3-3133:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3176:3-3189:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3207:3-3213:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3243:3-3251:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3260:3-3268:35 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:3-3285:3 with factor 17
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3287:3-3329:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3747:3-3752:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:13-3819:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3779:7-3825:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3756:3-3907:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3938:3-4045:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4068:3-4079:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4085:3-4093:16 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4336:11-4350:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4403:11-4417:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4550:3-4551:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4552:3-4553:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4604:3-4605:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4611:3-4617:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:3-4632:34 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:5-4647:42 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4641:3-4648:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4650:3-4651:23 with factor 2
[Info] longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceSetjmp, poisonVariables, expsplit, vla"
[Info] Setting "ana.int.interval" to true
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.314
[Info] vars: 16400, evals: 30234

[Info] |called|=42

Memory statistics: total=23042.48MB, max=174.57MB, minor=23036.03MB, major=341.19MB, promoted=334.74MB
    minor collections=10993  major collections=18 compactions=0

[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4638:8-4638:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4638:8-4638:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4638:8-4638:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4639:8-4639:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4639:8-4639:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4639:8-4639:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4647:7-4647:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4647:7-4647:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4647:7-4647:42)
[Warning][Imprecise] Trying to update a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3749:6-3749:80)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3750:6-3750:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3767:8-3767:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3770:7-3770:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3094:3-3094:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3187:5-3187:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3188:5-3188:18)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2703:3-2703:49)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2769:3-2769:29)
[Info][Unsound] Unknown address in {&msg} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2769:3-2769:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2769:3-2769:29)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4605:47-4605:64)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4605:73-4605:84)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2774:3-2774:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2774:3-2774:74)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)msg in function realloc is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2789:3-2789:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2789:3-2789:116)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2789:3-2789:116)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2789:3-2789:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2805:5-2805:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2807:5-2807:54)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2808:5-2808:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2824:5-2824:29)
[Info][Imprecise] Invalidating expressions: (struct _IO_FILE *)((void *)0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3077:3-3077:63)
[Info][Imprecise] Invalidating expressions: & return_value_fflush$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3077:3-3077:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2829:5-2829:62)
[Info][Unsound] Unknown value in {&(alloc@sid:75)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2829:5-2829:62)
[Info][Unsound] Unknown value in {&(alloc@sid:75)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3124:5-3124:32)
[Info][Unsound] Unknown value in {&(alloc@sid:75)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Info][Unsound] Unknown value in {&(alloc@sid:75)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Info][Unsound] Unknown value in {&(alloc@sid:75)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3122:6-3122:58)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3124:5-3124:32)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([0,63]); intervals:[0,9223372036854775807]; enums:not {} ([0,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3131:5-3131:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3122:6-3122:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3131:5-3131:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3122:6-3122:58)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3124:5-3124:32)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Info][Unsound] Unknown value in {&(alloc@sid:75)[def_exc:Unknown int([-63,63]); intervals:[0,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3262:5-3262:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3781:9-3781:18)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3806:11-3806:70)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3830:5-3830:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3835:7-3835:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3083:3-3083:41)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3839:11-3839:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3840:9-3840:86)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3355:5-3355:119)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4239:3-4239:69)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4251:3-4251:93)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4387:19-4387:73)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )(& e) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4396:5-4396:33)
[Info][Imprecise] Invalidating expressions: & r (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4396:5-4396:33)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4414:15-4414:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4414:15-4414:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4414:15-4414:61)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4418:12-4418:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4429:11-4429:141)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4436:3-4436:54)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3368:7-3368:38)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3485:11-3485:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3491:11-3491:125)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3846:9-3846:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3107:3-3107:65)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3108:3-3108:42)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3850:13-3850:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3872:11-3872:121)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4377:6-4377:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4380:5-4380:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4387:19-4387:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3879:11-3879:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3704:3-3704:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4227:3-4227:80)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4233:3-4233:128)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4310:6-4310:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4313:5-4313:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4320:19-4320:73)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4320:19-4320:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4329:5-4329:35)
[Info][Unsound] Unknown address in {&e} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4329:5-4329:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4329:5-4329:35)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2749:3-2749:25)
[Info][Imprecise] Invalidating expressions: & v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2749:3-2749:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4351:12-4351:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4369:3-4369:54)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4073:16-4073:138)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4073:16-4073:138)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4073:16-4073:138)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3883:11-3883:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3887:9-3887:78)
[Info][Imprecise] Invalidating expressions: & iflag, & oflag, & cflag, & lflag, & n (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3234:3-3234:93)
[Info][Imprecise] Invalidating expressions: & return_value_sscanf$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3234:3-3234:93)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3237:3-3237:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3238:3-3238:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3239:3-3239:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3240:3-3240:38)
[Info][Imprecise] Invalidating expressions: & chr, & n (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3246:5-3246:57)
[Info][Imprecise] Invalidating expressions: & return_value_sscanf$2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3246:5-3246:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3249:5-3249:56)
[Info][Imprecise] Invalidating expressions: & chr, & n (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3246:5-3246:57)
[Info][Imprecise] Invalidating expressions: & return_value_sscanf$2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3246:5-3246:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3249:5-3249:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3249:5-3249:56)
[Info][Imprecise] Invalidating expressions: & chr, & n (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3246:5-3246:57)
[Info][Imprecise] Invalidating expressions: & return_value_sscanf$2 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3246:5-3246:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3891:11-3891:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3898:13-3898:80)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3767:8-3767:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3770:7-3770:62)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3781:9-3781:18)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3806:11-3806:70)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3830:5-3830:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3835:7-3835:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3839:11-3839:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3840:9-3840:86)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3846:9-3846:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3850:13-3850:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3872:11-3872:121)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3879:11-3879:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3883:11-3883:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3887:9-3887:78)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3891:11-3891:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3898:13-3898:80)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3765:5-3765:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3767:8-3767:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3830:5-3830:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3835:7-3835:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3846:9-3846:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3850:13-3850:76)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3851:11-3851:20)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3887:9-3887:78)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3891:11-3891:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3770:7-3770:62)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3781:9-3781:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3898:13-3898:80)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3883:11-3883:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3879:11-3879:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3872:11-3872:121)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3839:11-3839:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3840:9-3840:86)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3842:9-3842:18)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3806:11-3806:70)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3809:24-3809:33)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3809:24-3809:33)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3809:24-3809:33)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3817:15-3817:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3818:15-3818:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3758:5-3758:14)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3917:6-3917:68)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3919:5-3919:108)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4301:3-4301:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4287:3-4287:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4293:3-4293:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4295:5-4295:55)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2731:5-2731:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2736:3-2736:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2736:3-2736:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2784:3-2784:41)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2784:3-2784:41)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2814:9-2814:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2817:9-2817:24)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2821:7-2821:31)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2821:7-2821:31)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2821:7-2821:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3222:3-3222:82)

[Info] runtime: 00:00:20.421
[Info] vars: 26619, evals: 48587

[Info] |called|=0

Memory statistics: total=45428.31MB, max=351.13MB, minor=45419.64MB, major=612.89MB, promoted=604.22MB
    minor collections=21668  major collections=21 compactions=0

[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3930:5-3930:112)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.max_col} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3930:5-3930:112)
[Info][Imprecise] Invalidating expressions: & s (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4160:5-4160:23)
[Info][Imprecise] Invalidating expressions: & value (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4163:7-4163:20)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3168:5-3168:52)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3930:5-3930:112)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2875:3-2875:85)
[Info][Imprecise] Invalidating expressions: (char * __restrict  )(buf) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4187:3-4187:79)
[Info][Imprecise] Invalidating expressions: & return_value_vsnprintf$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4187:3-4187:79)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4188:3-4188:50)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4201:7-4201:62)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4203:6-4203:115)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4203:6-4203:115)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4206:11-4206:121)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4206:11-4206:121)
[Info][Imprecise] Invalidating expressions: & return_value_putchar_unlocked$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2743:3-2743:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4209:10-4209:78)
[Info][Imprecise] Invalidating expressions: (FILE * __restrict  )stdout (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4215:3-4215:21)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4215:3-4215:21)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4215:3-4215:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4216:4-4216:117)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4216:4-4216:117)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4217:6-4217:52)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4221:6-4221:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4222:6-4222:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2895:7-2895:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3218:3-3218:74)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2715:5-2715:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2720:3-2720:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2720:3-2720:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2769:3-2769:29)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2924:7-2924:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2924:7-2924:69)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2929:5-2929:108)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.buf[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2929:5-2929:108)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2924:7-2924:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2924:7-2924:69)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3212:5-3212:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3212:5-3212:88)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2929:5-2929:108)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.buf[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2929:5-2929:108)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2924:7-2924:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2924:7-2924:69)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3212:5-3212:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3212:5-3212:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3212:5-3212:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3212:5-3212:88)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2929:5-2929:108)
[Info][Unsound] Unknown value in {&bb_common_bufsiz1.buf[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2929:5-2929:108)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3202:6-3202:66)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                       c_cflag -> 0
                                                       c_iflag -> 0
                                                       c_ispeed -> 0
                                                       c_lflag -> 0
                                                       c_line -> 0
                                                       c_oflag -> 0
                                                       c_ospeed -> 0
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3024:11-3024:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                       c_cflag -> 0
                                                       c_iflag -> 0
                                                       c_ispeed -> 0
                                                       c_lflag -> 0
                                                       c_line -> 0
                                                       c_oflag -> 0
                                                       c_ospeed -> 0
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3024:11-3024:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                       c_cflag -> 0
                                                       c_iflag -> 0
                                                       c_ispeed -> 0
                                                       c_lflag -> 0
                                                       c_line -> 0
                                                       c_oflag -> 0
                                                       c_ospeed -> 0
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3005:11-3005:101)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3024:11-3024:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3949:8-3949:30)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3951:7-3951:62)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                       c_cflag -> 0
                                                       c_iflag -> 0
                                                       c_ispeed -> 0
                                                       c_lflag -> 0
                                                       c_line -> 0
                                                       c_oflag -> 0
                                                       c_ospeed -> 0
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3506:5-3506:59)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3506:5-3506:59)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3508:7-3508:33)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       c_cc -> (partitioned array:Array: Array (no part.): def_exc:Unknown int([0,7]); intervals:[0,127]; enums:{0, 1, 3, 4, 15, 17, 18, 19, 21, 22, 23, 26, 28, 127}, IntDomLifter(intdomtuple):32)
                                                       c_cflag -> 0
                                                       c_iflag -> 0
                                                       c_ispeed -> 0
                                                       c_lflag -> 0
                                                       c_line -> 0
                                                       c_oflag -> 0
                                                       c_ospeed -> 0
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): def_exc:Unknown int([0,7]); intervals:[0,127]; enums:{0, 1, 3, 4, 15, 17, 18, 19, 21, 22, 23, 26, 28, 127}, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3312:9-3312:58)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): def_exc:Unknown int([0,7]); intervals:[0,127]; enums:{0, 1, 3, 4, 15, 17, 18, 19, 21, 22, 23, 26, 28, 127}, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3325:11-3325:61)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3299:5-3299:84)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3312:9-3312:58)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3325:11-3325:61)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3299:5-3299:84)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3325:11-3325:61)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3312:9-3312:58)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3568:13-3568:28)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3568:13-3568:28)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): ⊤, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3568:13-3568:28)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): ⊤, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> ⊤
                                                        c_iflag -> ⊤
                                                        c_ispeed -> 0
                                                        c_lflag -> ⊤
                                                        c_line -> 0
                                                        c_oflag -> ⊤
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3960:7-3960:41)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): 0, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> 0
                                                        c_iflag -> 0
                                                        c_ispeed -> 0
                                                        c_lflag -> 0
                                                        c_line -> 0
                                                        c_oflag -> 0
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3511:7-3511:32)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        c_cc -> (partitioned array:Array: Array (no part.): ⊤, IntDomLifter(intdomtuple):32)
                                                        c_cflag -> ⊤
                                                        c_iflag -> ⊤
                                                        c_ispeed -> 0
                                                        c_lflag -> ⊤
                                                        c_line -> 0
                                                        c_oflag -> ⊤
                                                        c_ospeed -> 0
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3968:9-3968:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3360:8-3360:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3368:7-3368:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3391:9-3391:111)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3483:12-3483:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3977:11-3977:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3997:13-3997:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4245:3-4245:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4257:3-4257:162)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3998:13-3998:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4003:13-4003:73)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4004:13-4004:71)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3726:5-3726:42)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4012:13-4012:73)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4013:13-4013:71)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3724:5-3724:42)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4021:13-4021:60)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4026:13-4026:60)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4036:13-4036:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3949:8-3949:30)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3951:7-3951:62)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3502:3-3502:58)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3506:5-3506:59)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3508:7-3508:33)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3527:7-3527:96)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3539:9-3539:98)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3551:11-3551:103)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3552:11-3552:99)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3563:11-3563:62)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3564:11-3564:69)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3568:13-3568:28)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3284:5-3284:116)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3299:5-3299:84)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3310:7-3310:113)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3312:9-3312:58)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3325:11-3325:61)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3568:13-3568:28)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3568:13-3568:28)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3574:17-3574:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3586:19-3586:107)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3587:19-3587:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3600:21-3600:109)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3601:21-3601:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3602:21-3602:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3625:23-3625:94)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3626:23-3626:70)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3627:23-3627:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3631:23-3631:54)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3632:23-3632:71)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3633:23-3633:81)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3634:23-3634:72)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3635:23-3635:72)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3643:25-3643:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3655:27-3655:99)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3672:29-3672:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3673:29-3673:79)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3674:29-3674:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3686:29-3686:92)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3691:31-3691:80)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3692:31-3692:82)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3693:31-3693:81)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3694:31-3694:94)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3695:31-3695:82)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3960:7-3960:41)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3511:7-3511:32)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3531:7-3531:116)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3543:9-3543:117)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3556:11-3556:61)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3557:11-3557:59)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3578:17-3578:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3591:19-3591:108)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3592:19-3592:68)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3606:21-3606:110)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3607:21-3607:70)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3608:21-3608:69)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3647:25-3647:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3659:27-3659:96)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3678:29-3678:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3679:29-3679:78)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3680:29-3680:76)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3968:9-3968:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3497:3-3497:52)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3977:11-3977:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3997:13-3997:73)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3998:13-3998:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3998:13-3998:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4003:13-4003:73)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4004:13-4004:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4012:13-4012:73)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4013:13-4013:71)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4017:13-4017:36)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2852:3-2852:47)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2855:3-2855:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4021:13-4021:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4021:13-4021:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3707:5-3707:28)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4026:13-4026:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4026:13-4026:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3709:5-3709:28)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3237:3-3237:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3238:3-3238:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3239:3-3239:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3240:3-3240:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3249:5-3249:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3249:5-3249:56)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3249:5-3249:56)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4036:13-4036:56)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4036:13-4036:56)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3947:5-3947:45)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3949:8-3949:30)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3960:7-3960:41)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3968:9-3968:29)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3977:11-3977:32)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3979:13-3979:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4031:11-4031:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4036:13-4036:56)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4036:13-4036:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4026:13-4026:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4026:13-4026:60)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4021:13-4021:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4021:13-4021:60)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4017:13-4017:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4012:13-4012:73)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4013:13-4013:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4003:13-4003:73)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4004:13-4004:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3997:13-3997:73)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3998:13-3998:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3998:13-3998:67)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3971:11-3971:20)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3972:11-3972:54)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3963:9-3963:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3951:7-3951:62)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Info][Imprecise] Trying to read an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Warning][Imprecise] Trying to update an index, but the array is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3954:9-3954:48)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3940:5-3940:14)
[Info][Unsound] Unknown value in {&mode} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4050:5-4050:53)
[Info][Imprecise] Invalidating expressions: & return_value_memcmp$12 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4059:5-4059:105)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(mem_track + i___1) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4651:5-4651:23)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(mem_track + i___1) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4651:5-4651:23)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)*(mem_track + i___1) in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4651:5-4651:23)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:76:1-80:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:81:1-85:1)
[Warning][Deadcode] Function 'syslog' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3736:1-3738:1)
[Warning][Deadcode] Function 'visible' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4096:1-4154:1)
[Warning][Deadcode] Function 'xfunc_die' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4267:1-4276:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4485:1-4489:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4545:1-4555:1)
[Warning][Deadcode] Function 'getopt' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4556:1-4582:1)
[Warning][Deadcode] Function 'getopt_long' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4583:1-4589:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4590:1-4598:1)
[Warning][Deadcode] Function 'bb_verror_msg' has dead code:
  on line 2766 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2766-2766)
  on line 2768 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2768-2768)
  on lines 2796..2799 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2796-2799)
  on line 2832 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2832-2832)
[Warning][Deadcode] Function 'do_display' has dead code:
  on line 2917 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2917-2917)
  on line 2926 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2926-2926)
  on line 2945 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2945-2945)
  on line 2949 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2949-2949)
  on line 2958 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2958-2958)
  on line 2962 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2962-2962)
  on line 2968 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2968-2968)
  on line 2972 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2972-2972)
  on line 2977 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2977-2977)
  on line 2981 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2981-2981)
  on line 2989 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2989-2989)
  on line 2993 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2993-2993)
  on line 3000 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3000-3000)
  on line 3004 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3004-3004)
  on line 3014 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3014-3014)
  on line 3018 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3018-3018)
  on line 3034 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3034-3034)
  on line 3038 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3038-3038)
  on line 3052 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3052-3052)
  on line 3056 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3056-3056)
[Warning][Deadcode] Function 'get_ptr_to_tcflag' has dead code:
  on line 3143 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3143-3143)
[Warning][Deadcode] Function 'perror_on_device_and_die' has dead code:
  on line 3223 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3223-3223)
[Warning][Deadcode] Function 'sane_mode' has dead code:
  on line 3279 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3279-3279)
  on line 3283 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3283-3283)
  on line 3294 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3294-3294)
  on line 3298 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3298-3298)
  on line 3305 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3305-3305)
  on line 3309 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3309-3309)
  on line 3318 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3318-3318)
  on line 3322 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3322-3322)
[Warning][Deadcode] Function 'set_control_char_or_die' has dead code:
  on line 3407 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3407-3407)
  on line 3444 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3444-3444)
  on lines 3446..3447 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3446-3447)
  on line 3449 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3449-3449)
  on lines 3451..3452 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3451-3452)
  on line 3454 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3454-3454)
  on lines 3456..3457 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3456-3457)
  on line 3459 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3459-3459)
  on line 3461 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3461-3461)
  on lines 3468..3469 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3468-3469)
[Warning][Deadcode] Function 'wrapf' has dead code:
  on line 4220 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4220-4220)
[Warning][Deadcode] Function 'xstrtou_range_sfx' has dead code:
  on line 4336 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4336-4336)
  on lines 4341..4343 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4341-4343)
  on line 4345 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4345-4345)
  on line 4347 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4347-4347)
  on line 4362 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4362-4362)
  on line 4370 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4370-4370)
[Warning][Deadcode] Function 'xstrtoull_range_sfx' has dead code:
  on line 4437 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4437-4437)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 880
  dead: 133 (72 in uncalled functions)
  total lines: 1013
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3315:12-3315:41)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2914:8-2914:37)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3319:12-3319:36)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2918:8-2918:32)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4045:9-4045:18)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )type < 4l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3140:8-3140:34)
[Warning][Deadcode][CWE-571] condition '(int )ch == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2923:8-2923:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3291:8-3291:37)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '! (i == 15)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2911:6-2911:31)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3295:8-3295:32)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(int )win.ws_row == 0' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3157:3-3157:149)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2914:8-2914:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2918:8-2918:32)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3302:10-3302:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3306:10-3306:34)
[Warning][Deadcode][CWE-571] condition '(int )ch == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2923:8-2923:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4068:9-4068:17)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )width == (unsigned long )((unsigned int *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3165:6-3165:47)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3315:12-3315:41)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-570] condition '! (i < 21)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4077:8-4077:17)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3319:12-3319:36)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4068:9-4068:17)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2914:8-2914:37)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-570] condition '! (i < 21)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4077:8-4077:17)
[Warning][Deadcode][CWE-571] condition '(int )ch == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2923:8-2923:27)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4068:9-4068:17)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )file_name == (unsigned long )((char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3804:14-3804:57)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 86' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2940:6-2940:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2942:8-2942:37)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2946:8-2946:32)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 21' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4093:9-4093:16)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3374:10-3374:18)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2955:12-2955:41)
[Warning][Deadcode][CWE-571] condition 'set_control_char_or_die$$1$$1$$__s2_len < 4UL' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3379:9-3379:140)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2959:12-2959:36)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 21' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4093:9-4093:16)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2965:10-2965:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2969:10-2969:34)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2974:10-2974:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2978:10-2978:34)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2986:12-2986:41)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2990:12-2990:36)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2997:10-2997:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3001:10-3001:34)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3429:12-3429:20)
[Warning][Deadcode][CWE-570] condition '__s2_len < 4UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3434:11-3434:111)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3011:14-3011:43)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3015:14-3015:38)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-570] condition '! ((int )tmp_if_expr$9 == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3442:12-3442:40)
[Warning][Deadcode][CWE-571] condition 'value == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4157:6-4157:16)
[Warning][Deadcode][CWE-571] condition 'i < 32' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3243:6-3243:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3031:14-3031:43)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3035:14-3035:38)
[Warning][Deadcode][CWE-571] condition 'i < 32' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3243:6-3243:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3049:16-3049:45)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3053:16-3053:40)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3907:9-3907:18)
[Warning][Deadcode][CWE-571] condition '(long )(4294967295u + buflen) < 128l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4217:6-4217:52)
[Warning][Deadcode][CWE-571] condition 'i < result_buffer_size' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4611:9-4611:29)
[Warning][Deadcode][CWE-571] condition 'i < 86' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2940:6-2940:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2942:8-2942:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2946:8-2946:32)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2955:12-2955:41)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2959:12-2959:36)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2965:10-2965:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2969:10-2969:34)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2974:10-2974:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2978:10-2978:34)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2986:12-2986:41)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3907:9-3907:18)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2990:12-2990:36)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2997:10-2997:39)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3001:10-3001:34)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3011:14-3011:43)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3015:14-3015:38)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3031:14-3031:43)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3035:14-3035:38)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )suffixes == (unsigned long )((struct suffix_mult *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4335:12-4335:62)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3049:16-3049:45)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3053:16-3053:40)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-570] condition 'i < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4631:6-4631:25)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:22:73-22:74)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2942:8-2942:37)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2946:8-2946:32)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4355:14-4355:24)
[Warning][Deadcode][CWE-571] condition 'upper >= r' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4357:16-4357:26)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2955:12-2955:41)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2959:12-2959:36)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2965:10-2965:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2969:10-2969:34)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4045:9-4045:18)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2974:10-2974:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2978:10-2978:34)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2986:12-2986:41)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2990:12-2990:36)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-570] condition '(int )logmode == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2765:6-2765:30)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2997:10-2997:39)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-570] condition '(unsigned long )s == (unsigned long )((char const   *)((void *)0))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2767:6-2767:38)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3001:10-3001:34)
[Warning][Deadcode][CWE-571] condition '*bb_errno == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4399:10-4399:24)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )suffixes == (unsigned long )((struct suffix_mult *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4402:12-4402:62)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3011:14-3011:43)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3015:14-3015:38)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-570] condition '(_Bool)0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3752:9-3752:18)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-570] condition '(unsigned long )msg1 == (unsigned long )((char *)((void *)0))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2794:6-2794:35)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3031:14-3031:43)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3035:14-3035:38)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3049:16-3049:45)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3053:16-3053:40)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '! ((1 & (int )logmode) == 0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2826:6-2826:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-570] condition '! ((2 & (int )logmode) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2831:6-2831:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition 'i < 17' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition '2l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3276:8-3276:37)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4045:9-4045:18)
[Warning][Deadcode][CWE-571] condition 'i < 32' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2840:6-2840:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 17l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3280:8-3280:32)
[Warning][Deadcode][CWE-571] condition 'i < 32' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2840:6-2840:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-570] condition 'i < 17' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3274:6-3274:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )file_name == (unsigned long )((char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3804:14-3804:57)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3907:9-3907:18)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'i < 86' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3287:6-3287:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3291:8-3291:37)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3295:8-3295:32)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3302:10-3302:39)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3306:10-3306:34)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3813:19-3813:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3315:12-3315:41)
[Warning][Deadcode][CWE-570] condition 'j < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3319:12-3319:36)
[Warning][Deadcode][CWE-570] condition '! (total == 0l)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3127:10-3127:24)
[Warning][Deadcode][CWE-571] condition '(_Bool)1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3825:13-3825:22)
[Warning][Deadcode][CWE-571] condition 'i < 86' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3287:6-3287:27)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3291:8-3291:37)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3295:8-3295:32)
[Warning][Deadcode][CWE-571] condition '8l * (long )i >= 0l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3302:10-3302:39)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '(long )i < 86l' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3306:10-3306:34)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )file_name == (unsigned long )((char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:3804:14-3804:57)
[Warning][Deadcode][CWE-571] condition 'j < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:4646:8-4646:27)
[Warning][Deadcode][CWE-571] condition '! (i == 15)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/stty-2.i:2911:6-2911:31)
SV-COMP result: unknown

[Info] runtime: 00:00:30.485
[Info] vars: 26619, evals: 48587

[Info] |called|=0

Memory statistics: total=65233.71MB, max=464.37MB, minor=65222.19MB, major=979.98MB, promoted=968.45MB
    minor collections=31113  major collections=24 compactions=0

[Info][Witness] witness generation summary:
  total generation entries: 1
