./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_valid-memsafety/if_etherip-invalid-deref.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_valid-memsafety/if_etherip-invalid-deref.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/valid-memsafety.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-free) ) -> enabling soundness analyses "base, useAfterFree"[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-deref) ) -> enabling soundness analyses "base, memOutOfBounds"[0;0;00m
[0;34m[Info] Setting "ana.arrayoob" to true[0;0;00m
[0;34m[Info] Setting "cil.addNestedScopeAttr" to true[0;0;00m
[0;34m[Info] Specification: CHECK( init(main()), LTL(G valid-memtrack) ) -> enabling soundness analyses "memLeak"[0;0;00m
[0;34m[Info] Setting "ana.malloc.unique_address_count" to 5[0;0;00m
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1069: Warning: Ignoring identifier attribute
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:427 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:1895:3-1897:27 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1930:9-1935:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1958:5-1968:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1975:5-1980:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1993:5-2000:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2001:5-2002:26 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2049:9-2054:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2065:3-2080:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:3-4954:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4969:3-4970:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4971:3-4975:1 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4981:3-5010:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5596:3-5597:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7546:3-7553:14 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7558:3-7564:14 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7581:5-7583:16 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7702:3-7716:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7833:3-7845:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7975:3-7992: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 valid-free) )
CHECK( init(main()), LTL(G valid-deref) )
CHECK( init(main()), LTL(G valid-memtrack) )
[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-invalid-deref.i:5597:5-5597:13)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Could not compare size of pointer (3192) (in bytes) with offset by ((Unknown int([-63,63]),[6,9223372036854775807],not {} ([-63,63]))) (in bytes). Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5597:5-5597:13)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 320 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 87 (in bytes). It is offset by 384 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4948:7-4948:64)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:151:3-151:52)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970: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-invalid-deref.i:4970:5-4970:33)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 255 (in bytes). It is offset by 896 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1876:3-1876:51)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 255 (in bytes). It is offset by 256 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1878:3-1879:52)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:867:3-867:35)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:414:5-414:12)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 255 (in bytes). It is offset by 448 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:875:3-875:52)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.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-invalid-deref.i:2934:3-2934:38)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 15 (in bytes). It is offset by 64 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2925:3-2925:28)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 15 (in bytes). It is offset by 64 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2926:11-2926:18)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2935:3-2935:16)
[Warning][Unknown] Pointer counters + c has a points-to-set of top. An invalid memory access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2935:3-2935:16)
[Warning][Unknown] Size of lval dereference expression counters + c is top. Out-of-bounds memory access may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2935:3-2935:16)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of pointer counters in expression counters + c is top. Memory out-of-bounds access might occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2935:3-2935:16)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 15 (in bytes). It is offset by 64 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:2929:3-2929:27)
[Warning][Behavior > Undefined > MemoryOutOfBoundsAccess][CWE-823] Size of lval dereference expression is 255 (in bytes). It is offset by 448 (in bytes). Memory out-of-bounds access must occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4986:10-4986:46)
[Warning][Behavior > Undefined > ArrayOutOfBounds > PastEnd] May access array past end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5005:7-5005:38)
[Warning][Behavior > Undefined > ArrayOutOfBounds > PastEnd] May access array past end (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5008:5-5008:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5008:5-5008:46)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5008:5-5008:46)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7968:5-7968:15)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1896:5-1896:18)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1887:3-1887:49)
[Info][Unsound] Unknown value in {&ipsrc} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7973:3-7973: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-invalid-deref.i:5761:74-5761:74)
[Info][Unsound] Unknown value in {&ipdst} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7974:3-7974: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-invalid-deref.i:5761:74-5761:74)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7994:12-7994:46)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5013:3-5013:15)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:759:10-759:20)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:877:10-877:11)
[Warning][Deadcode] Function 'imax' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.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-invalid-deref.i:4592:1-4594:1)
[Warning][Deadcode] Function 'ip6stat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4745:1-4747:1)
[Warning][Deadcode] Function 'ip6stat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.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-invalid-deref.i:5016:1-5022:1)
[Warning][Deadcode] Function 'in6_domifdetach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5023:1-5028:1)
[Warning][Deadcode] Function 'ip6_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5029:1-5035:1)
[Warning][Deadcode] Function 'ip6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5036:1-5042:1)
[Warning][Deadcode] Function 'frag6_slowtimo' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5050:1-5055:1)
[Warning][Deadcode] Function 'frag6_drain' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5056:1-5061:1)
[Warning][Deadcode] Function 'udp_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5062:1-5068:1)
[Warning][Deadcode] Function 'udp_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5076:1-5082:1)
[Warning][Deadcode] Function 'udp_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5083:1-5090:1)
[Warning][Deadcode] Function 'udp6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5091:1-5096:1)
[Warning][Deadcode] Function 'tcp_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5097:1-5103:1)
[Warning][Deadcode] Function 'tcp_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5104:1-5110:1)
[Warning][Deadcode] Function 'tcp_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5118:1-5124:1)
[Warning][Deadcode] Function 'tcp_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5125:1-5132:1)
[Warning][Deadcode] Function 'tcp6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5133:1-5138:1)
[Warning][Deadcode] Function 'rip6_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5139:1-5145:1)
[Warning][Deadcode] Function 'rip6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5146:1-5151:1)
[Warning][Deadcode] Function 'rip6_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5152:1-5158:1)
[Warning][Deadcode] Function 'rip6_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5159:1-5164:1)
[Warning][Deadcode] Function 'rip6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5172:1-5178:1)
[Warning][Deadcode] Function 'rip6_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5179:1-5186:1)
[Warning][Deadcode] Function 'icmp6_fasttimo' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5187:1-5192:1)
[Warning][Deadcode] Function 'icmp6_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5193:1-5198:1)
[Warning][Deadcode] Function 'icmp6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5206:1-5212:1)
[Warning][Deadcode] Function 'splassert_fail' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5605:1-5610:1)
[Warning][Deadcode] Function 'ether_fakeaddr' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5611:1-5616:1)
[Warning][Deadcode] Function 'ifmedia_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5617:1-5623:1)
[Warning][Deadcode] Function 'ifmedia_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5624:1-5629:1)
[Warning][Deadcode] Function 'ifmedia_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5630:1-5635:1)
[Warning][Deadcode] Function 'if_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5636:1-5641:1)
[Warning][Deadcode] Function 'ether_ifattach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5642:1-5647:1)
[Warning][Deadcode] Function 'ifmedia_delete_instance' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5648:1-5653:1)
[Warning][Deadcode] Function 'ether_ifdetach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5654:1-5659:1)
[Warning][Deadcode] Function 'if_detach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5660:1-5665:1)
[Warning][Deadcode] Function 'if_clone_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5666:1-5671:1)
[Warning][Deadcode] Function 'ifmedia_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5672:1-5679:1)
[Warning][Deadcode] Function 'suser' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5680:1-5686:1)
[Warning][Deadcode] Function 'rtable_exists' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5687:1-5693:1)
[Warning][Deadcode] Function 'ether_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5694:1-5700:1)
[Warning][Deadcode] Function 'ifq_dequeue' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5701:1-5708:1)
[Warning][Deadcode] Function 'bpf_mtap' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5709:1-5715:1)
[Warning][Deadcode] Function 'unhandled_af' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5716:1-5723:1)
[Warning][Deadcode] Function 'ip_randomid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5724:1-5730:1)
[Warning][Deadcode] Function 'pf_pkt_addr_changed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5731:1-5731:43)
[Warning][Deadcode] Function 'ip_output' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5732:1-5739:1)
[Warning][Deadcode] Function 'in6_embedscope' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5741:1-5748:1)
[Warning][Deadcode] Function 'ip6_output' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5749:1-5756:1)
[Warning][Deadcode] Function 'rtable_l2' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5757:1-5757:74)
[Warning][Deadcode] Function 'ml_enqueue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5759:1-5759:55)
[Warning][Deadcode] Function 'if_input' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5760:1-5760:54)
[Warning][Deadcode] Function 'sysctl_int' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5762:1-5768:1)
[Warning][Deadcode] Function 'sysctl_struct' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5769:1-5775:1)
[Warning][Deadcode] Function 'satosdl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:6111:1-6113:1)
[Warning][Deadcode] Function 'sdltosa' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:6114:1-6116:1)
[Warning][Deadcode] Function 'etheripattach' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7524:1-7524:67)
[Warning][Deadcode] Function 'etherip_clone_create' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7525:1-7555:1)
[Warning][Deadcode] Function 'etherip_clone_destroy' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7556:1-7570:1)
[Warning][Deadcode] Function 'etherip_media_change' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7571:1-7571:57)
[Warning][Deadcode] Function 'etherip_media_status' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7572:1-7575:1)
[Warning][Deadcode] Function 'etherip_start' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7576:1-7605:1)
[Warning][Deadcode] Function 'etherip_ioctl' is uncalled: 64 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7606:1-7696:1)
[Warning][Deadcode] Function 'etherip_set_tunnel_addr' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7697:1-7721:1)
[Warning][Deadcode] Function 'ip_etherip_output' is uncalled: 50 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7722:1-7813:1)
[Warning][Deadcode] Function 'ip_etherip_input' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7814:1-7875:1)
[Warning][Deadcode] Function 'ip6_etherip_output' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7876:1-7957:1)
[Warning][Deadcode] Function 'ip_etherip_sysctl' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:8023:1-8039:1)
[Warning][Deadcode] Function 'dest6_input' has dead code:
  on line 5216 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5216-5216)
  on line 5218 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5218-5218)
