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