diff options
| author | Graydon Hoare <[email protected]> | 2010-07-01 17:10:30 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-01 17:10:30 -0700 |
| commit | abfeefc662d93c0f283a0fac0b29ac82eac05708 (patch) | |
| tree | 90bacacba31196d5afb8dd6976b5923567596e4c | |
| parent | Remove the catch-all in type.ml, add cases for every stmt (a couple more hand... (diff) | |
| download | rust-abfeefc662d93c0f283a0fac0b29ac82eac05708.tar.xz rust-abfeefc662d93c0f283a0fac0b29ac82eac05708.zip | |
Relax alias-analysis pass to permit literal-aliasing.
| -rw-r--r-- | src/boot/me/alias.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |