add test for simd division overflow UB

This commit is contained in:
Ralf Jung 2022-03-03 12:32:42 -05:00
parent d7c7fc0fa2
commit c0f7251055

View file

@ -0,0 +1,15 @@
#![feature(platform_intrinsics, repr_simd)]
extern "platform-intrinsic" {
pub(crate) fn simd_div<T>(x: T, y: T) -> T;
}
#[repr(simd)]
#[allow(non_camel_case_types)]
struct i32x2(i32, i32);
fn main() { unsafe {
let x = i32x2(1, i32::MIN);
let y = i32x2(1, -1);
simd_div(x, y); //~ERROR Undefined Behavior: overflow in signed division
} }