]> git.lizzy.rs Git - rust.git/blob - src/tools/miri/tests/fail/intrinsics/unchecked_div1.rs
Auto merge of #105416 - nnethercote:more-linting-tweaks, r=cjgillot
[rust.git] / src / tools / miri / tests / fail / intrinsics / unchecked_div1.rs
1 #![feature(core_intrinsics)]
2 fn main() {
3     // MIN/-1 cannot be represented
4     unsafe {
5         std::intrinsics::unchecked_div(i16::MIN, -1); //~ ERROR: overflow in signed division (dividing MIN by -1)
6     }
7 }