[PATCH] D20776: [CFLAA] Teach cfl-aa to understand heap memory allocation

[Jia Chen via llvm-commits]

grievejia updated this revision to Diff 58999.
grievejia added a comment.

Updated test case.

The previous test case makes alias queries on poisoned pointers and alloca-ed pointers. We'll always get back NoAlias result for those queries even before applying the patch. The updated version tests for the right thing.


http://reviews.llvm.org/D20776

Files:
  include/llvm/Analysis/CFLAliasAnalysis.h
  lib/Analysis/CFLAliasAnalysis.cpp
  test/Analysis/CFLAliasAnalysis/malloc-and-free.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D20776.58999.patch
Type: text/x-patch
Size: 11816 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160530/1871bc55/attachment.bin>