./locksmith /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c


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


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c -o /tmp/cil-VpS63rBI.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-1fL9J5K6.cil.c /tmp/cil-VpS63rBI.i

************************* STARTING *************************

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3867: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3867: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:3867: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4310: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4310: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:4310: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6115: Warning: assigning pointer to non-pointer: int*^{&trace_count:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5452}
 ->
 void
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6115: Warning: number of args non-equal. first extra arg: int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6224: Warning: assigning pointer to non-pointer: (void)*^{*_hd_hh_del.prev:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6190}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6225: Warning: assigning pointer to non-pointer: (void)*^{*(entry->varmap).hh.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6182}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6235: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6235: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6235} flows to struct UT_hash_handle {
                                                                                         }*^{*((entry->varmap)->hh.tbl).tail:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6190}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6235: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6235: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6238: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6238: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6238} flows to struct UT_hash_handle {
                                                                                         }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6238}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6238: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6238: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6246: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6246: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6246} flows to struct UT_hash_handle {
                                                                                         }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6246}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6246: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6246: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6281: Warning: assigning pointer to non-pointer: (void)*^{*_hd_hh_del___0.prev:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6193}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6282: Warning: assigning pointer to non-pointer: (void)*^{*varpeek_map.hh.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5447}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6292: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6292: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6292} flows to struct UT_hash_handle {
                                                                                         }*^{*(varpeek_map->hh.tbl).tail:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6193}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6292: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6292: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6295: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6295: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6295} flows to struct UT_hash_handle {
                                                                                         }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6295}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6295: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6295: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6303: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6303: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6303} flows to struct UT_hash_handle {
                                                                                         }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6303}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6303: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6303: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6346: Warning: assigning pointer to non-pointer: (void)*^{*_hd_hh_del___1.prev:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6198}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6347: Warning: assigning pointer to non-pointer: (void)*^{*glopeek_map.hh.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5448}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6357: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6357: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6357} flows to struct UT_hash_handle {
                                                                                         }*^{*(glopeek_map->hh.tbl).tail:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6198}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6357: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6357: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6360: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6360: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6360} flows to struct UT_hash_handle {
                                                                                         }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6360}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6360: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6360: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6368: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6368: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6368} flows to struct UT_hash_handle {
                                                                                         }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6368}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6368: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6368: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7837: Warning: assigning pointer to non-pointer: (void)*^{raddr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7886: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8332: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8446: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8933: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9500: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:9614: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10101: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10668: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:10782: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11269: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11836: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:11950: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:12437: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13004: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13118: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:13605: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14172: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14286: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:14773: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15340: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15454: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:15941: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16292: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16433: Warning: assigning pointer to non-pointer: (void)*^{arg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16427}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16588: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16592: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16592: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16592: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16727: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16727: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16727: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19216: Warning: assigning pointer to non-pointer: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19217: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19217: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19217} flows to struct UT_hash_handle {
                                                                                            <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                            <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                                                                                                                  <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                                                                                                                }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                          }*^{_hs_q:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19170}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19217: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
  <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
  <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                        <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                      }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19217: Warning: subtyping incompatible types:
struct UT_hash_handle {
  <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
  <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                        <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                      }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19240: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19240: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19240} flows to struct UT_hash_handle {
                                                                                            <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                            <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                                                                                                                  <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                                                                                                                }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                          }*^{_hs_q:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19170}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19254: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19254: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19254} flows to struct UT_hash_handle {
                                                                                            <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                            <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                                                                                                                  <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                                                                                                                }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                          }*^{_hs_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19254: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
  <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
  <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                        <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                      }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19254: Warning: subtyping incompatible types:
struct UT_hash_handle {
  <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
  <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                        <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                      }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19267: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19267: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19267} flows to struct UT_hash_handle {
                                                                                            <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                            <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                                                                                                                  <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                                                                                                                }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                          }*^{_hs_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19276: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19276: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19276} flows to struct UT_hash_handle {
                                                                                            <*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> next: (void)*^{*_hs_q.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                            <*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> tbl: struct UT_hash_table {
                                                                                                                                                                                                  <*((udata->callers)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169> hho: int
                                                                                                                                                                                                }*^{*(udata->callers).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19169}
                                                                                          }*^{_hs_q:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19170}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19357: Warning: assigning pointer to non-pointer: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19358: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19358: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19358} flows to struct UT_hash_handle {
                                                                                            <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                            <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                                                                                                                   <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                                                                                                                 }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                          }*^{_hs_q___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19185}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19358: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
  <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
  <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                         <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                       }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19358: Warning: subtyping incompatible types:
