[llvm-bugs] [Bug 26718] [LazyValueInfo] Assertion `isa<Argument>(Val) && "Unknown live-in to the entry block"' failed.

via llvm-bugs llvm-bugs at lists.llvm.org
Tue Apr 5 07:54:43 PDT 2016


Michael Kruse <llvm at meinersbur.de> changed:

           What    |Removed                     |Added
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #12 from Michael Kruse <llvm at meinersbur.de> ---
"Fixed" as the verifier now rejects such IR since
http://reviews.llvm.org/D18443 (r264528)

During the review Sanjoy mentioned that InstsInThisBlock is just a performance
optimization to quickly accept instructions that were just seen in the
BasicBlock. This means it should behave the same as if only DT.dominates(Op, U)
decides whether it the domination is correct, which rejects such IR.

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/20160405/a4d76d1d/attachment.html>

More information about the llvm-bugs mailing list