./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-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_SAX_test10-1.i:741:38-741:2469 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2471-741:6056 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:13-741:6069 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:34-743:2465 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2467-743:6202 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:9-743:6215 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:733:5-744:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:35-746:2437 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:30-746:2450 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2509-746:2590 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2608-746:3214 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2452-746:3231 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:5-746:3244 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:35-748:2437 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:30-748:2450 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2512-748:2598 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2616-748:3252 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2452-748:3269 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:5-748:3282 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:35-751:2437 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:30-751:2450 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2509-751:2590 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2608-751:3214 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2452-751:3231 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:5-751:3244 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:35-753:2437 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:30-753:2450 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2512-753:2598 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2616-753:3252 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2452-753:3269 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:5-753:3282 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_SAX_test10-1.i:743:5103-743:5183)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5103-743:5183)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5198-743:5238)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5244-743:5310)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5316-743:5354)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5360-743:5448)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5452-743:5477)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5597-743:5635)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5639-743:5668)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4970-743:5032)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4985-741:5063)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4985-741:5063)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5078-741:5118)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5124-741:5188)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5194-741:5230)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5236-741:5322)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5326-741:5351)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5471-741:5509)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5513-741:5542)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4854-741:4914)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1667-741: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_SAX_test10-1.i:741:1667-741:1706)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1667-741:1706)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1716-741: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_SAX_test10-1.i:741:1716-741:1755)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1716-741:1755)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1765-741: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_SAX_test10-1.i:741:1765-741:1803)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1765-741:1803)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1813-741:1832)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1841-741:1855)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1857-741:1875)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1907-741:1925)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1927-741:1941)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1943-741:1966)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1968-741:1986)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1988-741: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_SAX_test10-1.i:741:2008-741:2036)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2038-741:2052)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2054-741: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_SAX_test10-1.i:741:2074-741:2102)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2104-741:2122)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2124-741:2138)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2140-741:2164)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2166-741:2184)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2186-741: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_SAX_test10-1.i:741:2206-741:2233)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2235-741:2249)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2251-741: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_SAX_test10-1.i:741:2271-741:2298)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2300-741:2318)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2320-741:2334)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2336-741:2360)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2362-741:2380)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2382-741: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_SAX_test10-1.i:741:2402-741:2430)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3331-741:3362)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3331-741:3362)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3401-741:3488)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3401-741:3488)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3401-741:3488)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3401-741:3488)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3491-741:3526)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3529-741:3565)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2680-741:2741)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2837-741:2872)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3009-741:3094)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3210-741:3282)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3606-741:3633)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3640-741:3703)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3738-741:3786)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3788-741:3805)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3808-741:3849)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3929-741:3971)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4015-741:4104)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4015-741:4104)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4242-741:4356)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4505-741:4728)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4505-741:4728)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4505-741:4728)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4505-741:4728)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5609-741:5646)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5650-741:5688)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:741:5692-741:5737)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5692-741:5737)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5741-741:5904)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5741-741:5904)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1663-743: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_SAX_test10-1.i:743:1663-743:1702)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1663-743:1702)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1712-743: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_SAX_test10-1.i:743:1712-743:1751)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1712-743:1751)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[1,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1761-743: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_SAX_test10-1.i:743:1761-743:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1761-743:1799)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1809-743:1828)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1837-743:1851)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1853-743:1871)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1903-743:1921)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1923-743:1937)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1939-743:1962)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1964-743:1982)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1984-743:2002)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2004-743:2032)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2034-743:2048)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2050-743:2068)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2070-743:2098)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2100-743:2118)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2120-743:2134)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2136-743:2160)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2162-743:2180)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2182-743:2200)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2202-743:2229)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2231-743:2245)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2247-743:2265)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2267-743:2294)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2296-743:2314)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2316-743:2330)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2332-743:2356)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2358-743:2376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2378-743:2396)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2398-743:2426)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3371-743:3409)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3371-743:3409)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3450-743:3549)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3450-743:3549)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3450-743:3549)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3450-743:3549)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3552-743:3592)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3595-743:3638)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2689-743:2752)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2852-743:2891)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3036-743:3123)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3245-743:3319)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3679-743:3711)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3718-743:3786)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3821-743:3874)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3876-743:3893)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3896-743:3939)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4021-743:4065)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4111-743:4202)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4111-743:4202)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4340-743:4456)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4607-743:4840)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4607-743:4840)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4607-743:4840)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4607-743:4840)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5737-743:5776)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5780-743:5820)
[Info][Unsound] Unknown address in {&(alloc@sid:16909)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:80).alth} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:11593)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:16839)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:80)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:11593).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> ⊤
                                                       hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                       key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                       keylen -> 4
                                                       next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                       prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                       tbl -> {&(alloc@sid:13969)}
                                                     }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown value in {&(alloc@sid:11593).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_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:80).hh} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown value in {&(alloc@sid:80).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_SAX_test10-1.i:743:5824-743:5871)
