Hacker News Reader

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.

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.

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