projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4298365) | patch
Be more conservative with our symbolic alias analysis. In particular,
authorChris Lattner <sabre@nondot.org>
Sat, 4 Mar 2006 02:06:34 +0000 (02:06 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 4 Mar 2006 02:06:34 +0000 (02:06 +0000)
commit5a3cf8de5db8d2ca91e77132a40b590c27f497ec
tree9cca71976221d13655342dcd1724b502819eb4c1tree | snapshot
parent42983657adad2395f82d3c6f099f325212fb8ab3commit | diff
Be more conservative with our symbolic alias analysis.  In particular,
don't assume that A[1][0] and A[0][i] can't alias.  "i" might be out of
range, or even negative.  This fixes a miscompilation of 188.ammp (which
does bad pointer tricks) with the new CFE.

Testcase here: Analysis/BasicAA/2006-03-03-BadArraySubscript.ll

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26515 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors