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

Fix for wrong number of expected args

Browse source
This commit is contained in:
Cédric Pasteur 2011-10-17 10:16:50 +02:00
parent f51ca395d8
commit 0f403e3694
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -465,6 +465,12 @@ let process_eq ({ eq_lhs = pat; eq_rhs = e } as eq) =
add_affinity_link_from_ivar (InterfRead.ivar_of_extvalue w) (Ivar x)
with
| InterfRead.Const_extvalue -> ())
| 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)
with
| InterfRead.Const_extvalue -> ())
| Evarpat x, Eextvalue w ->
(* Add links between variables with the same value *)
(try