mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix over-conservatism in alias analysis.

Browse Source
This commit is contained in:
Graydon Hoare 2010-06-25 19:55:40 -07:00
parent c56a729ff1
commit 34dc7053eb
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/boot/me/alias.ml
View File

@ -20,13 +20,10 @@ let alias_analysis_visitor
in in
let alias lval = let alias lval =
match lval with let lv_id = lval_base_id lval in
Ast.LVAL_base nb -> let referent = Hashtbl.find cx.ctxt_lval_to_referent lv_id in
let referent = Hashtbl.find cx.ctxt_lval_to_referent nb.id in if (referent_is_slot cx referent)
if (referent_is_slot cx referent) then alias_slot referent
then alias_slot referent
| _ -> err None "unhandled form of lval %a in alias analysis"
Ast.sprintf_lval lval
in in
let alias_atom at = let alias_atom at =