[llvm-bugs] [Bug 49768] opt -slsr crashing with "../lib/Analysis/ScalarEvolution.cpp:5678: llvm::ConstantRange llvm::ScalarEvolution::getRangeForUnknownRecurrence(const llvm::SCEVUnknown *): Assertion `L->getHeader() == P->getParent()' failed."

via llvm-bugs llvm-bugs at lists.llvm.org
Tue Apr 6 05:29:42 PDT 2021


https://bugs.llvm.org/show_bug.cgi?id=49768

Mikael Holmén <mikael.holmen at ericsson.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|FIXED                       |---
             Status|RESOLVED                    |REOPENED

--- Comment #5 from Mikael Holmén <mikael.holmen at ericsson.com> ---
Hi,

I've seen a new variant of this crash, where the same assertion is triggered:
 opt -slsr -S -o - bbi-54843.ll

Result
opt: ../lib/Analysis/ScalarEvolution.cpp:5681: llvm::ConstantRange
llvm::ScalarEvolution::getRangeForUnknownRecurrence(const llvm::SCEVUnknown *):
Assertion `L && L->getHeader() == P->getParent()' failed.

Also in the new reproducer there is dead code present, but this time the dead
block is mentioned in a PHI in a reachable block.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20210406/47b24b48/attachment.html>


More information about the llvm-bugs mailing list