[Info][Unsound] Unknown address in {&(alloc@sid:14039)} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5824-743:5871)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5875-743:6046)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5875-743:6046)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:13969)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2888-746:2954)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:13969)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2888-746:2954)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:3064-746:3154)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (9) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1648-746:1687)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1648-746:1687)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (9) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1697-746:1736)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1697-746:1736)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (9) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1746-746:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1746-746:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1794-746:1813)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1822-746:1836)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1838-746:1856)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1888-746:1906)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1908-746:1922)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1924-746:1947)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1949-746:1967)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1969-746:1987)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1989-746:2017)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2019-746:2033)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2035-746:2053)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2055-746:2083)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2085-746:2103)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2105-746:2119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2121-746:2145)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2147-746:2165)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2167-746:2185)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2187-746:2214)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2216-746:2230)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2232-746:2250)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2252-746:2279)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2281-746:2299)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2301-746:2315)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2317-746:2341)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2343-746:2361)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2363-746:2381)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2383-746:2411)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2514-746:2577)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2619-746:2677)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2687-746:2805)
[Info][Imprecise] Invalidating expressions: & tmp___9 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2962-746:3003)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:16839)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2911-748:2981)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:16839)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2911-748:2981)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:3095-748:3192)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (9) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1648-748:1687)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1648-748:1687)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (9) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1697-748:1736)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1697-748:1736)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (9) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1746-748:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1746-748:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1794-748:1813)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1822-748:1836)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1838-748:1856)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1888-748:1906)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1908-748:1922)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1924-748:1947)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1949-748:1967)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1969-748:1987)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1989-748:2017)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2019-748:2033)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2035-748:2053)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2055-748:2083)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2085-748:2103)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2105-748:2119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2121-748:2145)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2147-748:2165)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2167-748:2185)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2187-748:2214)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2216-748:2230)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2232-748:2250)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2252-748:2279)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2281-748:2299)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2301-748:2315)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2317-748:2341)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2343-748:2361)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2363-748:2381)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2383-748:2411)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2517-748:2585)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2627-748:2690)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2700-748:2828)
[Info][Imprecise] Invalidating expressions: & tmp___10 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2989-748:3032)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:13969)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2888-751:2954)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).hh, &(alloc@sid:11593).hh}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).hh[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:13969)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2888-751:2954)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:3064-751:3154)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (10) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1648-751:1687)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1648-751:1687)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (10) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1697-751:1736)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1697-751:1736)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (10) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1746-751:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1746-751:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1794-751:1813)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1822-751:1836)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1838-751:1856)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1888-751:1906)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1908-751:1922)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1924-751:1947)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1949-751:1967)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1969-751:1987)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1989-751:2017)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2019-751:2033)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2035-751:2053)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2055-751:2083)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2085-751:2103)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2105-751:2119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2121-751:2145)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2147-751:2165)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2167-751:2185)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2187-751:2214)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2216-751:2230)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2232-751:2250)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2252-751:2279)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2281-751:2299)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2301-751:2315)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2317-751:2341)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2343-751:2361)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2363-751:2381)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2383-751:2411)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2514-751:2577)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2619-751:2677)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2687-751:2805)
[Info][Imprecise] Invalidating expressions: & tmp___11 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2962-751:3003)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:16839)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2911-753:2981)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> ⊤
                                                        hh_next -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        hh_prev -> {?, NULL, &(alloc@sid:80).alth, &(alloc@sid:11593).alth}
                                                        key -> {&(alloc@sid:80).id, &(alloc@sid:11593).id}
                                                        keylen -> 4
                                                        next -> {NULL, &(alloc@sid:80), &(alloc@sid:11593)}
                                                        prev -> {?, NULL, &(alloc@sid:80).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])], &(alloc@sid:11593).alth[def_exc:Unknown int([-31,31]); intervals:[-2147483647,2147483647]; enums:not {} ([-31,31])]}
                                                        tbl -> {&(alloc@sid:16839)}
                                                      }) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2911-753:2981)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:3095-753:3192)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (10) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1648-753:1687)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1648-753:1687)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (10) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1697-753:1736)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1697-753:1736)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array (10) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1746-753:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1746-753:1784)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1794-753:1813)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1822-753:1836)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1838-753:1856)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1888-753:1906)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1908-753:1922)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1924-753:1947)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1949-753:1967)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1969-753:1987)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1989-753:2017)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2019-753:2033)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2035-753:2053)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2055-753:2083)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2085-753:2103)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2105-753:2119)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2121-753:2145)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2147-753:2165)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2167-753:2185)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2187-753:2214)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2216-753:2230)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2232-753:2250)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2252-753:2279)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2281-753:2299)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2301-753:2315)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2317-753:2341)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2343-753:2361)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2363-753:2381)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2383-753:2411)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2517-753:2585)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2627-753:2690)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2700-753:2828)
