jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Should be affinity, not copy

Browse source
This commit is contained in:
Cédric Pasteur 2012-06-19 09:33:27 +02:00
parent d36e988fb9
commit ed2c08315b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/minils/analysis/interference.ml
View file

@ -519,7 +519,7 @@ let process_eq ({ eq_lhs = pat; eq_rhs = e } as eq) =
| Evarpat x, Eapp({ a_op = Eupdate | Efield_update }, args, _) ->
let w, _ = Misc.assert_1min args in
(try
add_same_value_link_from_ivar (InterfRead.ivar_of_extvalue w) (Ivar x)
add_affinity_link_from_ivar (InterfRead.ivar_of_extvalue w) (Ivar x)
with
| InterfRead.Const_extvalue -> ())
| Evarpat x, Eextvalue w ->