int-abs-overflow.rs

//@ run-pass
//@ compile-flags: -C overflow-checks=on
//@ ignore-emscripten no threads support
//@ needs-unwind

use std::thread;

fn main() {
    assert!(thread::spawn(|| i8::MIN.abs()).join().is_err());
    assert!(thread::spawn(|| i16::MIN.abs()).join().is_err());
    assert!(thread::spawn(|| i32::MIN.abs()).join().is_err());
    assert!(thread::spawn(|| i64::MIN.abs()).join().is_err());
    assert!(thread::spawn(|| isize::MIN.abs()).join().is_err());
}

// ferrocene-annotations: fls_3qnpv2z7yjil
// Integer Types

// ferrocene-annotations: um_rustc_C_overflow_checks