| //@ build-pass | |
| //@ compile-flags: -Zmir-opt-level=3 | |
| // Overflow can't be detected by const prop | |
| // could only be detected after optimizations | |
| #![deny(warnings)] | |
| fn main() { | |
| let _ = add(u8::MAX, 1); | |
| } | |
| #[inline(always)] | |
| fn add(x: u8, y: u8) -> u8 { | |
| x + y | |
| } |