Displaying 2 results from an estimated 2 matches for "eb9b389a".
2017 Mar 12
2
flow-sensitive alias analysis
...llow
multiple levels of pointers, precise flow-sensitive may-alias is NP-hard
even when restricted to intraprocedural and *no* dynamic memory allocation)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170312/eb9b389a/attachment.html>
2017 Mar 11
3
flow-sensitive alias analysis
Perhaps by "value" you mean points-to set?
Either way, flow-sensitivity can only give you more precise -- but still
not necessarily exact -- answers.
Yours,
Andrey
===
Compiler Architect
NXP
On Fri, Mar 10, 2017 at 6:39 PM, Flamedoge via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> > For a given argument of a call instruction in the cfg: Where does the
> value of