./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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.i:1070: Warning: Ignoring identifier attribute
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2796: 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-fixed-invalid-deref1.i:427 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.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-fixed-invalid-deref1.i:1896:3-1898:27 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1931:9-1936:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1959:5-1969:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1976:5-1981:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1994:5-2001:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2002:5-2003:26 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2050:9-2055:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2066:3-2081:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4949:3-4955:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4972:3-4973:33 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4974:3-4978:1 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4984:3-5013:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5599:3-5600:13 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7549:3-7556:14 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7561:3-7567:14 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7584:5-7586:16 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7705:3-7719:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7836:3-7848:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7978:3-7995: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][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-fixed-invalid-deref1.i:1877:3-1877: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-fixed-invalid-deref1.i:1879:3-1880:52)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:868:3-868: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-fixed-invalid-deref1.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-fixed-invalid-deref1.i:876:3-876:52)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:877:3-877:31)
[Info][Unsound] Unknown address in {&ref} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2935:3-2935:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2935:3-2935: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-fixed-invalid-deref1.i:2926:3-2926: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-fixed-invalid-deref1.i:2927:11-2927:18)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2936:3-2936:16)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2937:3-2937:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2937:3-2937:27)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2930:3-2930:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2930:3-2930:27)
[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-fixed-invalid-deref1.i:2930:3-2930: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-fixed-invalid-deref1.i:4989:10-4989:46)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5011:5-5011:46)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5011:5-5011:46)
[Warning][Behavior > Undefined > MemoryLeak][CWE-401] Memory leak detected for heap variables (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:151:3-151:52)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7971:5-7971:15)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1897:5-1897:18)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1888:3-1888: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-fixed-invalid-deref1.i:7976:3-7976: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-fixed-invalid-deref1.i:5764:74-5764: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-fixed-invalid-deref1.i:7977:3-7977: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-fixed-invalid-deref1.i:5764:74-5764:74)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7997:12-7997:46)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3124:3-3124:30)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3124:3-3124:30)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2935:3-2935:38)
[Info][Unsound] Unknown address in {&ipcounters_array[0]} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2926:3-2926:28)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2926:3-2926:28)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5016:3-5016:15)
[Warning][Behavior > Undefined > ArrayOutOfBounds > Unknown] May access array out of bounds (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.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-fixed-invalid-deref1.i:878:10-878:11)
[Warning][Deadcode] Function 'imax' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.i:892:1-895:1)
[Warning][Deadcode] Function '__fd_clr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:896:1-899:1)
[Warning][Deadcode] Function '__fd_isset' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:900:1-903:1)
[Warning][Deadcode] Function 'bintime_addx' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:927:1-933:1)
[Warning][Deadcode] Function 'bintime_add' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:934:1-941:1)
[Warning][Deadcode] Function 'bintime_sub' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:942:1-949:1)
[Warning][Deadcode] Function 'bintime2timespec' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:950:1-954:1)
[Warning][Deadcode] Function 'timespec2bintime' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:955:1-958:1)
[Warning][Deadcode] Function 'bintime2timeval' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:959:1-962:1)
[Warning][Deadcode] Function 'timeval2bintime' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:963:1-966:1)
[Warning][Deadcode] Function 'xsave' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1218:1-1223:1)
[Warning][Deadcode] Function 'm_get' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1852:1-1864:1)
[Warning][Deadcode] Function 'm_leadingspace' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1901:1-1910:1)
[Warning][Deadcode] Function 'm_prepend' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1911:1-1950:1)
[Warning][Deadcode] Function 'm_adj' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1951:1-2005:1)
[Warning][Deadcode] Function 'm_pullup' is uncalled: 53 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2006:1-2087:1)
[Warning][Deadcode] Function 'm_trailingspace' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2088:1-2099:1)
[Warning][Deadcode] Function 'm_clget' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2100:1-2102:1)
[Warning][Deadcode] Function 'ifq_set_oactive' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2446:1-2448:1)
[Warning][Deadcode] Function 'ifq_clr_oactive' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2449:1-2451:1)
[Warning][Deadcode] Function 'ifq_is_oactive' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2452:1-2454:1)
[Warning][Deadcode] Function 'ifq_start' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2455:1-2457:1)
[Warning][Deadcode] Function 'ifq_restart' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2458:1-2460:1)
[Warning][Deadcode] Function 'ifq_idx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2461:1-2464:1)
[Warning][Deadcode] Function '_atomic_cas_uint' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2803:1-2809:1)
[Warning][Deadcode] Function '_atomic_cas_ulong' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2810:1-2816:1)
[Warning][Deadcode] Function '_atomic_cas_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2817:1-2822:1)
[Warning][Deadcode] Function '_atomic_swap_uint' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2823:1-2827:1)
[Warning][Deadcode] Function '_atomic_swap_ulong' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2828:1-2832:1)
[Warning][Deadcode] Function '_atomic_swap_64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2833:1-2836:1)
[Warning][Deadcode] Function '_atomic_swap_ptr' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2837:1-2842:1)
[Warning][Deadcode] Function '_atomic_inc_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2843:1-2845:1)
[Warning][Deadcode] Function '_atomic_inc_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2846:1-2848:1)
[Warning][Deadcode] Function '_atomic_dec_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2849:1-2851:1)
[Warning][Deadcode] Function '_atomic_dec_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2852:1-2854:1)
[Warning][Deadcode] Function '_atomic_add_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2855:1-2857:1)
[Warning][Deadcode] Function '_atomic_add_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2858:1-2861:1)
[Warning][Deadcode] Function '_atomic_sub_int' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2862:1-2864:1)
[Warning][Deadcode] Function '_atomic_sub_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2865:1-2868:1)
[Warning][Deadcode] Function '_atomic_add_int_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2869:1-2874:1)
[Warning][Deadcode] Function '_atomic_add_long_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2875:1-2880:1)
[Warning][Deadcode] Function '_atomic_sub_int_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2881:1-2886:1)
[Warning][Deadcode] Function '_atomic_sub_long_nv' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2887:1-2892:1)
[Warning][Deadcode] Function 'x86_atomic_setbits_u32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2893:1-2896:1)
[Warning][Deadcode] Function 'x86_atomic_clearbits_u32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2897:1-2900:1)
[Warning][Deadcode] Function 'x86_atomic_setbits_u64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2901:1-2904:1)
[Warning][Deadcode] Function 'x86_atomic_clearbits_u64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2905:1-2908:1)
[Warning][Deadcode] Function 'counters_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2939:1-2945:1)
[Warning][Deadcode] Function 'counters_pkt' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2946:1-2954:1)
[Warning][Deadcode] Function 'rtstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:2963:1-2966:1)
[Warning][Deadcode] Function 'tcpstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3618:1-3620:1)
[Warning][Deadcode] Function 'tcpstat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3621:1-3623:1)
[Warning][Deadcode] Function 'tcpstat_pkt' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3624:1-3627:1)
[Warning][Deadcode] Function 'udpstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3733:1-3735:1)
[Warning][Deadcode] Function 'icmp6stat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3946:1-3948:1)
[Warning][Deadcode] Function '_rb_init' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3981:1-3983:1)
[Warning][Deadcode] Function '_rb_empty' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:3984:1-3986:1)
[Warning][Deadcode] Function 'ipipstat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4379:1-4381:1)
[Warning][Deadcode] Function 'ipipstat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4382:1-4384:1)
[Warning][Deadcode] Function 'ifmatoin6m' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4593:1-4595:1)
[Warning][Deadcode] Function 'ip6stat_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4746:1-4748:1)
[Warning][Deadcode] Function 'ip6stat_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4749:1-4751:1)
[Warning][Deadcode] Function 'pffindproto' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4943:1-4957:1)
[Warning][Deadcode] Function 'ip6_init' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4963:1-4978:1)
[Warning][Deadcode] Function 'in6_domifattach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5019:1-5025:1)
[Warning][Deadcode] Function 'in6_domifdetach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5026:1-5031:1)
[Warning][Deadcode] Function 'ip6_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5032:1-5038:1)
[Warning][Deadcode] Function 'ip6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5039:1-5045:1)
[Warning][Deadcode] Function 'frag6_slowtimo' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5053:1-5058:1)
[Warning][Deadcode] Function 'frag6_drain' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5059:1-5064:1)
[Warning][Deadcode] Function 'udp_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5065:1-5071:1)
[Warning][Deadcode] Function 'udp_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5079:1-5085:1)
[Warning][Deadcode] Function 'udp_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5086:1-5093:1)
[Warning][Deadcode] Function 'udp6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5094:1-5099:1)
[Warning][Deadcode] Function 'tcp_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5100:1-5106:1)
[Warning][Deadcode] Function 'tcp_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5107:1-5113:1)
[Warning][Deadcode] Function 'tcp_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5121:1-5127:1)
[Warning][Deadcode] Function 'tcp_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5128:1-5135:1)
[Warning][Deadcode] Function 'tcp6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5136:1-5141:1)
[Warning][Deadcode] Function 'rip6_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5142:1-5148:1)
[Warning][Deadcode] Function 'rip6_ctlinput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5149:1-5154:1)
[Warning][Deadcode] Function 'rip6_ctloutput' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5155:1-5161:1)
[Warning][Deadcode] Function 'rip6_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5162:1-5167:1)
[Warning][Deadcode] Function 'rip6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5175:1-5181:1)
[Warning][Deadcode] Function 'rip6_usrreq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5182:1-5189:1)
[Warning][Deadcode] Function 'icmp6_fasttimo' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5190:1-5195:1)
[Warning][Deadcode] Function 'icmp6_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5196:1-5201:1)
[Warning][Deadcode] Function 'icmp6_sysctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5209:1-5215:1)
[Warning][Deadcode] Function 'explicit_bzero' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5596:1-5601:1)
[Warning][Deadcode] Function 'panic' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5602:1-5607:1)
[Warning][Deadcode] Function 'splassert_fail' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5608:1-5613:1)
[Warning][Deadcode] Function 'ether_fakeaddr' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5614:1-5619:1)
[Warning][Deadcode] Function 'ifmedia_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5620:1-5626:1)
[Warning][Deadcode] Function 'ifmedia_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5627:1-5632:1)
[Warning][Deadcode] Function 'ifmedia_set' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5633:1-5638:1)
[Warning][Deadcode] Function 'if_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5639:1-5644:1)
[Warning][Deadcode] Function 'ether_ifattach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5645:1-5650:1)
[Warning][Deadcode] Function 'ifmedia_delete_instance' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5651:1-5656:1)
[Warning][Deadcode] Function 'ether_ifdetach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5657:1-5662:1)
[Warning][Deadcode] Function 'if_detach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5663:1-5668:1)
[Warning][Deadcode] Function 'if_clone_attach' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5669:1-5674:1)
[Warning][Deadcode] Function 'ifmedia_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5675:1-5682:1)
[Warning][Deadcode] Function 'suser' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5683:1-5689:1)
[Warning][Deadcode] Function 'rtable_exists' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5690:1-5696:1)
[Warning][Deadcode] Function 'ether_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5697:1-5703:1)
[Warning][Deadcode] Function 'ifq_dequeue' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5704:1-5711:1)
[Warning][Deadcode] Function 'bpf_mtap' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5712:1-5718:1)
[Warning][Deadcode] Function 'unhandled_af' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5719:1-5726:1)
[Warning][Deadcode] Function 'ip_randomid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5727:1-5733:1)
[Warning][Deadcode] Function 'pf_pkt_addr_changed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5734:1-5734:43)
[Warning][Deadcode] Function 'ip_output' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5735:1-5742:1)
[Warning][Deadcode] Function 'in6_embedscope' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5744:1-5751:1)
[Warning][Deadcode] Function 'ip6_output' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5752:1-5759:1)
[Warning][Deadcode] Function 'rtable_l2' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5760:1-5760:74)
[Warning][Deadcode] Function 'ml_enqueue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5762:1-5762:55)
[Warning][Deadcode] Function 'if_input' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5763:1-5763:54)
[Warning][Deadcode] Function 'sysctl_int' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5765:1-5771:1)
[Warning][Deadcode] Function 'sysctl_struct' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5772:1-5778:1)
[Warning][Deadcode] Function 'satosdl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:6114:1-6116:1)
[Warning][Deadcode] Function 'sdltosa' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:6117:1-6119:1)
[Warning][Deadcode] Function 'etheripattach' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7527:1-7527:67)
[Warning][Deadcode] Function 'etherip_clone_create' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7528:1-7558:1)
[Warning][Deadcode] Function 'etherip_clone_destroy' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7559:1-7573:1)
[Warning][Deadcode] Function 'etherip_media_change' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7574:1-7574:57)
[Warning][Deadcode] Function 'etherip_media_status' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7575:1-7578:1)
[Warning][Deadcode] Function 'etherip_start' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7579:1-7608:1)
[Warning][Deadcode] Function 'etherip_ioctl' is uncalled: 64 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7609:1-7699:1)
[Warning][Deadcode] Function 'etherip_set_tunnel_addr' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7700:1-7724:1)
[Warning][Deadcode] Function 'ip_etherip_output' is uncalled: 50 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7725:1-7816:1)
[Warning][Deadcode] Function 'ip_etherip_input' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7817:1-7878:1)
[Warning][Deadcode] Function 'ip6_etherip_output' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7879:1-7960:1)
[Warning][Deadcode] Function 'ip_etherip_sysctl' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:8026:1-8042:1)
[Warning][Deadcode] Function 'dest6_input' has dead code:
  on line 5219 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5219-5219)
  on line 5221 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5221-5221)
