let do_assign_abstract_value ~with_alarms state lv exp =
let loc_lv = lval_to_loc ~with_alarms state lv in
remember_bases_with_locals loc_lv exp;
CilE.set_syntactic_context (CilE.SyMem lv);
do_assign_abstract_value_to_loc ~with_alarms state lv loc_lv exp