./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/if_etherip-unreach-call.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/if_etherip-unreach-call.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.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
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1069: Warning: Ignoring identifier attribute
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2795: Warning: Ignoring identifier attribute
:-1: Warning: Incompatible declaration for clock_gettime (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:427 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i (0)) 
	Failed assumption that struct timespec and struct timespec are isomorphic 
	Failed assumption that time_t and __time_t are isomorphic (different integer types long long  and long )
struct timespec {
   time_t tv_sec ;
   long tv_nsec ;
};

struct timespec {
   __time_t tv_sec ;
   __syscall_slong_t tv_nsec ;
};
 
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1895:3-1897:27 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1930:9-1935:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1958:5-1968:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1975:5-1980:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1993:5-2000:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2001:5-2002:26 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2049:9-2054:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2065:3-2080:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4948:3-4954:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:3-4972:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4973:3-4977:1 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4983:3-5015:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:3-5602:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7551:3-7558:14 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7563:3-7569:14 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7586:5-7588:16 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7707:3-7721:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7838:3-7850:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7980:3-7997:3 with factor 3
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Imprecise][Unsound] Function definition missing for ifq_serialize
[Info][Witness] couldn't parse entry: find uuid
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5602:5-5602:13)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4972:5-4972:33)
[Warning][Imprecise] Trying to update a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1870:3-1870:26)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1871:11-1871:24)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1874:3-1874:33)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1875:3-1875:36)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1876:3-1876:51)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1876:3-1876:51)
[Info][Unsound] Unknown value in {&(alloc@sid:65).M_dat.MH.MH_dat.MH_databuf[0]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1876:3-1876:51)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1877:3-1877:29)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1878:3-1879:52)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:867:3-867:35)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:875:3-875:52)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:875:3-875:52)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:876:3-876:31)
[Info][Unsound] Unknown address in {&ref} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2934:3-2934:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2934:3-2934:38)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2935:3-2935:16)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2936:3-2936:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2936:3-2936:27)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2929:3-2929:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2929:3-2929:27)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4989:9-4989:59)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5013:5-5013:46)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5013:5-5013:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7972:7-7972:69)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7973:5-7973:15)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1887:3-1887:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1887:3-1887:49)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer addr in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:426:63-426:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1896:5-1896:18)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7974:5-7974:34)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7978:3-7978:42)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7978:3-7978:42)
[Info][Unsound] Unknown value in {&ipsrc} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7978:3-7978:42)
[Warning][Unknown] lval (& ip6)->ip6_src points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5766:74-5766:74)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7979:3-7979:42)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7979:3-7979:42)
[Info][Unsound] Unknown value in {&ipdst} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7979:3-7979:42)
[Warning][Unknown] lval (& ip6)->ip6_dst points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5766:74-5766:74)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7999:12-7999:46)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3123:3-3123:30)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3123:3-3123:30)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2934:3-2934:38)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2925:3-2925:28)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2925:3-2925:28)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4746:3-4746:31)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2934:3-2934:38)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2925:3-2925:28)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2936:3-2936:27)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2929:3-2929:27)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5018:3-5018:15)
[Info][Unsound] Unknown value in {&(alloc@sid:65)} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:759:10-759:20)
[Warning][Deadcode] Function 'imax' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:369:1-369:66)
[Warning][Deadcode] Function 'imin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:370:1-370:66)
[Warning][Deadcode] Function 'lmax' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:371:1-371:69)
[Warning][Deadcode] Function 'lmin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:372:1-372:69)
[Warning][Deadcode] Function 'max' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:373:1-373:71)
[Warning][Deadcode] Function 'min' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:374:1-374:71)
[Warning][Deadcode] Function 'ulmax' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:375:1-375:76)
[Warning][Deadcode] Function 'ulmin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:376:1-376:76)
[Warning][Deadcode] Function 'abs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:377:1-377:59)
[Warning][Deadcode] Function 'openbsd_clock_gettime' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:428:1-431:1)
[Warning][Deadcode] Function 'satosin6' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:519:1-521:1)
[Warning][Deadcode] Function 'sin6tosa' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:522:1-524:1)
[Warning][Deadcode] Function 'ifatoia6' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:525:1-527:1)
[Warning][Deadcode] Function 'satosin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:569:1-571:1)
[Warning][Deadcode] Function 'sintosa' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:572:1-574:1)
[Warning][Deadcode] Function 'ifatoia' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:575:1-577:1)
[Warning][Deadcode] Function 'sstosa' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:854:1-856:1)
[Warning][Deadcode] Function '__fd_set' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:891:1-894:1)
[Warning][Deadcode] Function '__fd_clr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:895:1-898:1)
[Warning][Deadcode] Function '__fd_isset' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:899:1-902:1)
[Warning][Deadcode] Function 'bintime_addx' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:926:1-932:1)
[Warning][Deadcode] Function 'bintime_add' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:933:1-940:1)
[Warning][Deadcode] Function 'bintime_sub' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:941:1-948:1)
[Warning][Deadcode] Function 'bintime2timespec' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:949:1-953:1)
[Warning][Deadcode] Function 'timespec2bintime' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:954:1-957:1)
[Warning][Deadcode] Function 'bintime2timeval' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:958:1-961:1)
[Warning][Deadcode] Function 'timeval2bintime' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:962:1-965:1)
[Warning][Deadcode] Function 'xsave' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1217:1-1222:1)
[Warning][Deadcode] Function 'm_get' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1851:1-1863:1)
[Warning][Deadcode] Function 'm_leadingspace' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1900:1-1909:1)
[Warning][Deadcode] Function 'm_prepend' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1910:1-1949:1)
[Warning][Deadcode] Function 'm_adj' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1950:1-2004:1)
[Warning][Deadcode] Function 'm_pullup' is uncalled: 53 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2005:1-2086:1)
[Warning][Deadcode] Function 'm_trailingspace' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2087:1-2098:1)
[Warning][Deadcode] Function 'm_clget' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2099:1-2101:1)
[Warning][Deadcode] Function 'ifq_set_oactive' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2445:1-2447:1)
[Warning][Deadcode] Function 'ifq_clr_oactive' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2448:1-2450:1)
[Warning][Deadcode] Function 'ifq_is_oactive' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2451:1-2453:1)
[Warning][Deadcode] Function 'ifq_start' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2454:1-2456:1)
[Warning][Deadcode] Function 'ifq_restart' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2457:1-2459:1)
[Warning][Deadcode] Function 'ifq_idx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2460:1-2463:1)
[Warning][Deadcode] Function '_atomic_cas_uint' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2802:1-2808:1)
[Warning][Deadcode] Function '_atomic_cas_ulong' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2809:1-2815:1)
[Warning][Deadcode] Function '_atomic_cas_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2816:1-2821:1)
[Warning][Deadcode] Function '_atomic_swap_uint' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2822:1-2826:1)
[Warning][Deadcode] Function '_atomic_swap_ulong' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2827:1-2831:1)
[Warning][Deadcode] Function '_atomic_swap_64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2832:1-2835:1)
[Warning][Deadcode] Function '_atomic_swap_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2836:1-2841:1)
[Warning][Deadcode] Function '_atomic_inc_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2842:1-2844:1)
[Warning][Deadcode] Function '_atomic_inc_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2845:1-2847:1)
[Warning][Deadcode] Function '_atomic_dec_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2848:1-2850:1)
[Warning][Deadcode] Function '_atomic_dec_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2851:1-2853:1)
[Warning][Deadcode] Function '_atomic_add_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2854:1-2856:1)
[Warning][Deadcode] Function '_atomic_add_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2857:1-2860:1)
[Warning][Deadcode] Function '_atomic_sub_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2861:1-2863:1)
[Warning][Deadcode] Function '_atomic_sub_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2864:1-2867:1)
[Warning][Deadcode] Function '_atomic_add_int_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2868:1-2873:1)
[Warning][Deadcode] Function '_atomic_add_long_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2874:1-2879:1)
[Warning][Deadcode] Function '_atomic_sub_int_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2880:1-2885:1)
[Warning][Deadcode] Function '_atomic_sub_long_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2886:1-2891:1)
[Warning][Deadcode] Function 'x86_atomic_setbits_u32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2892:1-2895:1)
[Warning][Deadcode] Function 'x86_atomic_clearbits_u32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2896:1-2899:1)
[Warning][Deadcode] Function 'x86_atomic_setbits_u64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2900:1-2903:1)
[Warning][Deadcode] Function 'x86_atomic_clearbits_u64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2904:1-2907:1)
[Warning][Deadcode] Function 'counters_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2938:1-2944:1)
[Warning][Deadcode] Function 'counters_pkt' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2945:1-2953:1)
[Warning][Deadcode] Function 'rtstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:2962:1-2965:1)
[Warning][Deadcode] Function 'tcpstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3617:1-3619:1)
[Warning][Deadcode] Function 'tcpstat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3620:1-3622:1)
[Warning][Deadcode] Function 'tcpstat_pkt' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3623:1-3626:1)
[Warning][Deadcode] Function 'udpstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3732:1-3734:1)
[Warning][Deadcode] Function 'icmp6stat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3945:1-3947:1)
[Warning][Deadcode] Function '_rb_init' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3980:1-3982:1)
[Warning][Deadcode] Function '_rb_empty' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:3983:1-3985:1)
[Warning][Deadcode] Function 'ipipstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4378:1-4380:1)
[Warning][Deadcode] Function 'ipipstat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4381:1-4383:1)
[Warning][Deadcode] Function 'ifmatoin6m' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4592:1-4594:1)
[Warning][Deadcode] Function 'ip6stat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4748:1-4750:1)
[Warning][Deadcode] Function 'ip_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4831:1-4831:21)
[Warning][Deadcode] Function 'in6_domifattach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5021:1-5027:1)
[Warning][Deadcode] Function 'in6_domifdetach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5028:1-5033:1)
[Warning][Deadcode] Function 'ip6_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5034:1-5040:1)
[Warning][Deadcode] Function 'ip6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5041:1-5047:1)
[Warning][Deadcode] Function 'frag6_slowtimo' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5055:1-5060:1)
[Warning][Deadcode] Function 'frag6_drain' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5061:1-5066:1)
[Warning][Deadcode] Function 'udp_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5067:1-5073:1)
[Warning][Deadcode] Function 'udp_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5081:1-5087:1)
[Warning][Deadcode] Function 'udp_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5088:1-5095:1)
[Warning][Deadcode] Function 'udp6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5096:1-5101:1)
[Warning][Deadcode] Function 'tcp_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5102:1-5108:1)
[Warning][Deadcode] Function 'tcp_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5109:1-5115:1)
[Warning][Deadcode] Function 'tcp_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5123:1-5129:1)
[Warning][Deadcode] Function 'tcp_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5130:1-5137:1)
[Warning][Deadcode] Function 'tcp6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5138:1-5143:1)
[Warning][Deadcode] Function 'rip6_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5144:1-5150:1)
[Warning][Deadcode] Function 'rip6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5151:1-5156:1)
[Warning][Deadcode] Function 'rip6_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5157:1-5163:1)
[Warning][Deadcode] Function 'rip6_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5164:1-5169:1)
[Warning][Deadcode] Function 'rip6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5177:1-5183:1)
[Warning][Deadcode] Function 'rip6_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5184:1-5191:1)
[Warning][Deadcode] Function 'icmp6_fasttimo' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5192:1-5197:1)
[Warning][Deadcode] Function 'icmp6_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5198:1-5203:1)
[Warning][Deadcode] Function 'icmp6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5211:1-5217:1)
[Warning][Deadcode] Function 'splassert_fail' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5610:1-5615:1)
[Warning][Deadcode] Function 'ether_fakeaddr' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5616:1-5621:1)
[Warning][Deadcode] Function 'ifmedia_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5622:1-5628:1)
[Warning][Deadcode] Function 'ifmedia_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5629:1-5634:1)
[Warning][Deadcode] Function 'ifmedia_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5635:1-5640:1)
[Warning][Deadcode] Function 'if_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5641:1-5646:1)
[Warning][Deadcode] Function 'ether_ifattach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5647:1-5652:1)
[Warning][Deadcode] Function 'ifmedia_delete_instance' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5653:1-5658:1)
[Warning][Deadcode] Function 'ether_ifdetach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5659:1-5664:1)
[Warning][Deadcode] Function 'if_detach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5665:1-5670:1)
[Warning][Deadcode] Function 'if_clone_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5671:1-5676:1)
[Warning][Deadcode] Function 'ifmedia_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5677:1-5684:1)
[Warning][Deadcode] Function 'suser' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5685:1-5691:1)
[Warning][Deadcode] Function 'rtable_exists' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5692:1-5698:1)
[Warning][Deadcode] Function 'ether_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5699:1-5705:1)
[Warning][Deadcode] Function 'ifq_dequeue' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5706:1-5713:1)
[Warning][Deadcode] Function 'bpf_mtap' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5714:1-5720:1)
[Warning][Deadcode] Function 'unhandled_af' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5721:1-5728:1)
[Warning][Deadcode] Function 'ip_randomid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5729:1-5735:1)
[Warning][Deadcode] Function 'pf_pkt_addr_changed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5736:1-5736:43)
[Warning][Deadcode] Function 'ip_output' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5737:1-5744:1)
[Warning][Deadcode] Function 'in6_embedscope' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5746:1-5753:1)
[Warning][Deadcode] Function 'ip6_output' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5754:1-5761:1)
[Warning][Deadcode] Function 'rtable_l2' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5762:1-5762:74)
[Warning][Deadcode] Function 'ml_enqueue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5764:1-5764:55)
[Warning][Deadcode] Function 'if_input' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5765:1-5765:54)
[Warning][Deadcode] Function 'sysctl_int' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5767:1-5773:1)
[Warning][Deadcode] Function 'sysctl_struct' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5774:1-5780:1)
[Warning][Deadcode] Function 'satosdl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:6116:1-6118:1)
[Warning][Deadcode] Function 'sdltosa' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:6119:1-6121:1)
[Warning][Deadcode] Function 'etheripattach' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7529:1-7529:67)
[Warning][Deadcode] Function 'etherip_clone_create' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7530:1-7560:1)
[Warning][Deadcode] Function 'etherip_clone_destroy' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7561:1-7575:1)
[Warning][Deadcode] Function 'etherip_media_change' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7576:1-7576:57)
[Warning][Deadcode] Function 'etherip_media_status' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7577:1-7580:1)
[Warning][Deadcode] Function 'etherip_start' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7581:1-7610:1)
[Warning][Deadcode] Function 'etherip_ioctl' is uncalled: 64 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7611:1-7701:1)
[Warning][Deadcode] Function 'etherip_set_tunnel_addr' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7702:1-7726:1)
[Warning][Deadcode] Function 'ip_etherip_output' is uncalled: 50 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7727:1-7818:1)
[Warning][Deadcode] Function 'ip_etherip_input' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7819:1-7880:1)
[Warning][Deadcode] Function 'ip6_etherip_output' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7881:1-7962:1)
[Warning][Deadcode] Function 'ip_etherip_sysctl' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:8028:1-8044:1)
[Warning][Deadcode] Function 'dest6_input' has dead code:
  on line 5221 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5221-5221)
  on line 5223 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5223-5223)
