./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_SAX_nondet_test1-2.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_SAX_nondet_test1-2.i:745:2670-745:3297 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3360-745:3574 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3631-745:3712 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4976-745:5072 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:747:5-749:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:546-753:609 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:757-753:846 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:848-753:1208 with factor 5
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] Setting "ana.int.interval" to true
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, 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_SAX_nondet_test1-2.i:745:4981-745:5059)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4981-745:5059)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5120-745:5184)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5190-745:5226)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5232-745:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5322-745:5347)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5467-745:5505)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5509-745:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5509-745:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5509-745:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5509-745:5538)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5509-745:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5509-745:5538)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:744:9-744:28)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1663-745:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1663-745:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1712-745:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1712-745:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1761-745:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1761-745:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1809-745:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1837-745:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1853-745:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1903-745:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1923-745:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1939-745:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1964-745:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1984-745: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_SAX_nondet_test1-2.i:745:2004-745:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2034-745:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2050-745: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_SAX_nondet_test1-2.i:745:2070-745:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2100-745:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2120-745:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2136-745:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2162-745:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2182-745: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_SAX_nondet_test1-2.i:745:2202-745:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2231-745:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2247-745: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_SAX_nondet_test1-2.i:745:2267-745:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2296-745:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2316-745:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2332-745:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2358-745:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2378-745: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_SAX_nondet_test1-2.i:745:2398-745:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3327-745:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3327-745:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3327-745:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3327-745:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3327-745:3358)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3327-745:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3397-745:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3397-745:3484)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3487-745:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3525-745:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3525-745:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3525-745:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3525-745:3561)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3525-745:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3525-745:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2676-745:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2676-745:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2676-745:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2676-745:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2676-745:2737)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2676-745:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2833-745:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2833-745:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2833-745:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2833-745:2868)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2833-745:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2833-745:2868)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2945-745:3002)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3005-745:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3005-745:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3005-745:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3005-745:3090)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3005-745:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3005-745:3090)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3206-745:3278)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3602-745:3629)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3636-745:3699)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3784-745:3801)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3804-745:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3804-745:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3804-745:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3804-745:3845)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3804-745:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3804-745:3845)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:3925-745:3967)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4011-745:4100)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4011-745:4100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4238-745:4352)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4501-745:4724)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4501-745:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4501-745: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_SAX_nondet_test1-2.i:745:4501-745:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5605-745:5642)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5646-745:5684)
[Info][Unsound] Unknown address in {&(alloc@sid:527)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5688-745:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:30).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5688-745:5733)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5688-745:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:30)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5688-745:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:30).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:30).hh}
                                                       key -> {&(alloc@sid:30).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:30)}
                                                       prev -> {?, NULL, &(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:204)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5688-745:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:30).hh[def_exc:Unknown int([-31,32]); intervals:[-2147483647,2147483648]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5688-745: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_SAX_nondet_test1-2.i:745:5737-745:5900)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:5737-745:5900)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:748:9-748:28)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:252-753:287)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:252-753:287)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:292-753:391)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:292-753:391)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:435-753:535)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:435-753:535)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:653-753:753)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:653-753:753)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:762-753:833)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:762-753:833)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:762-753:833)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:868-753:916)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:868-753:916)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:918-753:935)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1028-753:1048)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1053-753:1106)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1115-753:1135)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1140-753:1193)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1211-753:1238)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1211-753:1238)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:1211-753:1238)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:143-753:173)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:143-753:173)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)(users->hh.tbl)->buckets in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:143-753:173)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:175-753:196)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:175-753:196)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Pointer (void *)users->hh.tbl in function free doesn't evaluate to a valid address. Invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:175-753:196)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)user in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:754:7-754:17)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:752:8-752:219)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.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_SAX_nondet_test1-2.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_SAX_nondet_test1-2.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_SAX_nondet_test1-2.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_SAX_nondet_test1-2.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_SAX_nondet_test1-2.i:316:1-320:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 740 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:740-740)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 721 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:721-721)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 24
  dead: 8 (6 in uncalled functions)
  total lines: 32
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:2743-745: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_SAX_nondet_test1-2.i:753:1253-753:1255)
[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_SAX_nondet_test1-2.i:745:6003-745: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_SAX_nondet_test1-2.i:745:6018-745: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_SAX_nondet_test1-2.i:745:6035-745: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_SAX_nondet_test1-2.i:745:3295-745: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_SAX_nondet_test1-2.i:745:6050-745:6052)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:753:607-753:609)
[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_SAX_nondet_test1-2.i:745:6063-745:6065)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1319-745:1326)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1374-745:1381)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1428-745:1434)
[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_SAX_nondet_test1-2.i:753:844-753:846)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1480-745:1486)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1529-745:1535)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1578-745:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1626-745:1632)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:1655-745: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_SAX_nondet_test1-2.i:745:3710-745: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_SAX_nondet_test1-2.i:753:1206-753:1208)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:720:54-720:55)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:4358-745:4374)
[Warning][Deadcode][CWE-570] condition '(unsigned long )user == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:739:13-739: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_SAX_nondet_test1-2.i:745:5070-745: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_SAX_nondet_test1-2.i:745:2437-745: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_SAX_nondet_test1-2.i:745:3572-745: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_SAX_nondet_test1-2.i:745:2450-745:2452)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_nondet_test1-2.i:745:234-745:246)
[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_SAX_nondet_test1-2.i:745:2463-745:2465)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
