[LLVMdev] alias analysis results

Eli Friedman eli.friedman at gmail.com
Thu May 14 16:33:57 PDT 2009


On Thu, May 14, 2009 at 2:19 PM, Weihua Sheng <weihua.sheng at gmail.com> wrote:
> I actullay would expect the more accurate results from applying
> anders-aa, but I could not interpret what has been returned - at least
> I should see something like jj->aa, right?

I'm not quite following... jj and aa don't alias; both versions show
that.  The results returned for anders-aa are completely precise
except that it doesn't know that "%0" and "%aa" must point to exactly
the same object.

-Eli



More information about the llvm-dev mailing list