Sign in
android
/
toolchain
/
rustc
/
15a6560abe9880705f51d219c1fa94f880dbaf35
/
.
/
src
/
tools
/
miri
/
tests
/
compile-fail
/
unchecked_sub2.rs
blob: 1ea41a3c0fb07693089c10c7db3cd9edecfff3bd [
file
] [
log
] [
blame
]
#![
feature
(
core_intrinsics
)]
fn
main
()
{
// MAX overflow
unsafe
{
std
::
intrinsics
::
unchecked_sub
(
30000i16
,
-
7000
);
}
//~ ERROR Overflow executing `unchecked_sub`
}