commit | 5a3cf8de5db8d2ca91e77132a40b590c27f497ec | [log] [tgz] |
---|---|---|
author | Chris Lattner <sabre@nondot.org> | Sat Mar 04 02:06:34 2006 +0000 |
committer | Chris Lattner <sabre@nondot.org> | Sat Mar 04 02:06:34 2006 +0000 |
tree | 9cca71976221d13655342dcd1724b502819eb4c1 | |
parent | 42983657adad2395f82d3c6f099f325212fb8ab3 [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