Relax alias-analysis pass to permit literal-aliasing.

2010-07-01 17:10:30 -07:00 · 2010-07-01 17:10:30 -07:00 · abfeefc662
parent bcc7ec18b8
commit abfeefc662
1 changed files with 1 additions and 1 deletions
--- a/src/boot/me/alias.ml
+++ b/src/boot/me/alias.ml
@ -29,7 +29,7 @@ let alias_analysis_visitor
  let alias_atom at =
    match at with
        Ast.ATOM_lval lv -> alias lv
-      | _ -> err None "aliasing literal"
+      | _ -> () (* Aliasing a literal is harmless, if weird. *)
  in

  let alias_call_args dst callee args =