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


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


gcc -D_GNUCC -E -DCIL=1 /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c -o /tmp/cil-TV02dt8T.i
./cil/obj/x86_LINUX/cilly.asm.exe --out /tmp/cil-H0fS01UX.cil.c /tmp/cil-TV02dt8T.i
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4472: Warning: Variable-sized local variable str
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4526: Warning: Variable-sized local variable str___0
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4576: Warning: Variable-sized local variable str___1
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4631: Warning: Variable-sized local variable str___2
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4879: Warning: Variable-sized local variable msg
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25309: Warning: Variable-sized local variable c
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25356: Warning: Variable-sized local variable bck
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25449: Warning: Variable-sized local variable c___0
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25484: Warning: Variable-sized local variable bck___0
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25564: Warning: Variable-sized local variable c___1
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:25593: Warning: Variable-sized local variable bck___1
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39090: Warning: Variable-sized local variable x___0
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:39091: Warning: Variable-sized local variable f

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

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1145: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1145: Probably using char* where void* is best used:
 int*^{buf___1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1011} flows to struct k0 {
                                                                                          }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1013}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1145: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1145: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1180: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1218: Warning: assigning pointer to non-pointer: (void)*^{tmp___15:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1027}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1297: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:998}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1312: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1513: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1513: Probably using char* where void* is best used:
 struct k0 {
 }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:967}*^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:967} flows to int*^{msg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1425}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1513: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1513: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1534: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1534: Probably using char* where void* is best used:
 struct k0 {
 }*^{**(b___1->k[i]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:967}*^{*(b___1->k[i]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:967} flows to int*^{msg___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1429}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1534: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1534: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1844: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**c.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1704}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:1894: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                               <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> k: struct k0**^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}
                                                                                                               <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> n: int
                                                                                                               <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> t: int
                                                                                                             }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2048: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2061: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2070: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2080: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2080: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2080} flows to struct k0 {
                                                                                              <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> k: struct k0**^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}
                                                                                              <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> n: int
                                                                                              <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> t: int
                                                                                            }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2080: Warning: subtyping incompatible types:
int
struct k0 {
  <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> k: struct k0*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}*^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}
  <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> n: int
  <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> t: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2080: Warning: subtyping incompatible types:
struct k0 {
  <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> k: struct k0*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}*^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968}
  <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> n: int
  <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:968> t: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2194: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2194: Probably using char* where void* is best used:
 struct k0 {
 }*^{**d___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2110}*^{*d___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2110} flows to int*^{x___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2115}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2194: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2194: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2334: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2342: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2352: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2358: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2358: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2358} flows to struct k0 {
                                                                                              <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0 {
                                                                                                                                                                           <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0**
                                                                                                                                                                         }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}*^{*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}
                                                                                            }*^{**k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2149}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2358: Warning: subtyping incompatible types:
int
struct k0 {
  <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0 {
                                                                               <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0**
                                                                             }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}*^{*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2358: Warning: subtyping incompatible types:
struct k0 {
  <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0 {
                                                                               <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0**
                                                                             }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}*^{*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2378: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2402: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2402: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2402} flows to struct k0 {
                                                                                              <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0 {
                                                                                                                                                                           <*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160> k: struct k0**
                                                                                                                                                                         }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}*^{*q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2160}
                                                                                            }*^{**k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2149}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2522: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2522: Probably using char* where void* is best used:
 struct k0 {
 }*^{**d___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2431}*^{*d___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2431} flows to int*^{x___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2436}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2522: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2522: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2662: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2662: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2662} flows to struct k0 {
                                                                                            }*^{**(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2662: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2662: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2677: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2677: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2677} flows to struct k0 {
                                                                                            }*^{**(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2715: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2723: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2733: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2739: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2739: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2739} flows to struct k0 {
                                                                                              <*(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592> k: struct k0**^{*(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592}
                                                                                            }*^{**(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2759: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2783: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2783: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2783} flows to struct k0 {
                                                                                              <*(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592> k: struct k0**^{*(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592}
                                                                                            }*^{**(z->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2592}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3059: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3059: Probably using char* where void* is best used:
 int*^{u:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2946} flows to struct k0 {
                                                                                      <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942> k: struct k0 {
                                                                                                                                                                 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}
                                                                                    }*^{z:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3059: Warning: subtyping incompatible types:
int
struct k0 {
  <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942> k: struct k0 {
                                                                             }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3059: Warning: subtyping incompatible types:
struct k0 {
  <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942> k: struct k0 {
                                                                             }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:2942}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3283: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3283: Probably using char* where void* is best used:
 struct k0 {
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:935} flows to int*^{strlen.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3283}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3283: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3283: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3285: Warning: subtyping incompatible types:
struct k0 {
}
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3301: Warning: assigning pointer to non-pointer: (void)*^{offsetColon:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:963}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3313: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___3:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3228}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3337: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3337: Probably using char* where void* is best used:
 struct k0 {
   <*(x___0->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:935> k: struct k0 {
                                                                                         }*^{**(x___0->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:935}*^{*(x___0->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:935}
   <*((struct k0 *)*((V *)(x___0->k) + 2)).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:935> n: int
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:935} flows to int*^{strlen.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3337}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3401: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3401: Probably using char* where void* is best used:
 struct k0 {
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:934} flows to int*^{strlen.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3401}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3401: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3401: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3422: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3422: Probably using char* where void* is best used:
 struct k0 {
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:934} flows to int*^{strlen.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3422}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3532: Warning: assigning pointer to non-pointer: (void)*^{v:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3437}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3532: Warning: assigning pointer to non-pointer: (void)*^{aft:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3437}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567: Probably using char* where void* is best used:
 struct k0 {
   <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}
 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450} flows to int*^{*rrep_4.z:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567: Warning: subtyping incompatible types:
struct k0 {
  <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450> k: struct k0*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567: Warning: subtyping incompatible types:
int
struct k0 {
  <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450> k: struct k0*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567: Probably using char* where void* is best used:
 int*^{*rrep_4.z:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3567} flows to struct k0 {
                                                                                              <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}
                                                                                            }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3576: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3598: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3598: Probably using char* where void* is best used:
 struct k0 {
   <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}
 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450} flows to int*^{*rrep_4.z:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3598}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3598: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3598: Probably using char* where void* is best used:
 int*^{*rrep_4.z:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3598} flows to struct k0 {
                                                                                              <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}
                                                                                            }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3450}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3820: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**c.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3669}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3882: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                               <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0**^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
                                                                                                               <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
                                                                                                               <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
                                                                                                             }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3994: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4009: Warning: assigning non-pointer to pointer: float
 ->
 struct k0 {
 }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3732}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4012: Warning: assigning non-pointer to pointer: float
 ->
 struct k0 {
 }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3732}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4025: Warning: assigning non-pointer to pointer: (void)
 ->
 struct k0 {
   <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0**^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
   <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
   <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
 }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4033: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4033: Probably using char* where void* is best used:
 int*^{u:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3734} flows to struct k0 {
                                                                                      <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0 {
                                                                                                                                                                      <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0**
                                                                                                                                                                      <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
                                                                                                                                                                      <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
                                                                                                                                                                    }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}*^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
                                                                                      <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
                                                                                      <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
                                                                                    }*^{**q.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:3732}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4033: Warning: subtyping incompatible types:
int
struct k0 {
  <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0 {
                                                                                  <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0**
                                                                                  <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
                                                                                  <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
                                                                                }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}*^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
  <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
  <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4033: Warning: subtyping incompatible types:
struct k0 {
  <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0 {
                                                                                  <*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> k: struct k0**
                                                                                  <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
                                                                                  <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
                                                                                }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}*^{*b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973}
  <*b___1.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> n: int
  <*b___1.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:973> t: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4065: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:972}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4293: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**d___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4223}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4340: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4399: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4399: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4401: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4401: Probably using char* where void* is best used:
 struct k0 {
 }*^{**k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4390}*^{*k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4390} flows to int*^{sendall.b___1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4401}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4401: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4401: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4457: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4466: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4466: Probably using char* where void* is best used:
 struct k0 {
   <*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409> k: struct k0 {
                                                                                              }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
 }*^{**(y->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409} flows to int*^{sym:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4412}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4466: Warning: subtyping incompatible types:
struct k0 {
  <*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409> k: struct k0 {
                                                                                             }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4466: Warning: subtyping incompatible types:
int
struct k0 {
  <*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409> k: struct k0 {
                                                                                             }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4469: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4469: Probably using char* where void* is best used:
 struct k0 {
 }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409} flows to int*^{cod:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4415}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4469: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4469: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4519: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4519: Probably using char* where void* is best used:
 struct k0 {
   <*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409> k: struct k0 {
                                                                                              }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
 }*^{**(y->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409} flows to int*^{sym___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4421}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4523: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4523: Probably using char* where void* is best used:
 struct k0 {
 }*^{**tmp___3.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4425}*^{*tmp___3.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4425} flows to int*^{cod___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4424}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4523: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4523: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4570: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4570: Probably using char* where void* is best used:
 struct k0 {
   <*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409> k: struct k0 {
                                                                                              }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
 }*^{**(y->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409} flows to int*^{sym___1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4431}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4573: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4573: Probably using char* where void* is best used:
 struct k0 {
 }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409} flows to int*^{cod___1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4434}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4624: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4624: Probably using char* where void* is best used:
 struct k0 {
   <*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409> k: struct k0 {
                                                                                              }*^{**((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}*^{*((y->k[2])->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409}
 }*^{**(y->k[2]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4409} flows to int*^{sym___2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4440}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4628: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4628: Probably using char* where void* is best used:
 struct k0 {
 }*^{**tmp___10.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4444}*^{*tmp___10.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4444} flows to int*^{cod___2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4443}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4628: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4628: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4711: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4877: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4877: Probably using char* where void* is best used:
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4795}*^{*y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4795} flows to int*^{strlen.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4877}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4877: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4877: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4947: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4970: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4970: Probably using char* where void* is best used:
 struct k0 {
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4959}*^{*x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4959} flows to int*^{line___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4961}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4970: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:4970: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5047: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5047: Probably using char* where void* is best used:
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:916}*^{*y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:916} flows to int*^{popen_charvec.cmd:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5047}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5047: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5047: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5053: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:916}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081: Probably using char* where void* is best used:
 struct k0 {
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:916} flows to int*^{_4d_.srvr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081: Probably using char* where void* is best used:
 struct k0 {
 }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:916} flows to int*^{_4d_.port___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5081}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5097: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5097: Probably using char* where void* is best used:
 struct k0 {
 }*^{**(x___0->k[1]).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:916} flows to int*^{_4d_.srvr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5097}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5097: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5097: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5298: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5298: Probably using char* where void* is best used:
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:979} flows to int*^{strlen.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5298}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5298: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5298: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5300: Warning: subtyping incompatible types:
struct k0 {
}
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5307: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:979}
 ->
 (void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5312: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:979}
 ->
 (void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5315: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:979}
 ->
 (void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5422: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5576: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:910}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5620: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:924}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5933: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5949: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5949: Probably using char* where void* is best used:
 struct k0 {
 }*^{**p.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5940}*^{*p.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5940} flows to int*^{fopen.__filename:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5949}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5949: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5949: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6649: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6649: Probably using char* where void* is best used:
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6616}*^{*y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6616} flows to int*^{t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6604}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6649: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6649: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6704: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6704: Probably using char* where void* is best used:
 struct k0 {
 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6617}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6617} flows to int*^{w___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6606}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6704: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:6704: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8356: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8356: Probably using char* where void* is best used:
 struct k0 {
 }*^{**km.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8233}*^{*km.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8233} flows to int*^{m:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8235}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8356: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8356: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8466: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8466: Probably using char* where void* is best used:
 struct k0 {
 }*^{**km.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8233}*^{*km.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8233} flows to int*^{s2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8289}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8845: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8845: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8850: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8850: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8858: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8858: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9137: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___2:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8931}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9153: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___3:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8932}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9193: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___9:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8940}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9303: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9308: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9308: Probably using char* where void* is best used:
 int*^{d_:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5827} flows to struct k0 {
                                                                                       <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924> k: struct k0**^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924}
                                                                                       <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924> n: int
                                                                                     }*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9308: Warning: subtyping incompatible types:
