src/tools/miri/tests/compile-fail/div-by-zero-2.rs

#![feature(core_intrinsics)]

use std::intrinsics::*;

fn main() {
    unsafe {
        let _n = unchecked_rem(3u32, 0); //~ ERROR calculating the remainder with a divisor of zero
    }
}