https://bugs.llvm.org/show_bug.cgi?id=48577
Nikita Popov <[email protected]> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|FIXED |INVALID
--- Comment #4 from Nikita Popov <[email protected]> ---
I've reverted my change and closing this an INVALID, as this fold is valid. The
problematic gep fold is already tracked at
https://bugs.llvm.org/show_bug.cgi?id=44403.
I'm also not sure if my reasoning above regarding inbounds is correct or not.
Alive2 says it's not, but I'm not convinced that Alive2 is right at least in
one specific instance (I've opened
https://github.com/AliveToolkit/alive2/issues/634).
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