[Warning][Deadcode] Function 'frag6_input' has dead code:
  on line 5046 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5046-5046)
  on line 5048 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5048-5048)
[Warning][Deadcode] Function 'icmp6_input' has dead code:
  on line 5202 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5202-5202)
  on line 5204 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5204-5204)
[Warning][Deadcode] Function 'ip6_etherip_input' has dead code:
  on line 7977 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7977-7977)
  on lines 7979..7981 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7979-7981)
  on line 7989 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7989-7989)
  on lines 7996..8000 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7996-8000)
  on lines 8002..8006 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:8002-8006)
  on lines 8008..8009 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:8008-8009)
  on lines 8011..8015 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:8011-8015)
  on lines 8017..8021 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:8017-8021)
[Warning][Deadcode] Function 'ip_deliver' has dead code:
  on line 4983 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4983-4983)
  on lines 4992..4993 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4992-4993)
  on lines 4996..4997 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4996-4997)
  on line 5002 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5002-5002)
[Warning][Deadcode] Function 'ipip_input' has dead code:
  on line 5230 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5230-5230)
  on line 5232 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5232-5232)
[Warning][Deadcode] Function 'm_free' has dead code:
  on line 1885 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.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-invalid-deref.i:1867-1867)
[Warning][Deadcode] Function 'panic' has dead code:
  on line 5602 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5602-5602)
  on line 5604 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5604-5604)
