]>
Commit | Line | Data |
---|---|---|
ee023bcb | 1 | // build-pass |
6a06907d | 2 | // compile-flags: -Zmir-opt-level=3 |
ee023bcb FG |
3 | // Overflow can't be detected by const prop |
4 | // could only be detected after optimizations | |
29967ef6 XL |
5 | |
6 | #![deny(warnings)] | |
7 | ||
8 | fn main() { | |
9 | let _ = add(u8::MAX, 1); | |
29967ef6 XL |
10 | } |
11 | ||
12 | #[inline(always)] | |
13 | fn add(x: u8, y: u8) -> u8 { | |
14 | x + y | |
15 | } |