let do_assign_abstract_value ~with_alarms
~former_state
(state:Relations_type.Model.t)
lv
exp =
let state_for_lv =
if true (*!Cabs2cil.forceRLArgEval*) then state
else former_state
in
let loc_lv = lval_to_loc ~with_alarms state_for_lv 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