[LLVMdev] Expressing ambiguous points-to info in AliasAnalysis::alias(...) results?

Christian Convey christian.convey at gmail.com
Mon Jun 15 04:15:46 PDT 2015


On Mon, Jun 15, 2015 at 1:43 AM, Daniel Berlin <dberlin at dberlin.org> wrote:

> > The AA algorithm uses dataflow analysis to monitor the possible
> propagation
> > of those values through the program code, and it represents those flows
> by
> > updates to the may-point-to graph.  If at some code point CP, a
> may-point-to
> > graph vertex "B" has no outbound edges, that's equivalent to saying that
> the
> > AA has concluded the runtime memory modeled by "B" does not contain any
> > pointer that a correct program has any business trying to dereference.
>
> FWIW: When i first did GCC's current points-to analysis, I did the
> same thing. It eliminated "non-pointer" values along the same lines.
> This broke roughly "the entire world".
>

Whoa, thanks for the warning.


> I tried to find some subset i felt was worthwhile and where it was
> okay, but gave up after a while.
>

I'm not quite sure which things you're referring to in that statement.
Would you mind clarifying?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150615/dde54bcd/attachment.html>


More information about the llvm-dev mailing list