Added special handling for inttoptr in CFLAA.
authorGeorge Burgess IV <george.burgess.iv@gmail.com>
Tue, 10 Mar 2015 02:40:06 +0000 (02:40 +0000)
committerGeorge Burgess IV <george.burgess.iv@gmail.com>
Tue, 10 Mar 2015 02:40:06 +0000 (02:40 +0000)
commit456a54a2df52d03ee115e6b762b50808172958f5
treeaa59e8787b263e02294b240a23b95ed789505c9e
parent529919ff310cbfce1ba55ea252ff738d5b56b93d
Added special handling for inttoptr in CFLAA.

We now treat pointers given to ptrtoint and pointers retrieved from
inttoptr as similar to arguments or globals (can alias anything, etc.)

This solves some of the problems we were having with giving incorrect
results.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@231741 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/CFLAliasAnalysis.cpp
test/Analysis/CFLAliasAnalysis/branch-alias.ll [new file with mode: 0644]