./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_JEN_test4-1.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:34-758:2465 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2467-758:6052 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:9-758:6065 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:34-759:2469 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2471-759:6210 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:9-759:6223 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:751:5-760:5 with factor 10
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:761:5-763: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_JEN_test4-1.i:759:5111-759:5191)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5111-759:5191)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5206-759:5246)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5252-759:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5324-759:5362)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5368-759:5456)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5460-759:5485)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5605-759:5643)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5647-759:5676)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4978-759:5040)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4981-758:5059)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4981-758:5059)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5074-758:5114)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5120-758:5184)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5190-758:5226)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5232-758:5318)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5322-758:5347)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5467-758:5505)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5509-758:5538)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4850-758:4910)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1663-758: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_JEN_test4-1.i:758:1663-758:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1663-758:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1712-758: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_JEN_test4-1.i:758:1712-758:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1712-758:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,9],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1761-758: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_JEN_test4-1.i:758:1761-758:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1761-758:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1809-758:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1837-758:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1853-758:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1903-758:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1923-758:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1939-758:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1964-758:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1984-758:2002)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2004-758:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2034-758:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2050-758:2068)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2070-758:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2100-758:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2120-758:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2136-758:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2162-758:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2182-758:2200)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2202-758:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2231-758:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2247-758:2265)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2267-758:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2296-758:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2316-758:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2332-758:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2358-758:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2378-758:2396)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2398-758:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3327-758:3358)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3397-758:3484)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3397-758:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:3397-758:3484)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3397-758:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:3397-758:3484)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3397-758:3484)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:3397-758:3484)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3487-758:3522)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3525-758:3561)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2676-758:2737)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2833-758:2868)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3005-758:3090)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3206-758:3278)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3602-758:3629)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3636-758:3699)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3734-758:3782)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3784-758:3801)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3804-758:3845)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3925-758:3967)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4011-758:4100)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4011-758:4100)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4238-758:4352)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4501-758:4724)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4501-758:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4501-758:4724)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4501-758:4724)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5605-758:5642)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5646-758:5684)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5688-758:5733)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5737-758:5900)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5737-758:5900)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,81],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1667-759:1706)
[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_JEN_test4-1.i:759:1667-759:1706)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1667-759:1706)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1667-759:1706)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,81],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1716-759:1755)
[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_JEN_test4-1.i:759:1716-759:1755)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1716-759:1755)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1716-759:1755)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,81],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1765-759:1803)
[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_JEN_test4-1.i:759:1765-759:1803)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (1) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1765-759:1803)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1765-759:1803)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1813-759:1832)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1841-759:1855)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1857-759:1875)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1907-759:1925)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1927-759:1941)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1943-759:1966)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1968-759:1986)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1988-759:2006)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2008-759:2036)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2038-759:2052)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2054-759:2072)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2074-759:2102)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2104-759:2122)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2124-759:2138)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2140-759:2164)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2166-759:2184)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2186-759:2204)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2206-759:2233)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2235-759:2249)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2251-759:2269)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2271-759:2298)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2300-759:2318)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2320-759:2334)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2336-759:2360)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2362-759:2380)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2382-759:2400)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2402-759:2430)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3379-759:3417)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3458-759:3557)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3458-759:3557)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:3458-759:3557)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:3458-759:3557)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:3458-759:3557)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3560-759:3600)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3603-759:3646)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2697-759:2760)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2860-759:2899)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3044-759:3131)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3253-759:3327)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3687-759:3719)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3726-759:3794)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3829-759:3882)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3884-759:3901)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3904-759:3947)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4029-759:4073)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4119-759:4210)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4119-759:4210)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4348-759:4464)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4615-759:4848)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4615-759:4848)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4615-759:4848)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4615-759:4848)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5745-759:5784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5788-759:5828)
[Info][Unsound] Unknown address in {&(alloc@sid:63010)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:63010(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:57695)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).alth, &(alloc@sid:152(#0)).alth, &(alloc@sid:57695).alth}
                                                       key -> {&(alloc@sid:57695(#0)).cookie, &(alloc@sid:152(#0)).cookie, &(alloc@sid:57695).cookie}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:62940(#0)), &(alloc@sid:62940)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).alth[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_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).alth[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_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).alth[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_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:57695).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:57695).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_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:152(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id, &(alloc@sid:57695).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:57695(#0)), &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {?, NULL, &(alloc@sid:57695(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:57695).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:152(#0)).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_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:57695(#0)).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:57695(#0)).hh, &(alloc@sid:152(#0)).hh, &(alloc@sid:57695).hh}
                                                       key -> {&(alloc@sid:57695(#0)).id, &(alloc@sid:152(#0)).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:152(#0)), &(alloc@sid:57695)}
                                                       prev -> {NULL, &(alloc@sid:152(#0)).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:60070), &(alloc@sid:60070(#0))}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown value in {&(alloc@sid:57695(#0)).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_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:60140)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Info][Unsound] Unknown address in {&(alloc@sid:60140(#0))} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5832-759:5879)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5883-759:6054)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5883-759:6054)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-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_JEN_test4-1.i:282:1-286:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:287:1-291:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:292:1-296:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:297:1-301:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:302:1-306:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 754 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:754-754)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 700 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:700-700)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 41
  dead: 7 (5 in uncalled functions)
  total lines: 48
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2467-759:2469)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:6221-759:6223)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3710-758:3712)
[Warning][Deadcode][CWE-571] condition '(unsigned int )user != (unsigned int )((void *)0)' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:761:8-761:84)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1323-759:1330)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1378-759:1385)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1319-758:1326)
[Warning][Deadcode][CWE-570] condition '! user->alth.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2766-759:2783)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1432-759:1438)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1374-758:1381)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1484-759:1490)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1428-758:1434)
[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_JEN_test4-1.i:753:13-753:32)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1533-759:1539)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1480-758:1486)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1582-759:1588)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1529-758:1535)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1630-759:1636)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1578-758:1584)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:1659-759:1665)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1626-758:1632)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1655-758:1661)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:6161-759:6163)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:4358-758:4374)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:6176-759:6178)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3344-759:3346)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:6193-759:6195)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:234-758: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_JEN_test4-1.i:759:6208-759:6210)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3657-759:3659)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:699:54-699:55)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:3805-759:3807)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:5070-758: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_JEN_test4-1.i:758:2437-758: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_JEN_test4-1.i:758:2450-758:2452)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:751:8-751:23)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2463-758:2465)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:6063-758:6065)
[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_JEN_test4-1.i:753:13-753:32)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets___0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:4470-759:4486)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1319-758:1326)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1374-758:1381)
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:2743-758:2758)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1428-758:1434)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1480-758:1486)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:238-759:250)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1529-758:1535)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:234-758:246)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1578-758:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1626-758:1632)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:1655-758:1661)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:6003-758:6005)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:6018-758:6020)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3295-758:3297)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:6035-758:6037)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:6050-758:6052)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:5202-759:5204)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2441-759:2443)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:759:2454-759:2456)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_JEN_test4-1.i:758:3572-758:3574)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
