Auto merge of #1308 - RalfJung:miri, r=RalfJung

[rust.git] / tests / compile-fail / exact_div1.rs

#![feature(core_intrinsics)]
fn main() {
    // divison by 0
    unsafe { std::intrinsics::exact_div(2, 0); } //~ ERROR divisor of zero
}