[CFLAA] Add attributes handling for CFLAnders.
authorGeorge Burgess IV <george.burgess.iv@gmail.com>
Fri, 15 Jul 2016 20:02:49 +0000 (20:02 +0000)
committerGeorge Burgess IV <george.burgess.iv@gmail.com>
Fri, 15 Jul 2016 20:02:49 +0000 (20:02 +0000)
commit22682e293bfc06e8f4e8840e36049bd3ad521d55
tree4b0ebc34a86b7879ec638378cb5eb3da13bb690a
parent62fba48e0f4da2e3f4b52fef56ac0f4b24d9e3eb
[CFLAA] Add attributes handling for CFLAnders.

This patch adds proper handling of stratified attributes into our
anders-style CFLAA implementation. It also comes bundled with more
CFLAnders tests. :)

Patch by Jia Chen.

Differential Revision: https://reviews.llvm.org/D22325

llvm-svn: 275604
llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp
llvm/test/Analysis/CFLAliasAnalysis/Andersen/attrs-below.ll [new file with mode: 0644]
llvm/test/Analysis/CFLAliasAnalysis/Andersen/attrs.ll [new file with mode: 0644]