int
struct k0 {
  <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924> k: struct k0*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924}*^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924}
  <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924> n: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9308: Warning: subtyping incompatible types:
struct k0 {
  <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924> k: struct k0*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924}*^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924}
  <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8924> n: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9316: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___24:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8965}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9405: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___36:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8989}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9442: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9442: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{unescaped_fill.d___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9442}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9442: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9442: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9474: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9474: Probably using char* where void* is best used:
 int*^{sp.return:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9474} flows to struct k0 {
                                                                                              <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}
                                                                                              <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
                                                                                            }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9474: Warning: subtyping incompatible types:
int
struct k0 {
  <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}
  <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9474: Warning: subtyping incompatible types:
struct k0 {
  <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}
  <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9487: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___49:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9004}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9551: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9551: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{denameS.dir_string:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9551}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9581: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9581: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{denameS.dir_string:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9581}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9586: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9586: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{denameS.dir_string:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9586}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9639: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___68:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9027}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9664: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9672: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9688: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9703: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___73:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9032}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9710: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___74:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9033}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9727: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9732: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___76:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9036}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9807: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___81:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9046}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9890: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___90:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9053}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9922: Warning: assigning pointer to non-pointer: (void)*^{z:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8912}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9924: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9953: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___96:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9060}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9988: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                             }*^{tmp___101:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:9065}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10765: Warning: assigning non-pointer to pointer: float
 ->
 struct k0 {
 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10707}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10765: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10085}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10996: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11051: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11051: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11106: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11134: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11134: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11185: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11185: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10078}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11212: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11245: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11245: Probably using char* where void* is best used:
 struct k0 {
 }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10076} flows to int*^{getaddrinfo.__name:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11245}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11245: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11245: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11260: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10076}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11367: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10074}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11368: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11538: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**b___1.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10069}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11580: Warning: assigning non-pointer to pointer: float
 ->
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11512}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11589: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11595: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11595: Probably using char* where void* is best used:
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11512}*^{*y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11512} flows to int*^{vitter.a:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11595}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11595: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11978: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11807}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12043: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10065> k: struct k0**^{*a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10065}
                                                                                                                <*a.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10065> n: int
                                                                                                                <*a.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10065> t: int
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10065}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12063: Warning: assigning non-pointer to pointer: float
 ->
 struct k0 {
   <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11808> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11808}
 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:11808}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12610: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12610: Probably using char* where void* is best used:
 struct k0 {
 }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10064} flows to int*^{setenv.__name:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12610}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12610: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:12610: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13365: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13355}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13367: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13482: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10122}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13483: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378> k: struct k0 {
                                                                                                                                                                                              <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378> k: struct k0**
                                                                                                                                                                                            }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378}
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10122}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13498: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13545: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378}
                                                                                                                <*z.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378> n: int
                                                                                                              }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13378}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13683: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10121}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13684: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573> k: struct k0 {
                                                                                                                                                                                              <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573> k: struct k0**
                                                                                                                                                                                            }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573}
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10121}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13699: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13757: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573> k: struct k0**^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573}
                                                                                                                <*z.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573> n: int
                                                                                                              }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13573}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13936: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14008: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965> k: struct k0**^{*k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965}
                                                                                                                <*k.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965> t: int
                                                                                                              }*^{**k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14014: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10123}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14031: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10123}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14037: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965> k: struct k0**^{*k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965}
                                                                                                                <*k.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965> t: int
                                                                                                              }*^{**k.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:13965}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14434: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14429}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14597: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14592}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14614: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14609}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14636: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14631}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14648: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14643}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14707: Warning: assigning pointer to non-pointer: (void)*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14701}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14707: Warning: assigning pointer to non-pointer: (void)*^{offsetSSR:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14173}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14710: Warning: assigning pointer to non-pointer: (void)*^{offsetWhat:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14174}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14713: Warning: assigning pointer to non-pointer: (void)*^{offsetAt:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14175}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14716: Warning: assigning pointer to non-pointer: (void)*^{offsetDot:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14176}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14793: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14793: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14817: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14817: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14864: Warning: assigning pointer to non-pointer: (void)*^{*w___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14733}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14931: Warning: subtyping incompatible types:
float
void
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15152: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*s.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> n: int
                                                                                                                <*s.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> t: int
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:913}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15183: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                                <*s.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> n: int
                                                                                                                <*s.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> t: int
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:913}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15184: Warning: subtyping incompatible types:
float
void
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15272: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15272: Probably using char* where void* is best used:
 struct k0 {
   <*s.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> n: int
   <*s.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> t: int
 }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:913} flows to int*^{str:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15020}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15272: Warning: subtyping incompatible types:
struct k0 {
  <*s.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> n: int
  <*s.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> t: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15272: Warning: subtyping incompatible types:
int
struct k0 {
  <*s.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> n: int
  <*s.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14991> t: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15339: Warning: assigning pointer to non-pointer: (void)*^{*p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15032}*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15032}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15458: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15620: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15484}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15639: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15484}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15658: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15484}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15722: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15674}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15734: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15674}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15803: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15755}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15815: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15755}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15884: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15836}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15900: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15836}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15973: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15925}
 ->
 float
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15989: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:15925}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16206: Warning: assigning pointer to non-pointer: (void)*^{v:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16206: Warning: assigning pointer to non-pointer: (void)*^{DT->func:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16048}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16391: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16485: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16510: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16639: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16641: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16643: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16645: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16647: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16649: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16651: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17191: Warning: assigning pointer to non-pointer: (void)*^{*fncp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16258}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17434: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17434: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17434: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17440: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17440: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17440: Warning: conflating flow at asm block
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17701: Warning: assigning pointer to non-pointer: (void)*^{*v:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17634}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17809: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17809: Probably using char* where void* is best used:
 struct k0 {
 }*^{**z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17756}*^{*z.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17756} flows to int*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17759}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17809: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17809: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17814: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**v.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17751}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17816: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17743}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17868: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**x___0.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17826}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17869: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17869: Probably using char* where void* is best used:
 struct k0 {
 }*^{**y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17826}*^{*y.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17826} flows to int*^{s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17832}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17869: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17869: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17915: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17950: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17997: Warning: assigning pointer to non-pointer: (void)*^{*o:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17965}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:17997: Warning: assigning pointer to non-pointer: (void)*^{offsetJoin:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14250}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18168: Warning: assigning pointer to non-pointer: (void)*^{*o:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18136}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18311: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18266}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18391: Warning: assigning pointer to non-pointer: (void)*^{*o:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18285}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18580: Warning: assigning pointer to non-pointer: struct k0 {
                                                                                                              }*^{**a.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18542}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18782: Warning: assigning pointer to non-pointer: (void)*^{*p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:18710}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19099: Warning: assigning pointer to non-pointer: (void)*^{*o:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19055}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19315: Warning: assigning pointer to non-pointer: (void)*^{*p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19257}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19316: Warning: assigning pointer to non-pointer: (void)*^{*o:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19259}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19382: Warning: assigning pointer to non-pointer: (void)*^{adverb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19267}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19398: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19512: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19546: Warning: assigning pointer to non-pointer: (void)*^{*p1:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19299}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19770: Warning: assigning pointer to non-pointer: (void)*^{q:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19579}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19777: dereferencing non-pointer: *((K *)*((S *)((h->k[2])->k) + 0)) : struct k0 {
                                                                                                                                   }
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19777: Warning: trying to access field t of non-struct type. This is usually caused by casting pointers to or from int or int*:
 int

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19778: Warning: assigning non-pointer to pointer: struct k0 {
                                                                                                              }
 ->
 struct k0 {
 }*^{dot.a:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19778}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19784: Warning: assigning non-pointer to pointer: struct k0 {
                                                                                                              }
 ->
 struct k0 {
   <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> k: struct k0 {
                                                                               }*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}*^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}
   <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> n: int
   <*g.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> t: int
 }*^{dot.a:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19784}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19791: dereferencing non-pointer: *((K *)*((S *)((h->k[2])->k) + 0)) : struct k0 {
                                                                                                                                   }
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19791: Warning: trying to access field t of non-struct type. This is usually caused by casting pointers to or from int or int*:
 int

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19876: dereferencing non-pointer: *((K *)*((S *)(((*((K *)q))->k[2])->k) + 0)) : struct k0 {
                                                                                                                                               <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> k: struct k0*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}*^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}
                                                                                                                                               <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> n: int
                                                                                                                                               <*g.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> t: int
                                                                                                                                             }
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19876: Warning: trying to access field t of non-struct type. This is usually caused by casting pointers to or from int or int*:
 int

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19878: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20076: Warning: assigning non-pointer to pointer: struct k0 {
                                                                                                                <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> k: struct k0*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}*^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}
                                                                                                                <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> n: int
                                                                                                                <*g.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> t: int
                                                                                                              }
 ->
 struct k0 {
   <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> k: struct k0 {
                                                                                 <*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> k: struct k0**
                                                                                 <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> n: int
                                                                                 <*g.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> t: int
                                                                               }*^{**g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}*^{*g.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087}
   <*g.n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> n: int
   <*g.t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:10087> t: int
 }*^{what.x___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20076}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20132: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20368: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20368: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{wd_.s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20368}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20371: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20371: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{wd_.s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20371}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20374: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20374: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{wd_.s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20374}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20377: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20377: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{wd_.s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20377}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20381: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20381: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{wd_.s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20381}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20415: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20415: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{strchr.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20415}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20480: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20480: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{strchr.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20480}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20560: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20560: Probably using char* where void* is best used:
 struct k0 {
   <*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> k: struct k0**
   <*(*locals).n:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002> n: int
   <*(*f).t:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8946> t: int
 }*^{**func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002}*^{*func.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:7002} flows to int*^{strchr.__s:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20560}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20587: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20587: Probably using char* where void* is best used:
 int*^{tmp___52:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19728} flows to struct k0 {
                                                                                            }*^{**xx.k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:19726}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20587: Warning: subtyping incompatible types:
int
struct k0 {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20587: Warning: subtyping incompatible types:
struct k0 {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20714: Warning: assigning pointer to non-pointer: (void)*^{offset3m:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14251}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:20746: Error: trying to index array using non-int type: struct k0 {
                                                                                                                    }*^{**((struct k0 *)*((V *)(a->k) + 2)).k:/mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:5822}

Fatal error: exception Locktype.TypingBug
