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


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


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

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

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:819: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:819}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:819}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:908: Warning: assigning pointer to non-pointer: (void)*^{*(dl + x).mptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:889}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:923: Warning: assigning pointer to non-pointer: struct MDB_page {
                                                                                                            }*^{*txn.mt_loose_pgs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:888}
 ->
 struct MDB_page {
   <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:884> mp_flags: int
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:884> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:884> p_pgno: int
                                                                                    }
 }
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1240: Warning: assigning non-pointer to pointer: struct MDB_page {
                                                                                                             }
 ->
 struct MDB_page {
 }*^{*txn.mt_loose_pgs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1202}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1345: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1345: Probably using char* where void* is best used:
 int*^{*env.me_map:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1203} flows to struct MDB_page {
                                                                                                <*np.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:666> mp_ptrs: int*^{*np.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:666}
                                                                                              }*^{np:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1211}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1345: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*np.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:666> mp_ptrs: int*^{*np.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:666}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1345: Warning: subtyping incompatible types:
struct MDB_page {
  <*np.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:666> mp_ptrs: int*^{*np.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:666}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1539: Warning: assigning pointer to non-pointer: (void)*^{*(dl + x).mptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1476}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1613: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1613: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1480} flows to struct MDB_page {
                                                                                                     <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_flags: int
                                                                                                     <*np.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                                                                                                                         <*np.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> p_pgno: int
                                                                                                                                                                                       }
                                                                                                     <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                                                                                                              <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                                                                                       <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> pb_lower: int
                                                                                                                                                                                                                                                                                     }
                                                                                                                                                                                            }
                                                                                                     <*parent.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_ptrs: int*^{*parent.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464}
                                                                                                   }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1468}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1613: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_flags: int
  <*np.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*np.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> p_pgno: int
                                                                                    }
  <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                           <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                    <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> pb_lower: int
                                                                                                                                                                                  }
                                                                                         }
  <*parent.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_ptrs: int*^{*parent.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1613: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_flags: int
  <*np.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*np.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> p_pgno: int
                                                                                    }
  <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                           <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                    <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> pb_lower: int
                                                                                                                                                                                  }
                                                                                         }
  <*parent.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464> mp_ptrs: int*^{*parent.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1464}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1733: Error: assigning concrete structs of different type:
