diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/alias.ml | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml index 7009fe10..25d4ed04 100644 --- a/src/boot/me/alias.ml +++ b/src/boot/me/alias.ml @@ -20,13 +20,10 @@ let alias_analysis_visitor in let alias lval = - match lval with - Ast.LVAL_base nb -> - let referent = Hashtbl.find cx.ctxt_lval_to_referent nb.id in - if (referent_is_slot cx referent) - then alias_slot referent - | _ -> err None "unhandled form of lval %a in alias analysis" - Ast.sprintf_lval lval + let lv_id = lval_base_id lval in + let referent = Hashtbl.find cx.ctxt_lval_to_referent lv_id in + if (referent_is_slot cx referent) + then alias_slot referent in let alias_atom at = |