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

[via llvm-bugs]

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

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>