<br><br><div class="gmail_quote">On Tue, Aug 18, 2009 at 7:48 AM, Chris Lattner <span dir="ltr"><<a href="mailto:clattner@apple.com">clattner@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Aug 17, 2009, at 4:16 PM, Marcus Hicks wrote:<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I started using the AliasSetTracker, but I have a problem.<br>
</blockquote>
<br></div>
Hi Marcus,<br>
<br>
At best, anders-aa is beta-quality.  It probably has several bugs and is not really ready to be widely used.<br>
</blockquote><div><br>Thanks, I'll keep that in mind.<br><br>One thing I notice is that pointers like<br>extern char *p;<br>extern char *q;<br>don't alias with each other.<br><br>This seems to be a bug, as the code that loops over globals in Andersens does make these point to a universal set,<br>
so their points-to should intersect.<br><br>Eventually I want all these externals to end up in the same AliasSet, and then I need a way to check which alias set includes the universal set.<br><br>Anyway, I copied Andersens into my project and will try to fix these.<br>
<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
-Chris<br><br></blockquote></div>