[Warning][Deadcode] Function 'frag6_input' has dead code:
  on line 5049 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5049-5049)
  on line 5051 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5051-5051)
[Warning][Deadcode] Function 'icmp6_input' has dead code:
  on line 5205 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5205-5205)
  on line 5207 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5207-5207)
[Warning][Deadcode] Function 'ip6_etherip_input' has dead code:
  on line 7980 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7980-7980)
  on lines 7982..7984 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7982-7984)
  on line 7992 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7992-7992)
  on lines 7999..8003 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:7999-8003)
  on lines 8005..8009 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:8005-8009)
  on lines 8011..8012 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:8011-8012)
  on lines 8014..8018 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:8014-8018)
  on lines 8020..8024 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:8020-8024)
[Warning][Deadcode] Function 'ip_deliver' has dead code:
  on line 4986 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4986-4986)
  on lines 4995..4996 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4995-4996)
  on lines 4999..5000 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4999-5000)
  on line 5005 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5005-5005)
[Warning][Deadcode] Function 'ipip_input' has dead code:
  on line 5233 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5233-5233)
  on line 5235 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5235-5235)
[Warning][Deadcode] Function 'm_free' has dead code:
  on line 1886 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1886-1886)
[Warning][Deadcode] Function 'm_freem' has dead code:
  on line 1894 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1894-1894)
