./goblint --conf conf/svcomp.json --set ana.malloc.unique_address_count 1 --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2670-821:3297 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3360-821:3574 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3631-821:3712 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4976-821:5072 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2513-824:2594 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2685-824:2822 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:3062-824:3171 with factor 25
[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] Setting "ana.int.interval" to true
[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 ! overflow) )
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4981-821:5059)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4981-821:5059)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5120-821:5184)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5190-821:5226)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5232-821:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5322-821:5347)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5467-821:5505)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5509-821:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1663-821:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1663-821:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1712-821:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1712-821:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1761-821:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1761-821:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1809-821:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1837-821:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1853-821:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1903-821:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1923-821:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1939-821:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1964-821:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1984-821:2002)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2004-821:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2034-821:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2050-821:2068)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2070-821:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2100-821:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2120-821:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2136-821:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2162-821:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2182-821:2200)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2202-821:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2231-821:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2247-821:2265)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2267-821:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2296-821:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2316-821:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2332-821:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2358-821:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2378-821:2396)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2398-821:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3327-821:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3397-821:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3397-821:3484)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3397-821:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3397-821:3484)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3487-821:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3525-821:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2676-821:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2833-821:2868)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2945-821:3002)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3005-821:3090)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3206-821:3278)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3602-821:3629)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3636-821:3699)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3784-821:3801)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3804-821:3845)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3925-821:3967)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4011-821:4100)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4011-821:4100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4238-821:4352)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4501-821:4724)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4501-821:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4501-821:4724)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4501-821:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5605-821:5642)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5646-821:5684)
[Info][Unsound] Unknown address in {&(alloc@sid:588(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:588)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:93(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:93).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> 0
                                                       tbl -> {&(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:93)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                       key -> {&(alloc@sid:93).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:93)}
                                                       prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5688-821:5733)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5737-821:5900)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5737-821:5900)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        key -> {&(alloc@sid:93(#0)).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:93)}
                                                        prev -> 0
                                                        tbl -> {&(alloc@sid:265(#0))}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2892-824:2958)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        key -> {&(alloc@sid:93).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:93)}
                                                        prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2892-824:2958)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        key -> {&(alloc@sid:93(#0)).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:93)}
                                                        prev -> 0
                                                        tbl -> {&(alloc@sid:265(#0))}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2892-824:2958)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:93).hh, &(alloc@sid:93(#0)).hh}
                                                        key -> {&(alloc@sid:93).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:93)}
                                                        prev -> {?, NULL, &(alloc@sid:93).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])], &(alloc@sid:93(#0)).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:265), &(alloc@sid:265(#0))}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2892-824:2958)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1652-824:1691)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1652-824:1691)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1701-824:1740)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1701-824:1740)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1750-824:1788)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1750-824:1788)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1798-824:1817)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1826-824:1840)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1842-824:1860)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1892-824:1910)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1912-824:1926)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1928-824:1951)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1953-824:1971)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1973-824:1991)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1993-824:2021)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2023-824:2037)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2039-824:2057)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2059-824:2087)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2089-824:2107)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2109-824:2123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2125-824:2149)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2151-824:2169)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2171-824:2189)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2191-824:2218)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2220-824:2234)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2236-824:2254)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2256-824:2283)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2285-824:2303)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2305-824:2319)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2321-824:2345)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2347-824:2365)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2367-824:2385)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2387-824:2415)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2518-824:2581)
[Info][Imprecise] Invalidating expressions: & tmp___5 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2966-824:3007)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:787:11-787:26)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:282:1-286:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:287:1-291:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:292:1-296:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:297:1-301:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:302:1-306:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 817 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:817-817)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 779 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:779-779)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 33
  dead: 7 (5 in uncalled functions)
  total lines: 40
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:4358-821:4374)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2592-824:2594)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2601-824:2608)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2820-824:2822)
[Warning][Deadcode][CWE-570] condition '(unsigned long )user == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:816:13-816:32)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:5070-821:5072)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1308-824:1315)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1363-824:1370)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:3169-824:3171)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2437-821:2439)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1417-824:1423)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3572-821:3574)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1469-824:1475)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2450-821:2452)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:234-821:246)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1518-824:1524)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:3216-824:3218)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2463-821:2465)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1567-824:1573)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1615-824:1621)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:3233-824:3235)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:1644-824:1650)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:3246-824:3248)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:778:54-778:55)
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:2743-821:2758)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:6003-821:6005)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:6018-821:6020)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:6035-821:6037)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3295-821:3297)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:6050-821:6052)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:6063-821:6065)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1319-821:1326)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1374-821:1381)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1428-821:1434)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1480-821:1486)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1529-821:1535)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1578-821:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1626-821:1632)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:1655-821:1661)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:821:3710-821:3712)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2426-824:2428)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2439-824:2441)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:223-824:235)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test2-1.i:824:2452-824:2454)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
