[llvm-bugs] [Bug 46873] LiveIntervals verifier errors not caught when using -run-pass

[via llvm-bugs]

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

Matt Arsenault <Matthew.Arsenault at amd.com> changed:

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

--- Comment #3 from Matt Arsenault <Matthew.Arsenault at amd.com> ---
(In reply to Quentin Colombet from comment #2)
> (In reply to Matt Arsenault from comment #1)
> > I'm guessing this is because the pass manager is aggressively discarding the
> > analyses after it's not required
> 
> Correct!

This is still a bug. The verifier still should use any analyses that are
preserved by the pass, and the ordinary discard logic should not apply. The
intent of -run-pass is to catch bugs in individual MIR passes, and this harms
that functionality.

-- 
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/20200728/fe41d24d/attachment.html>