[Warning][Deadcode] Function 'frag6_input' has dead code:
  on line 5051 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5051-5051)
  on line 5053 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5053-5053)
[Warning][Deadcode] Function 'icmp6_input' has dead code:
  on line 5207 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5207-5207)
  on line 5209 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5209-5209)
[Warning][Deadcode] Function 'ip6_etherip_input' has dead code:
  on line 7982 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7982-7982)
  on lines 7984..7986 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7984-7986)
  on line 7994 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7994-7994)
  on lines 8001..8005 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:8001-8005)
  on lines 8007..8011 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:8007-8011)
  on lines 8013..8014 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:8013-8014)
  on lines 8016..8020 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:8016-8020)
  on lines 8022..8026 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:8022-8026)
[Warning][Deadcode] Function 'ip_deliver' has dead code:
  on lines 4995..4996 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4995-4996)
  on lines 4999..5000 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4999-5000)
  on line 5005 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5005-5005)
[Warning][Deadcode] Function 'ipip_input' has dead code:
  on line 5235 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5235-5235)
  on line 5237 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5237-5237)
[Warning][Deadcode] Function 'm_free' has dead code:
  on line 1885 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1885-1885)
[Warning][Deadcode] Function 'm_freem' has dead code:
  on line 1893 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1893-1893)
