projects / rustc.git / blame
| Commit | Line | Data |
|---|---|---|
| abe05a73 XL |
1 | |
| 2 | ||
| ea8adc8c XL |
3 | |
| 4 | #![allow(many_single_char_names)] | |
| 5 | #![warn(overflow_check_conditional)] | |
| 6 | ||
| 7 | fn main() { | |
| 8 | let a: u32 = 1; | |
| 9 | let b: u32 = 2; | |
| 10 | let c: u32 = 3; | |
| 11 | if a + b < a { | |
| 12 | ||
| 13 | } | |
| 14 | if a > a + b { | |
| 15 | ||
| 16 | } | |
| 17 | if a + b < b { | |
| 18 | ||
| 19 | } | |
| 20 | if b > a + b { | |
| 21 | ||
| 22 | } | |
| 23 | if a - b > b { | |
| 24 | ||
| 25 | } | |
| 26 | if b < a - b { | |
| 27 | ||
| 28 | } | |
| 29 | if a - b > a { | |
| 30 | ||
| 31 | } | |
| 32 | if a < a - b { | |
| 33 | ||
| 34 | } | |
| 35 | if a + b < c { | |
| 36 | ||
| 37 | } | |
| 38 | if c > a + b { | |
| 39 | ||
| 40 | } | |
| 41 | if a - b < c { | |
| 42 | ||
| 43 | } | |
| 44 | if c > a - b { | |
| 45 | ||
| 46 | } | |
| 47 | let i = 1.1; | |
| 48 | let j = 2.2; | |
| 49 | if i + j < i { | |
| 50 | ||
| 51 | } | |
| 52 | if i - j < i { | |
| 53 | ||
| 54 | } | |
| 55 | if i > i + j { | |
| 56 | ||
| 57 | } | |
| 58 | if i - j < i { | |
| 59 | ||
| 60 | } | |
| 61 | } |