From 34dc7053ebfd440648f49dc83d2538ab5e7ceda5 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 25 Jun 2010 19:55:40 -0700
Subject: [PATCH] Fix over-conservatism in alias analysis.

---
 src/boot/me/alias.ml | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml
index 7009fe10618..25d4ed04497 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 =