[Warning][Deadcode] Function 'm_gethdr' has dead code:
  on line 1867 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1867-1867)
[Warning][Deadcode] Function 'panic' has dead code:
  on line 5607 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5607-5607)
  on line 5609 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5609-5609)
[Warning][Deadcode] Function 'pffindproto' has dead code:
  on line 4947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4947-4947)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 410 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:410-410)
[Warning][Deadcode] Function 'rip6_input' has dead code:
  on line 5173 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5173-5173)
  on line 5175 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5175-5175)
[Warning][Deadcode] Function 'route6_input' has dead code:
  on line 5228 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5228-5228)
  on line 5230 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5230-5230)
[Warning][Deadcode] Function 'tcp_input' has dead code:
  on line 5119 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5119-5119)
  on line 5121 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5121-5121)
[Warning][Deadcode] Function 'udp_input' has dead code:
  on line 5077 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5077-5077)
  on line 5079 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5079-5079)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 152
  dead: 782 (727 in uncalled functions)
  total lines: 934
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-570] condition '(unsigned long )pr < (unsigned long )dp->dom_protoswNPROTOSW' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4948:7-4948:64)
[Warning][Deadcode][CWE-571] condition 'i < len' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:7-5601:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-570] condition 'family == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4946:7-4946:18)
[Warning][Deadcode][CWE-571] condition 'i < len' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:7-5601:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'i < len' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:7-5601:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition '(unsigned long )maybe == (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'i < len' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:7-5601:27)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition '(unsigned long )ifp == (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7998:7-7998:25)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-570] condition '(unsigned long )pr < (unsigned long )inet6domain.dom_protoswNPROTOSW' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4973:7-4973:80)
[Warning][Deadcode][CWE-570] condition '(unsigned long )sc != (unsigned long )((void *)0)' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:7980:7-7981:39)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4984:9-4984:68)
[Warning][Deadcode][CWE-571] condition 'ip6_hdrnestlimit' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4984:9-4984:68)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-570] condition 'nxt != 59' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4989:9-4989:59)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'nxt != 257' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4983:10-4983:20)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4984:9-4984:68)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'ip6_hdrnestlimit' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4984:9-4984:68)
[Warning][Deadcode][CWE-570] condition 'nxt == 4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4994:5-4994:11)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-570] condition 'nxt == 41' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4998:5-4998:12)
[Warning][Deadcode][CWE-570] condition 'nest > ip6_hdrnestlimit' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4984:9-4984:68)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition 'nxt != 59' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4989:9-4989:59)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-570] condition 'af == 2' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5004:5-5004:11)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5007:5-5007:12)
[Warning][Deadcode][CWE-570] condition 'nxt == 4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4994:5-4994:11)
[Warning][Deadcode][CWE-570] condition 'nxt == 41' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4998:5-4998:12)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-570] condition 'nowait == 0x0002' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1866:7-1866:51)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'i < 256' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4971:7-4971:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-570] condition 'af == 2' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5004:5-5004:11)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5007:5-5007:12)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:409:5-409:73)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-570] condition '(unsigned long )m___0 == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1884:7-1884:23)
[Warning][Deadcode][CWE-571] condition 'i < len' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:7-5601:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-570] condition '(unsigned long )m___0 == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:1892:7-1892:23)
[Warning][Deadcode][CWE-571] condition '(pr->pr_domain)->dom_family == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4951:9-4952:29)
[Warning][Deadcode][CWE-571] condition 'i < len' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:5601:7-5601:27)
[Warning][Deadcode][CWE-571] condition '(int )pr->pr_protocol < 256' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-unreach-call.i:4974:9-4975:56)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 1
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 1
SV-COMP result: ERROR (witness error)
[Error][Imprecise][Unsound] Function definition missing
