News for hackers. Stuff that matters.

A comment on Achievement unlocked: rustc segfault. Parent comment

Re:Achievement unlocked: rustc segfault by est31 on Sunday April 10, 2022 @08:30PM (#30983228)
The rust compiler has an option to enable llvm assertions, but it needs to be set at compile time (of the compiler) in config.toml: https://github.com/rust-lang/rust/blob/1f7fb6413d6d6c0c929b2...

I don't know how these checks compare to what clang is doing.

[ Parent | on HN ]
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 ]