Thanks for the reply.<br>
<br>
Would you happen to know whether there a global alias analysis written
for LLVM that is more robust? Is the Steensgaard pass any more reliable?<br>
<br>
Max<br><br><div class="gmail_quote">On Thu, Aug 27, 2009 at 10:01 AM, Daniel Berlin <span dir="ltr"><<a href="mailto:dberlin@dberlin.org">dberlin@dberlin.org</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;">
At one point it handled function pointers.<br>
As chris says, it's buggy and probably broken.<br>
Some function pointers also do point to the universal set (like global<br>
function pointers).<br>
<div><div></div><div class="h5"><br>
<br>
On Wed, Aug 26, 2009 at 10:11 PM, Chris Lattner<<a href="mailto:clattner@apple.com">clattner@apple.com</a>> wrote:<br>
> On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote:<br>
>> Hello,<br>
>><br>
>> Does the LLVM Andersens alias analysis handle function pointers<br>
>> precisely? I ran it and it looks like it says every function points<br>
>> points to the universal set. Is this what I should expect?<br>
><br>
> Hi Max,<br>
><br>
> I don't know the answer offhand but please keep in mind that the<br>
> current andersen's pass has many known problems and bugs.  Consider it<br>
> "research quality".<br>
><br>
> -Chris<br>
</div></div>> _______________________________________________<br>
> LLVM Developers mailing list<br>
> <a href="mailto:LLVMdev@cs.uiuc.edu">LLVMdev@cs.uiuc.edu</a>         <a href="http://llvm.cs.uiuc.edu" target="_blank">http://llvm.cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev</a><br>
><br>
</blockquote></div><br>