let eval_tlval_as_location env result t =
  let l = eval_tlval env result t in
  let aux acc (typ, loc) =
    let s = Bit_utils.sizeof typ in
    assert (loc_equal acc loc_bottom || Int_Base.equal s acc.size);
    make_loc (Location_Bits.join loc acc.loc) s
  in
  List.fold_left aux loc_bottom l