./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/touch-1.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/touch-1.i:2729:3-2740:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2762:3-2763:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2789:7-2795:22 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2779:3-2798:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2807:5-2813:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2820:5-2837:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2844:9-2847:9 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2839:5-2857:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2929:13-2932:13 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3017:25-3023:23 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2996:19-3025:19 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2865:3-3039:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3045:5-3064:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3074:5-3077:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3067:3-3101:18 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3103:3-3112:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:3-3169:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3396:3-3404:35 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3448:3-3505:43 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3595:11-3609:11 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3760:3-3761:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3762:3-3763:53 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3814:3-3815:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3821:3-3827:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3841:3-3842:34 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3856:5-3857:42 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3851:3-3858:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3860:3-3861: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) )
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3848:8-3848:45)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3848:8-3848:45)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3848:8-3848:45)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3849:8-3849:50)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3849:8-3849:50)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3849:8-3849:50)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3857:7-3857:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3857:7-3857:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3857:7-3857:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2762:6-2762:82)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2788:7-2788:68)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2788:7-2788:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2784:5-2784:47)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2788:7-2788:68)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2811:7-2811:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2812:7-2812:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2819:5-2819:33)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2819:5-2819:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2822:7-2822:25)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2828:7-2828:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2828:7-2828:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2828:7-2828:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2828:7-2828:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2828:7-2828:88)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2828:7-2828:88)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2835:7-2835:17)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2850:9-2850:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2852:11-2852:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2850:9-2850:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2852:11-2852:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2850:9-2850:51)
[Info][Imprecise] Invalidating expressions: (void *)(& tmp___1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2852:11-2852:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3069:5-3069:84)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3798:10-3798:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3771:6-3771:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3779:7-3779:15)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3781:6-3781:68)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3786:7-3786:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3084:7-3084:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3084:7-3084:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3088:9-3088:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:6-3168:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:6-3168:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:6-3168:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:6-3168:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:6-3168:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3168:6-3168:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3172:3-3172:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3173:4-3173:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3093:11-3093:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3519:3-3519:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3525:3-3525:114)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3569:6-3569:31)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3572:5-3572:99)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3579:19-3579:73)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3579:19-3579:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3588:5-3588:35)
[Info][Unsound] Unknown address in {&e} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3588:5-3588:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3588:5-3588:35)
[Info][Imprecise] Invalidating expressions: (char ** __restrict  )end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2633:3-2633:25)
[Info][Imprecise] Invalidating expressions: & v (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2633:3-2633:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3610:12-3610:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3621:11-3621:141)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2549:3-2549:49)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2653:3-2653:29)
[Info][Unsound] Unknown address in {&msg} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2653:3-2653:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2653:3-2653:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2658:3-2658:74)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2658:3-2658: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/touch-1.i:2673:3-2673:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2673:3-2673:116)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2673:3-2673:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2688:5-2688:101)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2689:5-2689:29)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2691:5-2691:54)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2692:5-2692:54)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2708:5-2708:29)
[Info][Imprecise] Invalidating expressions: (struct _IO_FILE *)((void *)0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2722:3-2722:63)
[Info][Imprecise] Invalidating expressions: & return_value_fflush$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2722:3-2722:63)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2713:5-2713:62)
[Info][Unsound] Unknown value in {&(alloc@sid:109)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2713:5-2713:62)
[Info][Unsound] Unknown value in {&(alloc@sid:109)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2731:5-2731:32)
[Info][Unsound] Unknown value in {&(alloc@sid:109)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown value in {&(alloc@sid:109)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown value in {&(alloc@sid:109)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3398:5-3398:28)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2729:6-2729:58)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:2731:5-2731:32)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:3398:5-3398:28)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2738:5-2738:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2729:6-2729:58)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2738:5-2738:23)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2729:6-2729:58)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:2731:5-2731:32)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown value in {&(alloc@sid:109)[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/touch-1.i:3398:5-3398:28)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3628:3-3628:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3094:11-3094:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3098:13-3098:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3069:5-3069:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3084:7-3084:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3084:7-3084:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3088:9-3088:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3093:11-3093:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3094:11-3094:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3098:13-3098:48)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3084:7-3084:46)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3084:7-3084:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3098:13-3098:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3093:11-3093:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3094:11-3094:91)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3088:9-3088:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3069:5-3069:84)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3121:5-3121:25)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3424:3-3424:45)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3470:5-3470:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3752:10-3752:33)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3477:9-3477:36)
[Info][Imprecise] Invalidating expressions: & return_value_close$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3531:3-3531:33)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2577:5-2577:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2582:3-2582:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2582:3-2582:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2668:3-2668:41)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2673:3-2673:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2698:9-2698:24)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2701:9-2701:24)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2705:7-2705:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3498:9-3498:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2592:3-2592:25)
[Info][Imprecise] Invalidating expressions: & return_value_strerror$1 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2561:5-2561:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2566:3-2566:37)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2566:3-2566:37)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3470:5-3470:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3477:9-3477:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3498:9-3498:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3470:5-3470:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3477:9-3477:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3498:9-3498:36)
[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/touch-1.i:3861:5-3861: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/touch-1.i:3861:5-3861: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/touch-1.i:3861:5-3861:23)
[Warning][Deadcode] Function 'reach_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:22:1-22:169)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:151:1-155:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:156:1-160:1)
[Warning][Deadcode] Function 'bb_ascii_isalnum' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2537:1-2544:1)
[Warning][Deadcode] Function 'bb_strtol' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2594:1-2599:1)
[Warning][Deadcode] Function 'bb_strtoll' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2600:1-2629:1)
[Warning][Deadcode] Function 'handle_errors' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3144:1-3165:1)
[Warning][Deadcode] Function 'parse_datestr' is uncalled: 99 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3175:1-3386:1)
[Warning][Deadcode] Function 'ret_ERANGE' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3387:1-3391:1)
[Warning][Deadcode] Function 'syslog' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3407:1-3409:1)
[Warning][Deadcode] Function 'validate_tm_time' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3508:1-3515:1)
[Warning][Deadcode] Function 'xfunc_die' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3535:1-3544:1)
[Warning][Deadcode] Function 'xstat' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3556:1-3562:1)
[Warning][Deadcode] Function 'localtime_r' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3637:1-3657:1)
[Warning][Deadcode] Function 'sleep' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3670:1-3674:1)
[Warning][Deadcode] Function 'fstat' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3675:1-3697:1)
[Warning][Deadcode] Function 'stat' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3698:1-3703:1)
[Warning][Deadcode] Function 'lstat' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3704:1-3707:1)
[Warning][Deadcode] Function 'strchrnul' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3708:1-3715:1)
[Warning][Deadcode] Function 'strptime' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3716:1-3739:1)
[Warning][Deadcode] Function 'getutent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3755:1-3765:1)
[Warning][Deadcode] Function 'read' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3800:1-3808:1)
[Warning][Deadcode] Function '__main' has dead code:
  on lines 3431..3433 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3431-3433)
  on lines 3439..3445 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3439-3445)
  on line 3460 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3460-3460)
  on line 3469 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3469-3469)
  on line 3490 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3490-3490)