[Warning][Deadcode] Function 'm_gethdr' has dead code:
  on line 1868 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1868-1868)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 410 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:410-410)
[Warning][Deadcode] Function 'rip6_input' has dead code:
  on line 5171 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5171-5171)
  on line 5173 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5173-5173)
[Warning][Deadcode] Function 'route6_input' has dead code:
  on line 5226 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5226-5226)
  on line 5228 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5228-5228)
[Warning][Deadcode] Function 'tcp_input' has dead code:
  on line 5117 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5117-5117)
  on line 5119 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5119-5119)
[Warning][Deadcode] Function 'udp_input' has dead code:
  on line 5075 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5075-5075)
  on line 5077 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:5077-5077)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 119
  dead: 809 (756 in uncalled functions)
  total lines: 928
[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-fixed-invalid-deref1.i:1898:10-1898:27)
[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-fixed-invalid-deref1.i:7996:7-7996:25)
[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-fixed-invalid-deref1.i:7970:7-7970:69)
[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-fixed-invalid-deref1.i:7978:7-7979:39)
[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-fixed-invalid-deref1.i:4984:10-4984:20)
[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-fixed-invalid-deref1.i:4984:10-4984:20)
[Warning][Deadcode][CWE-571] condition 'af == 24' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4985:9-4985:68)
[Warning][Deadcode][CWE-571] condition 'ip6_hdrnestlimit' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4985:9-4985:68)
[Warning][Deadcode][CWE-570] condition 'nest > ip6_hdrnestlimit' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:4985:9-4985:68)
[Warning][Deadcode][CWE-570] condition 'nxt == 4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.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-fixed-invalid-deref1.i:4998:5-4998:12)
[Warning][Deadcode][CWE-570] condition 'nowait == 0x0002' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.i:1867:7-1867:51)
[Warning][Deadcode][CWE-570] condition 'af == 2' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/openbsd-6.2/if_etherip-fixed-invalid-deref1.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-fixed-invalid-deref1.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-fixed-invalid-deref1.i:409:5-409:73)
[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-fixed-invalid-deref1.i:1885:7-1885:23)
[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-fixed-invalid-deref1.i:1893:7-1893:23)
[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