[Warning][Deadcode] Function 'pffindproto' has dead code:
  on line 4947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:410-410)
[Warning][Deadcode] Function 'rip6_input' has dead code:
  on line 5168 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5168-5168)
  on line 5170 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5170-5170)
[Warning][Deadcode] Function 'route6_input' has dead code:
  on line 5223 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5223-5223)
  on line 5225 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5225-5225)
[Warning][Deadcode] Function 'tcp_input' has dead code:
  on line 5114 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5114-5114)
  on line 5116 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5116-5116)
[Warning][Deadcode] Function 'udp_input' has dead code:
  on line 5072 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5072-5072)
  on line 5074 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5074-5074)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 147
  dead: 785 (729 in uncalled functions)
  total lines: 932
[Warning][Deadcode][CWE-570] condition '(unsigned long )m___0 != (unsigned long )((void *)0)' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:1897:10-1897: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-invalid-deref.i:4972:9-4973: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-invalid-deref.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-invalid-deref.i:5596:7-5596: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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-570] condition 'family == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4946:7-4946:18)
[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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:5596:7-5596:27)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:7993:7-7993:25)
[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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition '((int )m___0->m_hdr.mh_flags & 3072) == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:7967:7-7967:69)
[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-invalid-deref.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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4969:7-4969:27)
[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-invalid-deref.i:7975:7-7976:39)
[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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4969:7-4969: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4951:9-4952:29)
[Warning][Deadcode][CWE-570] condition 'nxt != 257' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4981:10-4981: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-invalid-deref.i:4969:7-4969: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-invalid-deref.i:4971:7-4971:80)
[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-invalid-deref.i:4969:7-4969: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4969:7-4969:27)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4969:7-4969: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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4981:10-4981: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-invalid-deref.i:4969:7-4969:27)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4982:9-4982: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'ip6_hdrnestlimit' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4982:9-4982:68)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4951:9-4952:29)
[Warning][Deadcode][CWE-570] condition 'nest > ip6_hdrnestlimit' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4982:9-4982: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-invalid-deref.i:4969:7-4969:27)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4969:7-4969: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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-570] condition 'nxt == 4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4991:5-4991: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-invalid-deref.i:4969:7-4969:27)
[Warning][Deadcode][CWE-570] condition 'nxt == 41' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:4995:5-4995:12)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4969:7-4969:27)
[Warning][Deadcode][CWE-570] condition 'nowait == 0x0002' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:4972:9-4973: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-invalid-deref.i:5596:7-5596:27)
[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-invalid-deref.i:4969:7-4969: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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:5001:5-5001:11)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.i:5004:5-5004:12)
[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-invalid-deref.i:5596:7-5596:27)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.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-invalid-deref.i:4972:9-4973: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-invalid-deref.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-invalid-deref.i:5596:7-5596: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-invalid-deref.i:4972:9-4973: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-invalid-deref.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-invalid-deref.i:4972:9-4973:56)
[Warning][Deadcode][CWE-571] condition 'type == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-invalid-deref.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-invalid-deref.i:5596:7-5596: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-invalid-deref.i:4972:9-4973: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