[Info][Imprecise] Invalidating expressions: & tmp___12 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2989-753:3032)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-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_SAX_test10-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_SAX_test10-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_SAX_test10-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_SAX_test10-1.i:302:1-306:1)
[Warning][Deadcode] Function 'main' has dead code:
  on line 736 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:736-736)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 700 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:700-700)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 38
  dead: 7 (5 in uncalled functions)
  total lines: 45
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2605-748:2612)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2422-746:2424)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1480-743:1486)
[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_SAX_test10-1.i:735:13-735:32)
[Warning][Deadcode][CWE-571] condition 'i < 1000' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:733:8-733:25)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:3212-751:3214)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1529-743:1535)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2435-746:2437)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1578-743:1584)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:219-746:231)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1626-743:1632)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2448-746:2450)
[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_SAX_test10-1.i:735:13-735:32)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2839-748:2841)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:3242-751:3244)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1655-743:1661)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:6153-743:6155)
[Warning][Deadcode][CWE-571] condition 'i < 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:740:13-740:17)
[Warning][Deadcode][CWE-571] condition 'users' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2482-746:2487)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:4362-741:4378)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1304-748:1311)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:6168-743:6170)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3336-743:3338)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1359-748:1366)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2588-746:2590)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:6185-743:6187)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1413-748:1419)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2422-753:2424)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:238-741:250)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1465-748:1471)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:6200-743:6202)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1514-748:1520)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2435-753:2437)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1563-748:1569)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:219-753:231)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1611-748:1617)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2448-753:2450)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:238-741:250)
[Warning][Deadcode][CWE-571] condition '_hj_k___2 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:1640-748:1646)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:3229-746:3231)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3649-743:3651)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:3203-748:3205)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2597-746:2604)
[Warning][Deadcode][CWE-571] condition 'altusers' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2482-753:2490)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:3250-748:3252)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2596-753:2598)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:2816-746:2818)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:3280-748:3282)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:3797-743:3799)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:5074-741:5076)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2441-741: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_SAX_test10-1.i:741:2454-741: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_SAX_test10-1.i:753:3267-753:3269)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1304-746:1311)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2467-741:2469)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1359-746:1366)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2605-753:2612)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1413-746:1419)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2422-751:2424)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:6067-741:6069)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1465-746:1471)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1514-746:1520)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2435-751:2437)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1563-746:1569)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:699:54-699:55)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:219-751:231)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:2839-753:2841)
[Warning][Deadcode][CWE-570] condition '_hj_k___1 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1611-746:1617)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2448-751:2450)
[Warning][Deadcode][CWE-571] condition '_hj_k___1 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:1640-746:1646)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:3165-746:3167)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets___0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:4462-743:4478)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1323-741:1330)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1378-741:1385)
[Warning][Deadcode][CWE-571] condition 'users' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2482-751:2487)
[Warning][Deadcode][CWE-570] condition '! user->hh.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:2747-741:2762)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1432-741:1438)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:3212-746:3214)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1304-753:1311)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1484-741:1490)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1359-753:1366)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1323-741:1330)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2588-751:2590)
[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_SAX_test10-1.i:743:234-743:246)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1533-741:1539)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1413-753:1419)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1378-741:1385)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1582-741:1588)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:746:3242-746:3244)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1465-753:1471)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1432-741:1438)
[Warning][Deadcode][CWE-571] condition 'tmp == 3' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:718:6-718:12)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1630-741:1636)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1514-753:1520)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1484-741:1490)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1659-741:1665)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1563-753:1569)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1533-741:1539)
[Warning][Deadcode][CWE-571] condition 'a == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:710:8-710:47)
[Warning][Deadcode][CWE-570] condition '_hj_k___4 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1611-753:1617)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1582-741:1588)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:6007-741:6009)
[Warning][Deadcode][CWE-571] condition '_hj_k___4 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:1640-753:1646)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1630-741:1636)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:3229-751:3231)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:3203-753:3205)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:1659-741:1665)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:6022-741:6024)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3299-741:3301)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2597-751:2604)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2422-748:2424)
[Warning][Deadcode][CWE-571] condition 'a == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:713:8-713:47)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:6039-741:6041)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:3250-753:3252)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2435-748:2437)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:6054-741:6056)
[Warning][Deadcode][CWE-570] condition '_hj_k___2 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:219-748:231)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2448-748:2450)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:753:3280-753:3282)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:2816-751:2818)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:5194-743:5196)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2437-743:2439)
[Warning][Deadcode][CWE-571] condition 'a == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:716:8-716: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_SAX_test10-1.i:743:2450-743:2452)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3576-741:3578)
[Warning][Deadcode][CWE-571] condition 'altusers' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2482-748:2490)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2463-743:2465)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1304-751:1311)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:2596-748:2598)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:6213-743:6215)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1359-751:1366)
[Warning][Deadcode][CWE-571] condition 'a == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:719:8-719:48)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1413-751:1419)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 8U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1465-751:1471)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 7U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1514-751:1520)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:741:3714-741:3716)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 6U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1563-751:1569)
[Warning][Deadcode][CWE-570] condition '_hj_k___3 == 5U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1611-751:1617)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1319-743:1326)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:748:3267-748:3269)
[Warning][Deadcode][CWE-571] condition '_hj_k___3 == 4U' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:1640-751:1646)
[Warning][Deadcode][CWE-570] condition '0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:751:3165-751:3167)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 10U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1374-743:1381)
[Warning][Deadcode][CWE-570] condition '! user->alth.tbl' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:2758-743:2775)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/uthash-2.0.2/uthash_SAX_test10-1.i:743:1428-743:1434)
SV-COMP result: unknown
[Info][Witness] witness generation summary:
  total generation entries: 1
