diff options
author | Chris Lattner <sabre@nondot.org> | 2006-03-04 02:06:34 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2006-03-04 02:06:34 +0000 |
commit | 5a3cf8de5db8d2ca91e77132a40b590c27f497ec (patch) | |
tree | 9cca71976221d13655342dcd1724b502819eb4c1 /win32/TableGen | |
parent | 42983657adad2395f82d3c6f099f325212fb8ab3 (diff) | |
download | external_llvm-5a3cf8de5db8d2ca91e77132a40b590c27f497ec.zip external_llvm-5a3cf8de5db8d2ca91e77132a40b590c27f497ec.tar.gz external_llvm-5a3cf8de5db8d2ca91e77132a40b590c27f497ec.tar.bz2 |
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
Diffstat (limited to 'win32/TableGen')
0 files changed, 0 insertions, 0 deletions