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

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=4267


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:
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20090525/078066.html

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


-- 
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.