projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc5948d) | patch
When BasicAA can determine that two pointers have the same base but
authorDan Gohman <gohman@apple.com>
Sat, 21 May 2011 01:05:08 +0000 (01:05 +0000)
committerDan Gohman <gohman@apple.com>
Sat, 21 May 2011 01:05:08 +0000 (01:05 +0000)
commit424b7771711d8be54f8ac65a24d1870d931c18ee
tree4762419fa98755d9a78caedbebfbbdbd57abcd7dtree | snapshot
parentdc5948d47205fd05184a25251e128db6a47b25c2commit | diff
When BasicAA can determine that two pointers have the same base but
differ by a dynamic offset, return PartialAlias instead of MayAlias.
See the comment in the code for details. This fixes PR9971.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131781 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/2010-09-15-GEP-SignedArithmetic.ll diff | blob | history
test/Analysis/TypeBasedAliasAnalysis/dynamic-indices.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors