the root cause of the original problem is caused by invalid IR, which can be cau... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		mshockwave on April 11, 2022 \| parent \| context \| favorite \| on: Achievement unlocked: rustc segfault 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.

jackosdev on April 11, 2022 [–]

So would something like miri have caught this if it was in their CI?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact