From abfeefc662d93c0f283a0fac0b29ac82eac05708 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 1 Jul 2010 17:10:30 -0700 Subject: Relax alias-analysis pass to permit literal-aliasing. --- src/boot/me/alias.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/boot') diff --git a/src/boot/me/alias.ml b/src/boot/me/alias.ml index b603e779..2c507335 100644 --- 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 = -- cgit v1.2.3