struct MDB_xcursor {
}
 struct MDB_cursor {
   <*mc.mc_backup:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_backup: struct MDB_cursor {
                                                                                                 <*mc.mc_backup:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_backup: struct MDB_cursor*
                                                                                                 <*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_db: struct MDB_db {
                                                                                                                                                                                     }*^{*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
                                                                                                 <*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_dbflag: int*^{*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
                                                                                                 <*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_txn: struct MDB_txn {
                                                                                                                                                                                         <*dst.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698> mt_dbflags: int*^{*dst.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698}
                                                                                                                                                                                         <*dst.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698> mt_dbs: struct MDB_db {
                                                                                                                                                                                                                                                                                }*^{*dst.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698}
                                                                                                                                                                                       }*^{*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
                                                                                                 <*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_xcursor: struct MDB_xcursor {
                                                                                                                                                                                               }*^{*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
                                                                                               }*^{*mc.mc_backup:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
   <*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_db: struct MDB_db {
                                                                                       }*^{*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
   <*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_dbflag: int*^{*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
   <*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_txn: struct MDB_txn {
                                                                                           <*dst.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698> mt_dbflags: int*^{*dst.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698}
                                                                                           <*dst.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698> mt_dbs: struct MDB_db {
                                                                                                                                                                                  }*^{*dst.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1698}
                                                                                         }*^{*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
   <*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700> mc_xcursor: struct MDB_xcursor {
                                                                                                 }*^{*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1700}
 }

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1781: Error: assigning concrete structs of different type:
struct MDB_cursor {
  <*mc.mc_backup:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_backup: struct MDB_cursor {
                                                                                                <*mc.mc_backup:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_backup: struct MDB_cursor*
                                                                                                <*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_db: struct MDB_db {
                                                                                                                                                                                    }*^{*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
                                                                                                <*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_dbflag: int*^{*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
                                                                                                <*mc.mc_next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_next: struct MDB_cursor {
                                                                                                                                                                                        }*^{*mc.mc_next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
                                                                                                <*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_txn: struct MDB_txn {
                                                                                                                                                                                      }*^{*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
                                                                                                <*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_xcursor: struct MDB_xcursor {
                                                                                                                                                                                                <*mx.mx_cursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751> mx_cursor: struct MDB_cursor {
                                                                                                                                                                                                                                                                                              <*mx.mx_cursor.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751> mc_txn: struct MDB_txn {
                                                                                                                                                                                                                                                                                                                                                                                              }*^{*mx.mx_cursor.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751}
                                                                                                                                                                                                                                                                                            }
                                                                                                                                                                                              }*^{*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
                                                                                              }*^{*mc.mc_backup:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
  <*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_db: struct MDB_db {
                                                                                      }*^{*mc.mc_db:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
  <*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_dbflag: int*^{*mc.mc_dbflag:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
  <*mc.mc_next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_next: struct MDB_cursor {
                                                                                          }*^{*mc.mc_next:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
  <*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_txn: struct MDB_txn {
                                                                                        }*^{*mc.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
  <*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747> mc_xcursor: struct MDB_xcursor {
                                                                                                  <*mx.mx_cursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751> mx_cursor: struct MDB_cursor {
                                                                                                                                                                                                <*mx.mx_cursor.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751> mc_txn: struct MDB_txn {
                                                                                                                                                                                                                                                                                                }*^{*mx.mx_cursor.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751}
                                                                                                                                                                                              }
                                                                                                }*^{*mc.mc_xcursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1747}
}
 struct MDB_xcursor {
   <*mx.mx_cursor:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751> mx_cursor: struct MDB_cursor {
                                                                                                 <*mx.mx_cursor.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751> mc_txn: struct MDB_txn {
                                                                                                                                                                                                 }*^{*mx.mx_cursor.mc_txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:1751}
                                                                                               }
 }

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2054: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2054: Probably using char* where void* is best used:
 struct MDB_txn {
   <*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbflags: int*^{*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
   <*txn.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbs: struct MDB_db {
                                                                                          }*^{*txn.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
   <*txn.mt_dbxs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbxs: struct MDB_dbx {
                                                                                            }*^{*txn.mt_dbxs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
 }*^{txn:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008} flows to int*^{*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2054: Warning: subtyping incompatible types:
struct MDB_txn {
  <*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbflags: int*^{*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
  <*txn.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbs: struct MDB_db {
                                                                                         }*^{*txn.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
  <*txn.mt_dbxs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbxs: struct MDB_dbx {
                                                                                           }*^{*txn.mt_dbxs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2054: Warning: subtyping incompatible types:
int
struct MDB_txn {
  <*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbflags: int*^{*txn.mt_dbflags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
  <*txn.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbs: struct MDB_db {
                                                                                         }*^{*txn.mt_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
  <*txn.mt_dbxs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008> mt_dbxs: struct MDB_dbx {
                                                                                           }*^{*txn.mt_dbxs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2058: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2058: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2370: Warning: assigning non-pointer to pointer: struct MDB_page {
                                                                                                               <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                                                                                                                                   <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> p_pgno: int
                                                                                                                                                                                                 }
                                                                                                             }
 ->
 struct MDB_page {
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> p_pgno: int
                                                                                     }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2463: Warning: subtyping incompatible types:
int
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2540: Warning: assigning non-pointer to pointer: struct MDB_page {
                                                                                                               <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                                                                                                                                   <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> p_pgno: int
                                                                                                                                                                                                 }
                                                                                                             }
 ->
 struct MDB_page {
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2293> p_pgno: int
                                                                                     }
 }*^{mp___0:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2306}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2950: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2950: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3129: Error: assigning concrete structs of different type:
struct MDB_meta {
}
 struct MDB_page {
   <*p.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3110> mp_flags: int
   <*p.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3110> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*p.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3110> p_pgno: int
                                                                                    }
 }

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3133: Error: assigning concrete structs of different type:
struct MDB_meta {
}
 struct MDB_page {
   <*p.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3110> mp_flags: int
   <*p.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3110> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*p.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3110> p_pgno: int
                                                                                    }
 }

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3204: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3204: Probably using char* where void* is best used:
 struct MDB_meta {
   <*mp.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_dbs: struct MDB_db {
                                                                                         }*^{*mp.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165}
   <*mp.mm_last_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_last_pg: int
   <*(env->me_metas[toggle ^ 1]).mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_mapsize: int
   <*mp.mm_txnid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_txnid: int
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165} flows to int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3172}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3204: Warning: subtyping incompatible types:
struct MDB_meta {
  <*mp.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_dbs: struct MDB_db {
                                                                                        }*^{*mp.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165}
  <*mp.mm_last_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_last_pg: int
  <*(env->me_metas[toggle ^ 1]).mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_mapsize: int
  <*mp.mm_txnid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_txnid: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3204: Warning: subtyping incompatible types:
int
struct MDB_meta {
  <*mp.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_dbs: struct MDB_db {
                                                                                        }*^{*mp.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165}
  <*mp.mm_last_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_last_pg: int
  <*(env->me_metas[toggle ^ 1]).mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_mapsize: int
  <*mp.mm_txnid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3165> mm_txnid: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3224: Warning: assigning pointer to non-pointer: int*^{*((MDB_meta *)0).mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3224}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3225: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3225: Probably using char* where void* is best used:
 struct MDB_meta {
   <meta.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_dbs: struct MDB_db {
                                                                                          }*^{meta.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163}
   <meta.mm_last_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_last_pg: int
   <meta.mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_mapsize: int
   <meta.mm_txnid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_txnid: int
 }*^{&meta:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163} flows to int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3172}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3225: Warning: subtyping incompatible types:
struct MDB_meta {
  <meta.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_dbs: struct MDB_db {
                                                                                         }*^{meta.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163}
  <meta.mm_last_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_last_pg: int
  <meta.mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_mapsize: int
  <meta.mm_txnid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_txnid: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3225: Warning: subtyping incompatible types:
int
struct MDB_meta {
  <meta.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_dbs: struct MDB_db {
                                                                                         }*^{meta.mm_dbs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163}
  <meta.mm_last_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_last_pg: int
  <meta.mm_mapsize:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_mapsize: int
  <meta.mm_txnid:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3163> mm_txnid: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3333: Warning: assigning pointer to non-pointer: (void)*^{addr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3299}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3337: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3337: Probably using char* where void* is best used:
 int*^{*env.me_map:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3298} flows to struct MDB_page {
                                                                                              }*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3301}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3337: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3337: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3803: Warning: assigning pointer to non-pointer: (void)*^{m:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3752}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3994: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3994: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3995: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3995: Probably using char* where void* is best used:
 struct MDB_cursor {
 }*^{**txn.mt_cursors:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3872}*^{*txn.mt_cursors:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3872} flows to int*^{*txn.mt_dbiseqs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3872}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3995: Warning: assigning incompatible pointers, conflating flow
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:3995: Warning: assigning number to pointer
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> mp_flags: int
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> pb_lower: int
                                                                                                                                                                             }
                                                                                       }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234} flows to int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> mp_flags: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> pb_lower: int
                                                                                                                                                                            }
                                                                                      }
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> mp_flags: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4234> pb_lower: int
                                                                                                                                                                            }
                                                                                      }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255} flows to struct MDB_node {
                                                                                       }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Warning: subtyping incompatible types:
int
struct MDB_node {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4255: Warning: subtyping incompatible types:
struct MDB_node {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4407: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4407: Probably using char* where void* is best used:
 int*^{*env.me_map:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4364} flows to struct MDB_page {
                                                                                              }*^{p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4356}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4407: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4407: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4563: Warning: subtyping incompatible types:
(void)
struct MDB_db {
  <*(mc->mc_db).md_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:672> md_flags: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4657: Warning: assigning pointer to non-pointer: (void)*^{ix.mptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:4614}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5802: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5802}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5802}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5805: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5805}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5805}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5815: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5815: Probably using char* where void* is best used:
 struct MDB_page {
   <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:645> mp_flags: int
 }*^{**mc.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:645} flows to int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5643}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5815: Warning: subtyping incompatible types:
struct MDB_page {
  <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:645> mp_flags: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5815: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:645> mp_flags: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5816: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5875: Warning: subtyping incompatible types:
(void)
struct MDB_page {
  <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> p_pgno: int
                                                                                    }
  <*fp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_pad: int
  <*fp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*fp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*fp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> pb_lower: int
                                                                                                                                                                              <*fp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5878: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5878}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5878}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5879: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5879}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5879}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5982: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6022: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6022}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6022}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6036: Warning: subtyping incompatible types:
(void)
struct MDB_page {
  <*fp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_flags: int
  <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> p_pgno: int
                                                                                    }
  <*fp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_pad: int
  <*fp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*fp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*fp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> pb_lower: int
                                                                                                                                                                              <*fp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> pb_upper: int
                                                                                                                                                                            }
                                                                                        <*omp.mp_pb.pb_pages:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5650> pb_pages: int
                                                                                      }
  <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5617}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6055: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6122: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6122: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5667} flows to struct MDB_page {
                                                                                                   }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5661}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6122: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6122: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6197: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6197: Probably using char* where void* is best used:
 int*^{*xr_node___0.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5676} flows to struct MDB_page {
                                                                                                       }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5661}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6214: Warning: subtyping incompatible types:
struct MDB_db {
  <*(mc->mc_xcursor).mx_db.md_entries:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:5672> md_entries: int
}
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6303: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6303: Probably using char* where void* is best used:
 int*^{*leaf.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6252} flows to struct MDB_page {
                                                                                                }*^{**(mc->mc_xcursor).mx_cursor.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:646}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6303: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6303: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6312: Warning: subtyping incompatible types:
struct MDB_db {
  <*(mc->mc_xcursor).mx_db.md_entries:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:646> md_entries: int
}
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6345: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6345: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6259} flows to struct MDB_page {
                                                                                                   }*^{**(m2->mc_xcursor).mx_cursor.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6257}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6345: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6345: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6403: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6403}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6403}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6424: Warning: assigning pointer to non-pointer: int*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6424}*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6424}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6442: Warning: assigning pointer to non-pointer: int*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6442}*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6442}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6464: Warning: assigning pointer to non-pointer: int*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6464}*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6464}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6473: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6473: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> mp_flags: int
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb_lower: int
                                                                                                                                                                               <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb_upper: int
                                                                                                                                                                             }
                                                                                       }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454} flows to int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6459}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6473: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> mp_flags: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb_lower: int
                                                                                                                                                                              <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6473: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> mp_flags: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb_lower: int
                                                                                                                                                                              <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6454> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6478: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6556: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6573: Warning: subtyping incompatible types:
int
(void)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6613: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6613: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> mp_flags: int
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> pb_lower: int
                                                                                                                                                                             }
                                                                                       }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592} flows to int*^{base:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6600}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6613: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> mp_flags: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> pb_lower: int
                                                                                                                                                                            }
                                                                                      }
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6613: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> mp_flags: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6592> pb_lower: int
                                                                                                                                                                            }
                                                                                      }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6622: Warning: assigning pointer to non-pointer: int*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6622}*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6622}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6665: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6665: Probably using char* where void* is best used:
 int*^{*node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6653} flows to struct MDB_page {
                                                                                                }*^{sp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6654}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6665: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6665: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6683: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6683}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6683}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6692: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6692: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> p_pgno: int
                                                                                    }
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                             <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> pb_upper: int
                                                                                                                                                                           }
                                                                                      }
   <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684}
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6651} flows to int*^{base:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6656}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6692: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                     <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> p_pgno: int
                                                                                   }
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                       <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                            <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> pb_upper: int
                                                                                                                                                                          }
                                                                                     }
  <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6692: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                     <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> p_pgno: int
                                                                                   }
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                       <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                            <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> pb_upper: int
                                                                                                                                                                          }
                                                                                     }
  <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:684}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6741: Warning: subtyping incompatible types:
int
struct MDB_db {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6747: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6747: Probably using char* where void* is best used:
 int*^{*node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:704} flows to struct MDB_page {
                                                                                               }*^{fp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6735}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6747: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6747: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7045: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7045: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb_lower: int
                                                                                                                                                                               <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb_upper: int
                                                                                                                                                                             }
                                                                                       }
   <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006}
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006} flows to int*^{base:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7008}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7045: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb_lower: int
                                                                                                                                                                              <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
  <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7045: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb_lower: int
                                                                                                                                                                              <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
  <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7006}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7046: Warning: assigning pointer to non-pointer: int*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7046}*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7046}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7055: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7235: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7235: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7084} flows to struct MDB_page {
                                                                                                     <*(cdst->mc_pg[cdst->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:685> mp_flags: int
                                                                                                     <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                                                                                                              <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                                                                                       <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb_lower: int
                                                                                                                                                                                                                                                                                     }
                                                                                                                                                                                            }
                                                                                                     <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081}
                                                                                                   }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7078}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7235: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*(cdst->mc_pg[cdst->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:685> mp_flags: int
  <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                           <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                    <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb_lower: int
                                                                                                                                                                                  }
                                                                                         }
  <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7235: Warning: subtyping incompatible types:
