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