tests/ui/overflow_check_conditional.rs

   1
   2
   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 }