struct MDB_page {
  <*(cdst->mc_pg[cdst->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:685> mp_flags: int
  <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                           <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                    <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb_lower: int
                                                                                                                                                                                  }
                                                                                         }
  <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7284: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7284: Probably using char* where void* is best used:
 int*^{*xr_node___0.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7086} flows to struct MDB_page {
                                                                                                         <*(cdst->mc_pg[cdst->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:685> mp_flags: int
                                                                                                         <*xr_pg.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                                                                                                                  <*xr_pg.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                                                                                           <*xr_pg.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> pb_lower: int
                                                                                                                                                                                                                                                                                         }
                                                                                                                                                                                                }
                                                                                                         <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7081}
                                                                                                       }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7078}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7537: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7537: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7401} flows to struct MDB_page {
                                                                                                     <*pdst.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                                                                                                             <*pdst.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                                                                                     <*pdst.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> pb_lower: int
                                                                                                                                                                                                                                                                                   }
                                                                                                                                                                                           }
                                                                                                     <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386}
                                                                                                   }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7396}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7537: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*pdst.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                          <*pdst.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                  <*pdst.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> pb_lower: int
                                                                                                                                                                                }
                                                                                        }
  <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7537: Warning: subtyping incompatible types:
struct MDB_page {
  <*pdst.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                          <*pdst.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                  <*pdst.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> pb_lower: int
                                                                                                                                                                                }
                                                                                        }
  <*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386> mp_ptrs: int*^{*xr_pg.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7386}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Probably using char* where void* is best used:
 struct MDB_page {
   <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_flags: int
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> p_pgno: int
                                                                                     }
   <*(mc->mc_pg[mc->mc_top]).mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                             <*(mc->mc_pg[mc->mc_top]).mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                       <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_lower: int
                                                                                                                                                                                                                       <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_upper: int
                                                                                                                                                                                                                     }
                                                                                                           }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588} flows to int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
struct MDB_page {
  <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_flags: int
  <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> p_pgno: int
                                                                                    }
  <*(mc->mc_pg[mc->mc_top]).mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                            <*(mc->mc_pg[mc->mc_top]).mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                      <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_lower: int
                                                                                                                                                                                                                      <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_upper: int
                                                                                                                                                                                                                    }
                                                                                                          }
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_flags: int
  <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> p_pgno: int
                                                                                    }
  <*(mc->mc_pg[mc->mc_top]).mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                            <*(mc->mc_pg[mc->mc_top]).mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                      <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_lower: int
                                                                                                                                                                                                                      <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_upper: int
                                                                                                                                                                                                                    }
                                                                                                          }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658} flows to struct MDB_node {
                                                                                       }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
int
struct MDB_node {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
struct MDB_node {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Probably using char* where void* is best used:
 struct MDB_page {
   <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_flags: int
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> p_pgno: int
                                                                                     }
   <*(mc->mc_pg[mc->mc_top]).mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                             <*(mc->mc_pg[mc->mc_top]).mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                       <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_lower: int
                                                                                                                                                                                                                       <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_upper: int
                                                                                                                                                                                                                     }
                                                                                                           }
   <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588}
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588} flows to int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658} flows to struct MDB_node {
                                                                                       }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
int
struct MDB_node {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
struct MDB_node {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Probably using char* where void* is best used:
 struct MDB_page {
   <*(mc->mc_pg[mc->mc_top]).mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_flags: int
   <*mp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*mp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> p_pgno: int
                                                                                     }
   <*(mc->mc_pg[mc->mc_top]).mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                             <*(mc->mc_pg[mc->mc_top]).mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                       <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_lower: int
                                                                                                                                                                                                                       <*(mc->mc_pg[mc->mc_top]).mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:689> pb_upper: int
                                                                                                                                                                                                                     }
                                                                                                           }
   <*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588> mp_ptrs: int*^{*mp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588}
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7588} flows to int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Probably using char* where void* is best used:
 int*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658} flows to struct MDB_node {
                                                                                       }*^{cast:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
int
struct MDB_node {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7658: Warning: subtyping incompatible types:
struct MDB_node {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7834: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7834: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7783} flows to struct MDB_page {
                                                                                                   }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7779}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7834: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7834: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7891: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7891: Probably using char* where void* is best used:
 int*^{*node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7784} flows to struct MDB_page {
                                                                                                  <*(m3->mc_pg[m3->mc_top]).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7779> mp_ptrs: int*^{*(m3->mc_pg[m3->mc_top]).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7779}
                                                                                                }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:7779}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8099: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8099: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_flags: int
   <*pp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                     }
   <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                             }
                                                                                       }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006} flows to int*^{split:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8012}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8099: Warning: subtyping incompatible types:
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_flags: int
  <*pp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                    }
  <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                            }
                                                                                      }
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8099: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_flags: int
  <*pp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                    }
  <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
  <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                            }
                                                                                      }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8113: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8113: Probably using char* where void* is best used:
 struct MDB_page {
   <*mp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_flags: int
   <*pp.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                     }
   <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
   <*mp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                               <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_upper: int
                                                                                                                                                                             }
                                                                                       }
 }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006} flows to int*^{ins:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8013}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8118: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8127: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8127: Probably using char* where void* is best used:
 struct MDB_page {
   <*rp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_flags: int
   <*rp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_pad: int
   <*rp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*rp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                               <*rp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb_lower: int
                                                                                                                                                                               <*rp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb_upper: int
                                                                                                                                                                             }
                                                                                       }
   <*rp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_ptrs: int*^{*rp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007}
 }*^{rp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007} flows to int*^{ins:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8013}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8127: Warning: subtyping incompatible types:
struct MDB_page {
  <*rp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_flags: int
  <*rp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_pad: int
  <*rp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*rp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*rp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb_lower: int
                                                                                                                                                                              <*rp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
  <*rp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_ptrs: int*^{*rp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8127: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*rp.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_flags: int
  <*rp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_pad: int
  <*rp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                        <*rp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                              <*rp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb_lower: int
                                                                                                                                                                              <*rp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> pb_upper: int
                                                                                                                                                                            }
                                                                                      }
  <*rp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007> mp_ptrs: int*^{*rp.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8007}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8128: Warning: subtyping incompatible types:
(void)
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8153: Warning: assigning pointer to non-pointer: int*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8153}*^{*((MDB_page *)0).mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8153}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8200: Warning: assigning pointer to non-pointer: int*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8200}*^{*((MDB_node *)0).mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8200}
 ->
 int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8479: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8479: Probably using char* where void* is best used:
 int*^{*xr_node.mn_data:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8035} flows to struct MDB_page {
                                                                                                     <*copy.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_flags: int
                                                                                                     <*copy.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                                                                                                                           <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                                                                                                                         }
                                                                                                     <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
                                                                                                     <*copy.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                                                                                                                             <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                                                                                                                   <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                                                                                                                                   <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_upper: int
                                                                                                                                                                                                                                                                                 }
                                                                                                                                                                                           }
                                                                                                     <*copy.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_ptrs: int*^{*copy.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005}
                                                                                                   }*^{**m3.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8030}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8479: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*copy.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_flags: int
  <*copy.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                        <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                      }
  <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
  <*copy.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                          <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                                <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_upper: int
                                                                                                                                                                              }
                                                                                        }
  <*copy.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_ptrs: int*^{*copy.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005}
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8479: Warning: subtyping incompatible types:
struct MDB_page {
  <*copy.mp_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_flags: int
  <*copy.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                        <*pp.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> p_pgno: int
                                                                                      }
  <*mp.mp_pad:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> mp_pad: int
  <*copy.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                          <*mp.mp_pb.pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb: struct __anonstruct_pb_438838223 {
                                                                                                                                                                                <*mp.mp_pb.pb.pb_lower:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_lower: int
                                                                                                                                                                                <*mp.mp_pb.pb.pb_upper:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8006> pb_upper: int
                                                                                                                                                                              }
                                                                                        }
  <*copy.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005> mp_ptrs: int*^{*copy.mp_ptrs:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8005}
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8760: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8760: Probably using char* where void* is best used:
 int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8650} flows to struct MDB_page {
                                                                                      }*^{mdb_page_copy.dst:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8760}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8760: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8760: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8761: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8761: Probably using char* where void* is best used:
 int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8650} flows to struct MDB_page {
                                                                                      }*^{*mc.mc_pg:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8644}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8761: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8761: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8765: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8765: Probably using char* where void* is best used:
 int*^{ptr:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8650} flows to struct MDB_page {
                                                                                      }*^{leaf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8648}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8765: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8765: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8798: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8798: Probably using char* where void* is best used:
 int*^{**my.mc_wbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8641} flows to struct MDB_page {
                                                                                               }*^{mo:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8798: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8798: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8805: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8805: Probably using char* where void* is best used:
 struct MDB_page {
   <*mo.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                       <*mo.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> p_pgno: int
                                                                                     }
   <*omp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                          <*omp.mp_pb.pb_pages:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> pb_pages: int
                                                                                        }
 }*^{omp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8656} flows to int*^{**my.mc_over:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8641}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8805: Warning: subtyping incompatible types:
