Hello, Does the LLVM Andersens alias analysis handle function pointers precisely? I ran it and it looks like it says every function points points to the universal set. Is this what I should expect? Max -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090826/ff8d6c78/attachment.html>
On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote:> Hello, > > Does the LLVM Andersens alias analysis handle function pointers > precisely? I ran it and it looks like it says every function points > points to the universal set. Is this what I should expect?Hi Max, I don't know the answer offhand but please keep in mind that the current andersen's pass has many known problems and bugs. Consider it "research quality". -Chris
At one point it handled function pointers. As chris says, it's buggy and probably broken. Some function pointers also do point to the universal set (like global function pointers). On Wed, Aug 26, 2009 at 10:11 PM, Chris Lattner<clattner at apple.com> wrote:> On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: >> Hello, >> >> Does the LLVM Andersens alias analysis handle function pointers >> precisely? I ran it and it looks like it says every function points >> points to the universal set. Is this what I should expect? > > Hi Max, > > I don't know the answer offhand but please keep in mind that the > current andersen's pass has many known problems and bugs. Consider it > "research quality". > > -Chris > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev >
Might I suggest the following patch, because this issue has bite me too? You're lured in by the initial good results from the Andersens alias analysis, only to discover the bugs later on. Robert Zeh On Aug 26, 2009, at 9:11 PM, Chris Lattner wrote:> On Aug 26, 2009, at 6:40 PM, Max Stonebraker wrote: >> Hello, >> >> Does the LLVM Andersens alias analysis handle function pointers >> precisely? I ran it and it looks like it says every function points >> points to the universal set. Is this what I should expect? > > Hi Max, > > I don't know the answer offhand but please keep in mind that the > current andersen's pass has many known problems and bugs. Consider it > "research quality". > > -Chris > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev-------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: anders-patch.txt URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20090827/960e783e/attachment.txt> -------------- next part --------------