[PATCH] D21262: [CFLAA] Tag actual arguments as AttrEscaped instead of AttrUnknown

[Jia Chen via llvm-commits]

grievejia created this revision.
grievejia added reviewers: george.burgess.iv, hfinkel.
grievejia added a subscriber: llvm-commits.

The primary focus of this patch is to mark actual arguments AttrEscaped and mark everything they point to AttrUnknown. This allows us to get better precision when an alias query contains at least one value that escapes by being an argument at an opaque callsite.

It also did a bit of refactoring for the graph building codes. I probably need to apologize, since I should have separate the refactoring and the functionality changes into two different patches.



http://reviews.llvm.org/D21262

Files:
  lib/Analysis/CFLAliasAnalysis.cpp
  lib/Analysis/StratifiedSets.h
  test/Analysis/CFLAliasAnalysis/attr-escape.ll
  test/Analysis/CFLAliasAnalysis/opaque-call-alias.ll
  test/Analysis/CFLAliasAnalysis/va.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D21262.60449.patch
Type: text/x-patch
Size: 32074 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160611/ad762939/attachment.bin>