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


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


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

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

/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:1756: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:3021: Warning: assigning pointer to non-pointer: (void)*^{map:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:2998}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:5580: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6687: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6682}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6722: Warning: subtyping incompatible types:
float
void
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6735: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6730}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6743: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:6913: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8682: Warning: subtyping incompatible types:
void
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8682: Warning: number of args non-equal. first extra arg: int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8682: Warning: subtyping incompatible types:
int
void
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8682: Warning: number of args non-equal. first extra arg: int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8689: Warning: number of args non-equal. first extra arg: int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:8689: Warning: number of args non-equal. first extra arg: int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:14987: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15019: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15887: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15887: Probably using char* where void* is best used:
 struct strm_string {
   <*str.ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842> ptr: int*^{*str.ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842}
 }*^{str:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842} flows to int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15844}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15887: Warning: subtyping incompatible types:
struct strm_string {
  <*str.ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842> ptr: int*^{*str.ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15887: Warning: subtyping incompatible types:
int
struct strm_string {
  <*str.ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842> ptr: int*^{*str.ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:15842}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16096: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16122: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16141: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16506: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16506: Probably using char* where void* is best used:
 struct strm_array {
 }*^{ary:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16499} flows to int*^{buf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16500}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/streem/main.c:16506: Warning: subtyping incompatible types:
struct 