News for hackers. Stuff that matters.

A comment on Achievement unlocked: rustc segfault. Parent comment

Re:Achievement unlocked: rustc segfault by mshockwave on Sunday April 10, 2022 @09:29PM (#30983550)
the root cause of the original problem is caused by invalid IR, which can be caught by IR verification -- which is actually different from assertion.
[ Parent | on HN ]
Re:Achievement unlocked: rustc segfault by jackosdev on Monday April 11, 2022 @03:12AM (#30985617)
So would something like miri have caught this if it was in their CI?
[ Parent | on HN ]