Dan Gohman 776e4c8d35 Teach BasicAliasAnalysis to understand constant gep indices that fall ...

beyond their associated static array type.

I believe that this fixes a legitimate bug, because BasicAliasAnalysis
already has code to check for this condition that works for non-constant
indices, however it was missing the case of constant indices. With this
change, it checks for both.

This fixes PR4267, and miscompiles of SPEC 188.ammp and 464.h264.href.

llvm-svn: 72451

2009-05-27 01:48:27 +00:00

34 KiB

Raw Blame History

View Raw