struct MDB_page {
  <*mo.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mo.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> p_pgno: int
                                                                                    }
  <*omp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*omp.mp_pb.pb_pages:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> pb_pages: int
                                                                                       }
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8805: Warning: subtyping incompatible types:
int
struct MDB_page {
  <*mo.mp_p:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> mp_p: struct __anonunion_mp_p_409824043 {
                                                                                      <*mo.mp_p.p_pgno:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> p_pgno: int
                                                                                    }
  <*omp.mp_pb:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> mp_pb: struct __anonunion_mp_pb_280193743 {
                                                                                         <*omp.mp_pb.pb_pages:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8646> pb_pages: int
                                                                                       }
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8820: Warning: subtyping incompatible types:
int
struct MDB_db {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8828: Warning: subtyping incompatible types:
struct MDB_db {
  <db.md_root:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8658> md_root: int
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8910: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8911: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8912: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8913: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8914: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8915: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8916: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8917: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8918: Warning: trying to access field __data of non-struct type. This is usually caused by casting pointers to or from int or int*:
 lock(my.mc_mutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894)

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8971: Warning: /mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8971: Probably using char* where void* is best used:
 int*^{*my.mc_wbuf:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8894} flows to struct MDB_page {
                                                                                              }*^{mp:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8893}.  Losing precision.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8971: Warning: subtyping incompatible types:
int
struct MDB_page {
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:8971: Warning: subtyping incompatible types:
struct MDB_page {
}
int
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9565: Warning: subtyping incompatible types:
(void)
struct MDB_db {
  <*(txn->mt_dbs + 1).md_flags:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627> md_flags: int
}
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:623: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2008: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:6868: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer conflated
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: function pointer in downcasting.

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock is conflated! (**(env->me_txns).mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock emerges at downcasting: **(env->me_txns).mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock is conflated! (**(env->me_txns).mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock emerges at downcasting: **(env->me_txns).mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock is conflated! (*env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock emerges at downcasting: *env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock is conflated! (*env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock emerges at downcasting: *env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock is conflated! (**env.me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock emerges at downcasting: **env.me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock is conflated! (**env.me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2234: Warning: lock emerges at downcasting: **env.me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2191

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock is conflated! (*env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock emerges at downcasting: *env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock is conflated! (*env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2955: Warning: lock emerges at downcasting: *env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:2747

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock is conflated! (**txn.mt_env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock emerges at downcasting: **txn.mt_env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock is conflated! (**txn.mt_env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock emerges at downcasting: **txn.mt_env->me_txns->mt2.mt2_wmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock is conflated! (**txn.mt_env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock emerges at downcasting: **txn.mt_env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627

/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock is conflated! (**txn.mt_env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627)
/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:9536: Warning: lock emerges at downcasting: **txn.mt_env->me_txns->mt1.mtb.mtb_rmutex:/mnt/goblint-svcomp/goblint-bench/bench/concrat/lmdb/main.c:627

functions declared and used but not defined:
  __errno_location
  abort
  atoi
  close
  fcntl
  fdatasync
  fprintf
  fstat
  fstatfs
  fsync
  ftruncate
  getpid
  lseek
  madvise
  memcmp
  mmap
  msync
  munmap
  open
  posix_memalign
  pread
  printf
  pthread_cond_destroy
  pthread_cond_init
  pthread_cond_signal
  pthread_cond_wait
  pthread_getspecific
  pthread_join
  pthread_key_create
  pthread_key_delete
  pthread_mutex_consistent
  pthread_mutexattr_destroy
  pthread_mutexattr_init
  pthread_mutexattr_setpshared
  pthread_mutexattr_setrobust
  pthread_self
  pthread_setspecific
  pthread_sigmask
  pwrite
  rand
  sigaddset
  sigemptyset
  sigwait
  sprintf
  srand
  strdup
  strerror
  strlen
  sysconf
  time
  uname
  write
  writev
