let get_lval_infos lval stmt =
  let decl = Cil.extract_varinfos_from_lval lval in
  let dpds, loc =
    !Db.Value.lval_to_loc_with_deps
      ~with_alarms:CilE.warn_none_mode
      (Kstmt stmt)
      ~deps:Locations.Zone.bottom lval
  in
  let l_loc = Locations.valid_enumerate_bits ~for_writing:true loc in
  let exact =  Locations.valid_cardinal_zero_or_one ~for_writing:true loc in
  (l_loc, exact, dpds, decl)