3 ms·
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
by est31 5y ago
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/1f7fb6413d6d6c0c929b223e478e44c3db991b03/config.toml.example#L69 https://github.com/rust-lang/rust/blob/1f7fb6413d6d6c0c929b2...
I don't know how these checks compare to what clang is doing.
- mshockwave 5y agothe 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 5y agoSo would something like miri have caught this if it was in their CI?