./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_test9-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_test9-1.i:2227:34-2227:2465 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2467-2227:6052 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:9-2227:6065 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2220:5-2228:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:34-2230:2454 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2456-2230:3235 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:9-2230:3248 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2229:5-2236: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_test9-1.i:2227:4981-2227:5059)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4981-2227:5059)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5074-2227:5114)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5120-2227:5184)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5190-2227:5226)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5232-2227:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5322-2227:5347)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5467-2227:5505)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5509-2227:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5509-2227:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5509-2227:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5509-2227:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:5509-2227:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5509-2227:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:5509-2227: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_test9-1.i:2227:5509-2227:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5509-2227:5538)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4850-2227:4910)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1663-2227: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_test9-1.i:2227:1663-2227:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1663-2227:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1712-2227: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_test9-1.i:2227:1712-2227:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1712-2227:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1761-2227: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_test9-1.i:2227:1761-2227:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1761-2227:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1809-2227:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1837-2227:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1853-2227:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1903-2227:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1923-2227:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1939-2227:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1964-2227:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1984-2227: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_test9-1.i:2227:2004-2227:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2034-2227:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2050-2227: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_test9-1.i:2227:2070-2227:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2100-2227:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2120-2227:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2136-2227:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2162-2227:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2182-2227: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_test9-1.i:2227:2202-2227:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2231-2227:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2247-2227: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_test9-1.i:2227:2267-2227:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2296-2227:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2316-2227:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2332-2227:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2358-2227:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2378-2227: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_test9-1.i:2227:2398-2227:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3327-2227:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3327-2227:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3327-2227:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3327-2227:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3327-2227:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:3327-2227:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3327-2227:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:3327-2227: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_test9-1.i:2227:3327-2227:3358)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3397-2227:3484)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3397-2227:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:3397-2227:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:3397-2227:3484)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:3487-2227: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_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3487-2227:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3525-2227:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:3525-2227: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_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3525-2227:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2676-2227:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:2676-2227: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_test9-1.i:2227:2676-2227:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2833-2227:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:2833-2227: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_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2833-2227:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3005-2227:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3005-2227:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3005-2227:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3005-2227:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:3005-2227:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3005-2227:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:3005-2227: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_test9-1.i:2227:3005-2227:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3005-2227:3090)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3206-2227:3278)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3602-2227:3629)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3636-2227:3699)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3734-2227:3782)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3784-2227:3801)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3804-2227:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3804-2227:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3804-2227:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3804-2227:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:3804-2227:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3804-2227:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:3804-2227: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_test9-1.i:2227:3804-2227:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3804-2227:3845)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:3925-2227:3967)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4011-2227:4100)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4011-2227:4100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4238-2227:4352)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4501-2227:4724)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4501-2227:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4501-2227: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_test9-1.i:2227:4501-2227:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5605-2227:5642)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5646-2227:5684)
[Info][Unsound] Unknown address in {&(alloc@sid:14247)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5688-2227:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:11802).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5688-2227:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:6031).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5688-2227: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_test9-1.i:2227:5688-2227:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:11802)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5688-2227:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                       key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                       prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:14177)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5688-2227:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:11802).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_test9-1.i:2227:5688-2227:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:6031)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5688-2227:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:6031).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_test9-1.i:2227:5688-2227: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_test9-1.i:2227:5737-2227:5900)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:5737-2227:5900)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                        key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                        prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:14177)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2892-2230:2958)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:6031).hh, &(alloc@sid:11802).hh}
                                                        key -> {&(alloc@sid:6031).id, &(alloc@sid:11802).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:6031), &(alloc@sid:11802)}
                                                        prev -> {?, NULL, &(alloc@sid:6031).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11802).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:14177)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2892-2230:2958)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:3068-2230:3158)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,999],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1652-2230:1691)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1652-2230:1691)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,999],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1701-2230:1740)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1701-2230:1740)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,999],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1750-2230:1788)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1750-2230:1788)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1798-2230:1817)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1826-2230:1840)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1842-2230:1860)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1892-2230:1910)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1912-2230:1926)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1928-2230:1951)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1953-2230:1971)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:1973-2230: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_test9-1.i:2230:1993-2230:2021)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2023-2230:2037)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2039-2230: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_test9-1.i:2230:2059-2230:2087)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2089-2230:2107)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2109-2230:2123)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2125-2230:2149)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2151-2230:2169)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2171-2230: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_test9-1.i:2230:2191-2230:2218)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2220-2230:2234)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2236-2230: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_test9-1.i:2230:2256-2230:2283)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2285-2230:2303)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2305-2230:2319)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2321-2230:2345)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2347-2230:2365)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2367-2230: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_test9-1.i:2230:2387-2230:2415)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2518-2230:2581)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2623-2230:2681)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2691-2230:2809)
[Info][Imprecise] Invalidating expressions: & tmp___5 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2966-2230:3007)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:708:11-708:26)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-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_OAT_test9-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_OAT_test9-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_OAT_test9-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_OAT_test9-1.i:302:1-306:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 2223 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2223-2223)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 700 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:700-700)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 1023
  dead: 7 (5 in uncalled functions)
  total lines: 1030
[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_test9-1.i:2230:3216-2230: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_OAT_test9-1.i:2230:3233-2230:3235)
[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_test9-1.i:2230:3246-2230:3248)
[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_test9-1.i:2227:2437-2227: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_test9-1.i:2227:2450-2227: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_test9-1.i:2227:2463-2227:2465)
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:2743-2227: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_OAT_test9-1.i:2227:3295-2227: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_test9-1.i:2227:3572-2227:3574)
[Warning][Deadcode][CWE-571] condition 'i < 1000' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2220:8-2220:25)
[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_test9-1.i:2222:13-2222: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_test9-1.i:2227:3710-2227:3712)
[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_test9-1.i:2227:234-2227:246)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:4358-2227: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_OAT_test9-1.i:2227:5070-2227:5072)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1319-2227: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_test9-1.i:2227:1374-2227: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_test9-1.i:2227:1428-2227: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_test9-1.i:2227:1480-2227: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_test9-1.i:2227:1529-2227: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_test9-1.i:2227:1578-2227: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_test9-1.i:2227:1626-2227: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_test9-1.i:2227:1655-2227: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_OAT_test9-1.i:2227:6003-2227: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_test9-1.i:2227:6018-2227: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_test9-1.i:2227:6035-2227: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_test9-1.i:2227:6050-2227:6052)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:699:54-699:55)
[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_test9-1.i:2230:223-2230:235)
[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_test9-1.i:2230:1308-2230: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_test9-1.i:2230:1363-2230: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_test9-1.i:2230:1417-2230:1423)
[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_test9-1.i:2230:1469-2230: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_test9-1.i:2230:1518-2230: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_test9-1.i:2230:1567-2230: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_OAT_test9-1.i:2230:1615-2230: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_test9-1.i:2230:1644-2230: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_test9-1.i:2227:6063-2227:6065)
[Warning][Deadcode][CWE-571] condition 'i < 1000' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2229:8-2229:26)
[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_test9-1.i:2230:223-2230:235)
[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_test9-1.i:2230:1308-2230: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_test9-1.i:2230:1363-2230: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_test9-1.i:2230:1417-2230:1423)
[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_test9-1.i:2230:1469-2230: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_test9-1.i:2230:1518-2230: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_test9-1.i:2230:1567-2230: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_OAT_test9-1.i:2230:1615-2230: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_test9-1.i:2230:1644-2230:1650)
[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_test9-1.i:2222:13-2222:32)
[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_test9-1.i:2227:234-2227:246)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2227:1319-2227: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_test9-1.i:2227:1374-2227: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_test9-1.i:2227:1428-2227: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_test9-1.i:2227:1480-2227: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_test9-1.i:2227:1529-2227: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_test9-1.i:2227:1578-2227: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_test9-1.i:2227:1626-2227: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_test9-1.i:2227:1655-2227: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_OAT_test9-1.i:2230:2426-2230: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_test9-1.i:2230:2439-2230: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_test9-1.i:2230:2452-2230:2454)
[Warning][Deadcode][CWE-571] condition 'users' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2486-2230:2491)
[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_test9-1.i:2230:2592-2230:2594)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_OAT_test9-1.i:2230:2601-2230: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_OAT_test9-1.i:2230:2820-2230:2822)
[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_test9-1.i:2230:3169-2230:3171)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
