let remember_bases_with_locals bases_containing_locals left_loc evaled_exp =
if Cvalue_type.V.contains_addresses_of_any_locals evaled_exp then
let clobbered_set = Location_Bits.get_bases left_loc.loc in
bases_containing_locals :=
Location_Bits.Top_Param.join clobbered_set !bases_containing_locals