[Warning][Deadcode] Function 'bb_perror_msg_and_die' has dead code:
  on line 2581 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2581-2581)
[Warning][Deadcode] Function 'bb_verror_msg' has dead code:
  on line 2650 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2650-2650)
  on line 2652 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2652-2652)
  on lines 2680..2683 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2680-2683)
  on line 2716 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2716-2716)
[Warning][Deadcode] Function 'getopt32' has dead code:
  on line 2868 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2868-2868)
  on line 2875 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2875-2875)
  on lines 2877..2878 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2877-2878)
  on line 2880 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2880-2880)
  on line 2882 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2882-2882)
  on line 2889 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2889-2889)
  on lines 2892..2893 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2892-2893)
  on line 2896 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2896-2896)
  on line 2898 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2898-2898)
  on line 2900 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2900-2900)
  on line 2907 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2907-2907)
  on lines 2909..2910 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2909-2910)
  on line 2913 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2913-2913)
  on lines 2916..2917 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2916-2917)
  on line 2920 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2920-2920)
  on lines 2922..2924 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2922-2924)
  on lines 2928..2930 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2928-2930)
  on line 2932 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2932-2932)
  on line 2935 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2935-2935)
  on line 2937 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2937-2937)
  on line 2939 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2939-2939)
  on line 2945 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2945-2945)
  on lines 2947..2948 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2947-2948)
  on lines 2950..2951 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2950-2951)
  on lines 2953..2954 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2953-2954)
  on line 2960 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2960-2960)
  on line 2962 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2962-2962)
  on line 2969 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2969-2969)
  on line 2972 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2972-2972)
  on lines 2974..2975 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2974-2975)
  on lines 2977..2978 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2977-2978)
  on lines 2980..2982 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2980-2982)
  on line 2988 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2988-2988)
  on lines 2990..2991 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2990-2991)
  on lines 2993..2996 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2993-2996)
  on lines 2998..2999 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2998-2999)
  on lines 3001..3002 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3001-3002)
  on lines 3004..3005 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3004-3005)
  on line 3007 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3007-3007)
  on lines 3009..3010 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3009-3010)
  on line 3012 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3012-3012)
  on lines 3016..3018 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3016-3018)
  on line 3020 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3020-3020)
  on line 3024 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3024-3024)
  on line 3026 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3026-3026)
  on line 3038 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3038-3038)
  on lines 3044..3045 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3044-3045)
  on line 3047 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3047-3047)
  on line 3049 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3049-3049)
  on line 3053 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3053-3053)
  on lines 3055..3059 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3055-3059)
  on line 3062 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3062-3062)
  on line 3124 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3124-3124)
