projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5fa933) | patch
Teach BasicAA to return PartialAlias in cases where both pointers
authorDan Gohman <gohman@apple.com>
Tue, 18 Jan 2011 21:16:06 +0000 (21:16 +0000)
committerDan Gohman <gohman@apple.com>
Tue, 18 Jan 2011 21:16:06 +0000 (21:16 +0000)
commit615da1a9bcca05de06fab5f48ee9110267312974
treea8e2dddced58cfc75aaeb446556195e678b8b50btree | snapshot
parentb5fa9333431673aac2ced8dea80152349a85cf6fcommit | diff
Teach BasicAA to return PartialAlias in cases where both pointers
are pointing to the same object, one pointer is accessing the entire
object, and the other is access has a non-zero size. This prevents
TBAA from kicking in and saying NoAlias in such cases.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123775 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
test/Analysis/BasicAA/full-store-partial-alias.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors