./goblint --conf conf/svcomp24.json --sets ana.specification /mnt/goblint-svcomp/goblint-bench/the-continuous-race/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:275:13-278:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:281:17-284:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:298:19-301:19 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:474:13-477:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:480:17-483:17 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:497:19-500:19 with factor 25
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
has Label
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:632:13-654:13 with factor 3
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:658:13-664:13 with factor 6
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:668:13-671:13 with factor 25
unrolling loop at /mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:702:27-705:27 with factor 25
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
Collected factors:
functions: 33
functionCalls: 94
loops: 48
loopBreaks: 0
controlFlowStatements: 1014
expressions: 5190
instructions: 741
integralVars: (4,69)
arrayVars: (2,0)
pointerVars: (2,31)

Complexity estimates:
File: 634310
Total: 634310
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(pthread_rwlock_t, TComp(union __anonunion_pthread_rwlock_t_656928968, __data : TComp(struct __pthread_rwlock_arch_t, __readers : TInt(unsigned int, ), __writers : TInt(unsigned int, ), __wrphase_futex : TInt(unsigned int, ), __writers_futex : TInt(unsigned int, ), __pad3 : TInt(unsigned int, ), __pad4 : TInt(unsigned int, ), __cur_writer : TInt(int, ), __shared : TInt(int, ), __rwelision : TInt(signed char, ), __pad1 : TArray(TInt(unsigned char, ), Some(Const(Int(7,int,7))), ), __pad2 : TInt(unsigned long, ), __flags : TInt(unsigned int, ), , ), __size : TArray(TInt(char, ), Some(Const(Int(56,int,56))), ), __align : TInt(long, ), , ), ),  __restrict  ), AddrOf(Var(lock, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:772:3-772:133)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:772:3-772:133)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:774:5-774:92)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:774:5-774:92)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:774:5-774:92)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:777:3-778:80)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:290:23-290:67)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:290:23-290:67)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:290:23-290:67)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:289:21-289:45)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:289:21-289:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:289:21-289:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:297:21-297:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:299:21-299:87)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:299:21-299:87)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:299:21-299:87)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:160:5-160:40)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,99999],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:229:13-229:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:229:13-229:57)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,99999],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:231:13-231:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:231:13-231:57)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,99999],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:233:13-233:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:233:13-233:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:235:13-235:51)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:239:15-239:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:240:15-240:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:242:15-242:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:243:15-243:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:244:15-244:34)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:245:15-245:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:246:15-246:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:247:15-247:39)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:248:15-248:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:249:15-249:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:250:15-250:39)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:251:15-251:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:252:15-252:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:253:15-253:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:254:15-254:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:255:15-255:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:256:15-256:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:257:15-257:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:258:15-258:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:259:15-259:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:260:15-260:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:261:15-261:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:262:15-262:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:263:15-263:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:264:15-264:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:265:15-265:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:276:15-276:71)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:276:15-276:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:280:19-280:110)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:280:19-280:110)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:282:19-282:116)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:282:19-282:116)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:282:19-282:116)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:291:21-291:85)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:291:21-291:85)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:315:7-315:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:783:3-784:80)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:701:27-701:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:703:29-703:92)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:703:29-703:92)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:703:29-703:92)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:707:28-707:49)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:709:31-709:61)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:710:33-710:110)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:711:32-711:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:714:27-714:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:715:27-715:65)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:717:30-717:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:717:30-717:69)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:719:27-719:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:699:25-699:78)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:489:23-489:67)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:489:23-489:67)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:489:23-489:67)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:488:21-488:45)
[Warning][Imprecise] Trying to update an index, but was not given an array({
                                                        hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                        hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                        key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                        keylen -> (4,[4,4],{4})
                                                        next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                        prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                        tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                      }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:488:21-488:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:488:21-488:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:496:21-496:81)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:498:21-498:87)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:498:21-498:87)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:359:5-359:40)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,99999],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:428:13-428:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:428:13-428:57)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,99999],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:430:13-430:57)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:430:13-430:57)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,99999],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:432:13-432:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:432:13-432:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:434:13-434:51)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:438:15-438:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:439:15-439:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:441:15-441:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:442:15-442:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:443:15-443:34)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:444:15-444:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:445:15-445:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:446:15-446:39)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:447:15-447:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:448:15-448:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:449:15-449:39)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:450:15-450:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:451:15-451:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:452:15-452:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:453:15-453:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:454:15-454:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:455:15-455:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:456:15-456:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:457:15-457:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:458:15-458:38)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:459:15-459:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:460:15-460:29)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:461:15-461:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:462:15-462:33)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:463:15-463:33)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:464:15-464:39)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:475:15-475:71)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:479:19-479:110)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:481:19-481:116)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:481:19-481:116)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:490:21-490:85)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:490:21-490:85)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:582:13-582:65)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:582:13-582:65)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:584:13-584:65)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:584:13-584:65)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ((Unknown int([-31,31]),[0,2147483647],not {} ([-31,31]))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:586:13-586:64)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:586:13-586:64)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:588:13-588:59)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:592:15-592:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:593:15-593:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:595:15-595:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:596:15-596:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:597:15-597:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:598:15-598:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:599:15-599:37)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:600:15-600:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:601:15-601:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:602:15-602:37)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:603:15-603:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:604:15-604:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:605:15-605:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:606:15-606:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:607:15-607:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:608:15-608:37)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:609:15-609:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:610:15-610:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:611:15-611:37)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:612:15-612:42)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:613:15-613:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:614:15-614:37)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:615:15-615:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:616:15-616:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:617:15-617:37)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:618:15-618:43)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:657:13-657:37)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:660:15-660:88)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:660:15-660:88)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:660:15-660:88)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:660:15-660:88)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:660:15-660:88)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:661:17-661:55)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:662:16-662:45)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:634:15-634:51)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:639:18-639:44)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:644:18-644:65)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:650:19-650:102)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:655:13-655:21)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:667:15-667:43)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:669:15-669:71)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:674:16-674:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:674:16-674:35)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:675:15-675:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:677:19-677:83)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:678:18-678:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:678:18-678:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:680:15-680:42)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:681:19-681:72)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:681:19-681:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:681:19-681:72)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:682:21-682:44)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:690:29-690:96)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:690:29-690:96)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:695:24-695:131)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:695:24-695:131)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:725:24-725:53)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:726:25-726:57)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown address in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Warning][Imprecise][Program] Trying to read an index, but was not given an array ({
                                                       hashv -> (Unknown int([0,32]),[0,4294967295],not {} ([0,32]))
                                                       hh_next -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       hh_prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh}
                                                       key -> {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).i}
                                                       keylen -> (4,[4,4],{4})
                                                       next -> {NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)), &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top))}
                                                       prev -> {?, NULL, &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])], &(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]}
                                                       tbl -> {&(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:789:3-790:80#top](#top)), &(alloc@sid:1884@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))}
                                                     }) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown value in {&(alloc@sid:1700@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top)).hh[def_exc:Unknown int([-63,63]); intervals:[-9223372036854775807,9223372036854775807]; enums:not {} ([-63,63])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Info][Unsound] Unknown address in {&(alloc@sid:2314@tid:[main, thread_routine_w@/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80#top](#top))} has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:727:24-727:61)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:728:28-728:84)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:729:27-729:56)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:735:25-735:131)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:735:25-735:131)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:735:25-735:131)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:735:25-735:131)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:795:3-796:80)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:801:3-801:52)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:803:3-803:52)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:805:3-805:52)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(status, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:807:3-807:52)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:810:5-810:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:815:3-815:43)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:817:5-817:95)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:817:5-817:95)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:817:5-817:95)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:817:5-817:95)
[Warning][Deadcode] Function 'thread_routine_r' has dead code:
  on lines 162..163 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:162-163)
  on lines 176..206 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:176-206)
  on lines 209..210 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:209-210)
  on line 215 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:215-215)
  on line 217 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:217-217)
  on line 219 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:219-219)
  on line 221 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:221-221)
  on line 223 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:223-223)
  on line 225 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:225-225)
  on line 227 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:227-227)
  on line 230 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:230-230)
  on line 232 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:232-232)
  on line 234 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:234-234)
[Warning][Deadcode] Function 'thread_routine_w' has dead code:
  on lines 361..362 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:361-362)
  on lines 375..405 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:375-405)
  on lines 408..409 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:408-409)
  on line 414 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:414-414)
  on line 416 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:416-416)
  on line 418 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:418-418)
  on line 420 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:420-420)
  on line 422 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:422-422)
  on line 424 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:424-424)
  on line 426 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:426-426)
  on line 429 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:429-429)
  on line 431 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:431-431)
  on line 433 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:433-433)
  on line 517 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:517-517)
  on lines 529..559 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:529-559)
  on lines 562..563 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:562-563)
  on line 568 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:568-568)
  on line 570 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:570-570)
  on line 572 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:572-572)
  on line 574 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:574-574)
  on line 576 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:576-576)
  on line 578 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:578-578)
  on line 580 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:580-580)
  on line 583 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:583-583)
  on line 585 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:585-585)
  on line 587 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:587-587)
  on line 636 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:636-636)
  on line 648 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:648-648)
  on line 687 (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:687-687)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 339
  dead: 137
  total lines: 476
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:658:20-658:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:625:16-625:17)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:214:13-214:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:632:20-632:21)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:216:13-216:21)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:218:13-218:20)
[Warning][Deadcode][CWE-570] condition '! e->hh.tbl' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:635:19-635:30)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:220:13-220:20)
[Warning][Deadcode][CWE-570] condition 'tmp != 0' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:360:9-360:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:437:20-437:21)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:222:13-222:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:478:20-478:21)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:224:13-224:20)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:226:13-226:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:364:12-364:13)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:228:13-228:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:480:24-480:25)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:367:16-367:17)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 11U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:567:13-567:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:368:18-368:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:298:26-298:27)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 10U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:569:13-569:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:672:20-672:21)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 9U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:571:13-571:20)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 8U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:573:13-573:20)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 7U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:575:13-575:20)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 6U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:577:13-577:20)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:374:20-374:32)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 == 5U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:579:13-579:20)
[Warning][Deadcode][CWE-571] condition '_hj_k___0 == 4U' is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:581:13-581:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:683:26-683:27)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:471:16-471:17)
[Warning][Deadcode][CWE-570] condition 'tmp != 0' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:161:9-161:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:238:20-238:21)
[Warning][Deadcode][CWE-571] condition 'elts' is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:473:15-473:19)
[Warning][Deadcode][CWE-570] condition '! _he_new_buckets' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:686:25-686:42)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:279:20-279:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:474:20-474:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:165:12-165:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:281:24-281:25)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:168:16-168:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:666:18-666:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:169:18-169:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:668:20-668:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:591:20-591:21)
[Warning][Deadcode][CWE-570] condition '! e' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:516:11-516:14)
[Warning][Deadcode][CWE-570] condition '_hj_k >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:175:20-175:32)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:702:34-702:35)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:520:14-520:15)
[Warning][Deadcode][CWE-570] condition '_hj_k == 11U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:413:13-413:21)
[Warning][Deadcode][CWE-570] condition '_hj_k == 10U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:415:13-415:21)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:272:16-272:17)
[Warning][Deadcode][CWE-570] condition '_hj_k == 9U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:417:13-417:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:521:16-521:17)
[Warning][Deadcode][CWE-570] condition '_hj_k == 8U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:419:13-419:20)
[Warning][Deadcode][CWE-570] condition '_hj_k == 7U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:421:13-421:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:522:18-522:19)
[Warning][Deadcode][CWE-570] condition '_hj_k == 6U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:423:13-423:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:275:20-275:21)
[Warning][Deadcode][CWE-570] condition '_hj_k == 5U' is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:425:13-425:20)
[Warning][Deadcode][CWE-571] condition '_hj_k == 4U' is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:427:13-427:20)
[Warning][Deadcode][CWE-570] condition '_hj_k___0 >= 12U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:528:20-528:36)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/the-continuous-race/benchmarks/uthash/main.c:497:26-497:27)
SV-COMP result: true
[Info][Witness] witness generation summary:
  total generation entries: 1
[Info][Race] Memory locations race summary:
  safe: 83
  vulnerable: 0
  unsafe: 0
  total memory locations: 83