struct UT_hash_handle {
  <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
  <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                         <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                       }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19381: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19381: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19381} flows to struct UT_hash_handle {
                                                                                            <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                            <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                                                                                                                   <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                                                                                                                 }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                          }*^{_hs_q___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19185}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19395: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19395: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19395} flows to struct UT_hash_handle {
                                                                                            <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                            <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                                                                                                                   <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                                                                                                                 }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                          }*^{_hs_p___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19395: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
  <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
  <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                         <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                       }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19395: Warning: subtyping incompatible types:
struct UT_hash_handle {
  <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
  <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                         <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                       }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19408: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19408: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19408} flows to struct UT_hash_handle {
                                                                                            <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                            <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                                                                                                                   <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                                                                                                                 }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                          }*^{_hs_p___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19417: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19417: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19417} flows to struct UT_hash_handle {
                                                                                            <*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> next: (void)*^{*_hs_q___0.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                            <*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> tbl: struct UT_hash_table {
                                                                                                                                                                                                   <*((caller->callees)->hh.tbl).hho:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184> hho: int
                                                                                                                                                                                                 }*^{*(caller->callees).hh.tbl:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19184}
                                                                                          }*^{_hs_q___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19185}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19538: Warning: assigning pointer to non-pointer: (void)*^{*_hd_hh_del.prev:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19512}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19539: Warning: assigning pointer to non-pointer: (void)*^{*(caller->callees).hh.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19506}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19549: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19549: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19549} flows to struct UT_hash_handle {
                                                                                          }*^{*((caller->callees)->hh.tbl).tail:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19512}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19549: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19549: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19552: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19552: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19552} flows to struct UT_hash_handle {
                                                                                          }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19552}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19552: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19552: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19560: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19560: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19560} flows to struct UT_hash_handle {
                                                                                          }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19560}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19560: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19560: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19595: Warning: assigning pointer to non-pointer: (void)*^{*_hd_hh_del___0.prev:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19515}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19596: Warning: assigning pointer to non-pointer: (void)*^{*(udata->callers).hh.next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19504}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19606: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19606: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19606} flows to struct UT_hash_handle {
                                                                                          }*^{*((udata->callers)->hh.tbl).tail:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19515}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19606: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19606: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19609: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19609: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19609} flows to struct UT_hash_handle {
                                                                                          }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19609}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19609: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19609: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19617: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19617: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19617} flows to struct UT_hash_handle {
                                                                                          }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19617}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19617: Warning: subtyping incompatible types:
int
struct UT_hash_handle {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:19617: Warning: subtyping incompatible types:
struct UT_hash_handle {
}
int
functions declared and used but not defined:
  __assert_fail
  __atomic_add_fetch
  __btowc_alias
  __builtin_expect
  __builtin_va_end
  __errno_location
  __fxstat
  __fxstat64
  __fxstatat
  __fxstatat64
  __getdelim
  __lxstat
  __lxstat64
  __mbrlen
  __overflow
  __uflow
  __wctob_alias
  __xmknod
  __xmknodat
  __xstat
  __xstat64
  access
  alarm
  asprintf
  cfmakeraw
  clock_gettime
  close
  dup
  dup2
  execvp
  fclose
  fcntl
  fdopen
  fgets
  fileno
  fopen
  fork
  fprintf
  fread
  getc
  getenv
  getopt_long
  getpid
  gettimeofday
  ioctl
  isatty
  kill
  mbrtowc
  memchr
  memcmp
  nanosleep
  open
  pclose
  perror
  pipe
  popen
  printf
  process_vm_readv
  pthread_cond_broadcast
  pthread_cond_destroy
  pthread_cond_init
  pthread_cond_signal
  pthread_cond_timedwait
  pthread_join
  ptrace
  putc
  qsort
  read
  regcomp
  regexec
  regfree
  select
  setvbuf
  sigaction
  sigfillset
  sigprocmask
  snprintf
  sscanf
  strchr
  strdup
  strerror
  strlen
  strrchr
  strstr
  strtod
  strtok
  strtol
  strtoll
  strtoul
  strtoull
  tcgetattr
  tcsetattr
  vfprintf
  vsnprintf
  waitpid
  wcwidth
  write
