[LLVMbugs] [Bug 4267] BasicAliasAnalysis misanalyzes over-indexed GEP

bugzilla-daemon at cs.uiuc.edu bugzilla-daemon at cs.uiuc.edu
Tue May 26 19:03:38 PDT 2009


Dan Gohman <gohman at apple.com> changed:

           What    |Removed                     |Added
         Depends on|4270                        |
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Dan Gohman <gohman at apple.com>  2009-05-26 21:03:38 ---
After studying this a bit, I believe it really is a BasicAliasAnalysis bug,
since BasicAliasAnalysis already has special code to check for this
situation, but it only happens to cover non-constant indices.

I've now fixed it to handle constant indices as well, here:

I've also fixed SCEVExpander to be more careful about constant
indices, however note that this doesn't avoid the problem in all

Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

More information about the llvm-bugs mailing list