./goblint --conf conf/svcomp.json --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_OAT_nondet_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_OAT_nondet_test2-1.i:823:34-823:2465 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2467-823:6052 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:9-823:6065 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:816:5-824:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:34-826:2454 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2456-826:3235 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:9-826:3248 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:825:5-828:5 with factor 2
[Info] Setting "ana.int.interval" to true
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4981-823:5059)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4981-823:5059)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5074-823:5114)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5120-823:5184)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5190-823:5226)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5232-823:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5322-823:5347)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5467-823:5505)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5509-823:5538)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4850-823:4910)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1663-823:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1663-823:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1663-823:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1712-823:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1712-823:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1712-823:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1761-823:1799)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (0) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1761-823:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1761-823:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1809-823:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1837-823:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1853-823:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1903-823:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1923-823:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1939-823:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1964-823:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1984-823: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_OAT_nondet_test2-1.i:823:2004-823:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2034-823:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2050-823: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_OAT_nondet_test2-1.i:823:2070-823:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2100-823:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2120-823:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2136-823:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2162-823:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2182-823: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_OAT_nondet_test2-1.i:823:2202-823:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2231-823:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2247-823: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_OAT_nondet_test2-1.i:823:2267-823:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2296-823:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2316-823:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2332-823:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2358-823:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2378-823: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_OAT_nondet_test2-1.i:823:2398-823:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3327-823:3358)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3397-823:3484)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3397-823:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3397-823:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3397-823:3484)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3487-823:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3525-823:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2676-823:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2833-823:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3005-823:3090)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3206-823:3278)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3602-823:3629)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3636-823:3699)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3734-823:3782)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3784-823:3801)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3804-823:3845)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:3925-823:3967)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4011-823:4100)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4011-823:4100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4238-823:4352)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4501-823:4724)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4501-823:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4501-823: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_OAT_nondet_test2-1.i:823:4501-823:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5605-823:5642)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5646-823:5684)
[Info][Unsound] Unknown address in {&(alloc@sid:8248)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:5803).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:32).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:5803)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                       key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                       prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:8178)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:32)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5688-823: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_OAT_nondet_test2-1.i:823:5737-823:5900)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:5737-823:5900)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                        key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                        prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:8178)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2892-826:2958)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:32).hh, &(alloc@sid:5803).hh}
                                                        key -> {&(alloc@sid:32).id, &(alloc@sid:5803).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:32), &(alloc@sid:5803)}
                                                        prev -> {?, NULL, &(alloc@sid:32).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:5803).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:8178)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2892-826:2958)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:3068-826:3158)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([0,15]),[0,9999],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1652-826:1691)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1652-826:1691)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([0,15]),[0,9999],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1701-826:1740)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1701-826:1740)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([0,15]),[0,9999],not {} ([0,15]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1750-826:1788)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1750-826:1788)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1798-826:1817)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1826-826:1840)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1842-826:1860)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1892-826:1910)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1912-826:1926)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1928-826:1951)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1953-826:1971)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1973-826: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_OAT_nondet_test2-1.i:826:1993-826:2021)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2023-826:2037)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2039-826: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_OAT_nondet_test2-1.i:826:2059-826:2087)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2089-826:2107)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2109-826:2123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2125-826:2149)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2151-826:2169)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2171-826: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_OAT_nondet_test2-1.i:826:2191-826:2218)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2220-826:2234)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2236-826: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_OAT_nondet_test2-1.i:826:2256-826:2283)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2285-826:2303)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2305-826:2319)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2321-826:2345)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2347-826:2365)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2367-826: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_OAT_nondet_test2-1.i:826:2387-826:2415)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2518-826:2581)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2623-826:2681)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2691-826:2809)
[Info][Imprecise] Invalidating expressions: & tmp___6 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2966-826:3007)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:291:1-295:1)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:296:1-300:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:301:15-305:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:306:1-310:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:311:1-315:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:316:1-320:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 819 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:819-819)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 799 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:799-799)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 21
  dead: 8 (6 in uncalled functions)
  total lines: 29
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1308-826: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_OAT_nondet_test2-1.i:826:1363-826: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_OAT_nondet_test2-1.i:826:3169-826:3171)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1417-826: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_OAT_nondet_test2-1.i:826:3246-826:3248)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1469-826:1475)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1518-826: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_OAT_nondet_test2-1.i:826:3216-826:3218)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1567-826:1573)
[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_OAT_nondet_test2-1.i:826:3233-826:3235)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1615-826:1621)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1644-826: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_OAT_nondet_test2-1.i:823:5070-823:5072)
[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_OAT_nondet_test2-1.i:823:2437-823:2439)
[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_OAT_nondet_test2-1.i:823:2450-823:2452)
[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_OAT_nondet_test2-1.i:823:2463-823:2465)
[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_OAT_nondet_test2-1.i:823:6063-823:6065)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1319-823:1326)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1374-823:1381)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1428-823:1434)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1480-823:1486)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1529-823:1535)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1578-823:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1319-823:1326)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1626-823:1632)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1374-823:1381)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1655-823:1661)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1428-823:1434)
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:2743-823:2758)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1480-823:1486)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1529-823:1535)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1578-823:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1626-823:1632)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:1655-823:1661)
[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_OAT_nondet_test2-1.i:826:223-826: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_OAT_nondet_test2-1.i:823:6003-823: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_OAT_nondet_test2-1.i:823:6018-823: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_OAT_nondet_test2-1.i:823:3295-823: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_OAT_nondet_test2-1.i:823:6035-823: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_OAT_nondet_test2-1.i:823:6050-823:6052)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:798:54-798:55)
[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_OAT_nondet_test2-1.i:826:2426-826: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_OAT_nondet_test2-1.i:823:3572-823:3574)
[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_OAT_nondet_test2-1.i:826:2439-826:2441)
[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_OAT_nondet_test2-1.i:826:2452-826:2454)
[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_OAT_nondet_test2-1.i:826:223-826:235)
[Warning][Deadcode][CWE-570] condition '(unsigned int )user == (unsigned int )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:818:13-818: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_OAT_nondet_test2-1.i:823:3710-823: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_OAT_nondet_test2-1.i:826:2592-826:2594)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:2601-826:2608)
[Warning][Deadcode][CWE-570] condition '(unsigned int )user == (unsigned int )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:818:13-818:32)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1308-826: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_OAT_nondet_test2-1.i:826:1363-826:1370)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1417-826: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_OAT_nondet_test2-1.i:826:2820-826:2822)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1469-826:1475)
[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_OAT_nondet_test2-1.i:823:234-823: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_OAT_nondet_test2-1.i:826:1518-826:1524)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1567-826:1573)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:823:4358-823:4374)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1615-826:1621)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_nondet_test2-1.i:826:1644-826:1650)
[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_OAT_nondet_test2-1.i:823:234-823:246)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