[Warning][Deadcode] Function 'xmalloc' has dead code:
  on lines 3551..3552 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3551-3552)
[Warning][Deadcode] Function 'xstrtou_range_sfx' has dead code:
  on line 3595 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3595-3595)
  on lines 3600..3602 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3600-3602)
  on line 3604 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3604-3604)
  on line 3606 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3606-3606)
  on line 3629 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3629-3629)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 380
  dead: 347 (234 in uncalled functions)
  total lines: 727
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841:25)
[Warning][Deadcode][CWE-571] condition 'r >= lower' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3614:14-3614:24)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841: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/touch-1.i:2837:11-2837:20)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841:25)
[Warning][Deadcode][CWE-571] condition '(unsigned long )reference_file == (unsigned long )((char *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3481:12-3481:51)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3483:14-3483:50)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841:25)
[Warning][Deadcode][CWE-571] condition '(unsigned long )l_o->flag == (unsigned long )((int *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2841:10-2841:50)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841:25)
[Warning][Deadcode][CWE-571] condition '(unsigned long )reference_file == (unsigned long )((char *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3451:8-3451:47)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3453:10-3453:46)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841:25)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841: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/touch-1.i:3101:9-3101:18)
[Warning][Deadcode][CWE-570] condition '(unsigned long )tmp == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3466:8-3466:63)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3841:6-3841:25)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2781:8-2781:15)
[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/touch-1.i:3841:6-3841:25)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )reference_file == (unsigned long )((char *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3481:12-3481:51)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3483:14-3483:50)
[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/touch-1.i:3856:8-3856: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/touch-1.i:2795:13-2795:22)
[Warning][Deadcode][CWE-571] condition '(unsigned long )l_o->flag == (unsigned long )((int *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2841:10-2841:50)
[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/touch-1.i:2795:13-2795:22)
[Warning][Deadcode][CWE-571] condition '(unsigned long )reference_file == (unsigned long )((char *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3451:8-3451:47)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3453:10-3453:46)
[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/touch-1.i:2795:13-2795: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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-570] condition '(unsigned long )tmp == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3466:8-3466:63)
[Warning][Deadcode][CWE-570] condition 'c >= 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2781:8-2781:15)
[Warning][Deadcode][CWE-571] condition '! (*bb_errno == 0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2575:6-2575:23)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3101:9-3101:18)
[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/touch-1.i:3856:8-3856: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/touch-1.i:2795:13-2795: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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )reference_file == (unsigned long )((char *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3481:12-3481:51)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3483:14-3483:50)
[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/touch-1.i:2795:13-2795: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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )l_o->flag == (unsigned long )((int *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2841:10-2841:50)
[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/touch-1.i:3856:8-3856: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/touch-1.i:2795:13-2795:22)
[Warning][Deadcode][CWE-570] condition '! ((6 & spec_flgs) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3042:6-3042:29)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition '(flags & requires) == 0u' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3112:7-3112:30)
[Warning][Deadcode][CWE-571] condition 's < tmp' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3814:6-3814:41)
[Warning][Deadcode][CWE-571] condition 'requires == 0u' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3114:8-3114: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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-570] condition '(int )logmode == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2649:6-2649:30)
[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/touch-1.i:2651:6-2651:38)
[Warning][Deadcode][CWE-570] condition 'max_arg >= 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3122:8-3122:20)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition 's < tmp' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3814:6-3814: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/touch-1.i:2795:13-2795:22)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-570] condition '(unsigned long )ptr == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3549:6-3549: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/touch-1.i:2795:13-2795:22)
[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/touch-1.i:2678:6-2678: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/touch-1.i:2865:9-2865:17)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )s == (unsigned long )((unsigned char const   *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2867:8-2867:52)
[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/touch-1.i:2795:13-2795: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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition '(int )tmp_if_expr$7 == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2871:8-2871:33)
[Warning][Deadcode][CWE-571] condition '! ((unsigned long )applet_long_options == (unsigned long )((char const   *)((void *)0)))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2801:6-2801:59)
[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/touch-1.i:3856:8-3856: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/touch-1.i:3856:8-3856: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/touch-1.i:3856:8-3856:27)
[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/touch-1.i:3821:9-3821:29)
[Warning][Deadcode][CWE-571] condition '! ((1 & (int )logmode) == 0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2710:6-2710:39)
[Warning][Deadcode][CWE-570] condition '! ((2 & (int )logmode) == 0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2715:6-2715: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/touch-1.i:3856:8-3856: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/touch-1.i:3856:8-3856: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/touch-1.i:3856:8-3856:27)
[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/touch-1.i:3594:12-3594:62)
[Warning][Deadcode][CWE-570] condition '! (total == 0l)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:2734:10-2734:24)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-570] condition '(on_off->incongruously & flags) != 0u' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3077:9-3077:45)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )reference_file == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3428:6-3428:48)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3435:6-3435:42)
[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/touch-1.i:3856:8-3856: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/touch-1.i:2837:11-2837:20)
[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/touch-1.i:3856:8-3856:27)
[Warning][Deadcode][CWE-571] condition '(unsigned long )reference_file == (unsigned long )((char *)((void *)0))' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3451:8-3451:47)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )date_str == (unsigned long )((char *)((void *)0)))' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3453:10-3453:46)
[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/touch-1.i:3101:9-3101:18)
[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/touch-1.i:3841:6-3841: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/touch-1.i:2837:11-2837:20)
[Warning][Deadcode][CWE-570] condition '(unsigned long )tmp == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/touch-1.i:3466:8-3466:63)
[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/touch-1.i:3841:6-3841:25)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
