clang/test/Sema/integer-overflow.c

   1 // RUN: %clang_cc1 %s -verify -fsyntax-only -triple x86_64-pc-linux-gnu
   2 typedef unsigned long long uint64_t;
   3 typedef unsigned int uint32_t;
   4
   5 // Check integer sizes.
   6 int array64[sizeof(uint64_t) == 8 ? 1 : -1];
   7 int array32[sizeof(uint32_t) == 4 ? 1 : -1];
   8 int arrayint[sizeof(int) < sizeof(uint64_t) ? 1 : -1];
   9
  10 uint64_t f0(uint64_t);
  11 uint64_t f1(uint64_t, uint32_t);
  12 uint64_t f2(uint64_t, ...);
  13
  14 static const uint64_t overflow = 1 * 4608 * 1024 * 1024; // expected-warning {{overflow in expression; result is 536'870'912 with type 'int'}}
  15
  16 uint64_t check_integer_overflows(int i) {
  17 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  18   uint64_t overflow = 4608 * 1024 * 1024,
  19 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  20            overflow2 = (uint64_t)(4608 * 1024 * 1024),
  21 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  22            overflow3 = (uint64_t)(4608 * 1024 * 1024 * i),
  23 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  24            overflow4 =  (1ULL * ((4608) * ((1024) * (1024))) + 2ULL),
  25 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
  26            multi_overflow = (uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024));
  27
  28 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  29   overflow += overflow2 = overflow3 = (uint64_t)(4608 * 1024 * 1024);
  30 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  31   overflow += overflow2 = overflow3 = 4608 * 1024 * 1024;
  32
  33   uint64_t not_overflow = 4608 * 1024 * 1024ULL;
  34   uint64_t not_overflow2 = (1ULL * ((uint64_t)(4608) * (1024 * 1024)) + 2ULL);
  35
  36 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
  37   overflow = 4608 * 1024 * 1024 ?  4608 * 1024 * 1024 : 0;
  38
  39 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  40   overflow =  0 ? 0 : 4608 * 1024 * 1024;
  41
  42 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  43   if (4608 * 1024 * 1024)
  44     return 0;
  45
  46 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  47   if ((uint64_t)(4608 * 1024 * 1024))
  48     return 1;
  49
  50 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  51   if ((uint64_t)(4608 * 1024 * 1024))
  52     return 2;
  53
  54 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  55   if ((uint64_t)(4608 * 1024 * 1024 * i))
  56     return 3;
  57
  58 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  59   if ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL))
  60     return 4;
  61
  62 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
  63   if ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)))
  64     return 5;
  65
  66   switch (i) {
  67 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  68   case 4608 * 1024 * 1024:
  69     return 6;
  70 // expected-warning@+1 {{overflow in expression; result is 537'919'488 with type 'int'}}
  71   case (uint64_t)(4609 * 1024 * 1024):
  72     return 7;
  73 // expected-error@+1 {{expression is not an integer constant expression}}
  74   case ((uint64_t)(4608 * 1024 * 1024 * i)):
  75     return 8;
  76 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  77   case ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL)):
  78     return 9;
  79 // expected-warning@+2 2{{overflow in expression; result is 536'870'912 with type 'int'}}
  80 // expected-warning@+1 {{overflow converting case value to switch condition type (288230376151711744 to 0)}}
  81   case ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024))):
  82     return 10;
  83   }
  84
  85 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  86   while (4608 * 1024 * 1024);
  87
  88 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  89   while ((uint64_t)(4608 * 1024 * 1024));
  90
  91 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  92   while ((uint64_t)(4608 * 1024 * 1024));
  93
  94 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  95   while ((uint64_t)(4608 * 1024 * 1024 * i));
  96
  97 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
  98   while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
  99
 100 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
 101   while ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)));
 102
 103 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 104   do { } while (4608 * 1024 * 1024);
 105
 106 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 107   do { } while ((uint64_t)(4608 * 1024 * 1024));
 108
 109 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 110   do { } while ((uint64_t)(4608 * 1024 * 1024));
 111
 112 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 113   do { } while ((uint64_t)(4608 * 1024 * 1024 * i));
 114
 115 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 116   do { } while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
 117
 118 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
 119   do { } while ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)));
 120
 121 // expected-warning@+3 {{overflow in expression; result is 536'870'912 with type 'int'}}
 122 // expected-warning@+3 {{overflow in expression; result is 536'870'912 with type 'int'}}
 123 // expected-warning@+3 {{overflow in expression; result is 536'870'912 with type 'int'}}
 124   for (uint64_t i = 4608 * 1024 * 1024;
 125        (uint64_t)(4608 * 1024 * 1024);
 126        i += (uint64_t)(4608 * 1024 * 1024 * i));
 127
 128 // expected-warning@+3 {{overflow in expression; result is 536'870'912 with type 'int'}}
 129 // expected-warning@+3 2{{overflow in expression; result is 536'870'912 with type 'int'}}
 130 // expected-warning@+3 2{{overflow in expression; result is 536'870'912 with type 'int'}}
 131   for (uint64_t i = (1ULL * ((4608) * ((1024) * (1024))) + 2ULL);
 132        ((uint64_t)((uint64_t)(4608 * 1024 * 1024) * (uint64_t)(4608 * 1024 * 1024)));
 133        i = ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024))));
 134
 135 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 136   _Complex long long x = 4608 * 1024 * 1024;
 137
 138 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 139   (__real__ x) = 4608 * 1024 * 1024;
 140
 141 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 142   (__imag__ x) = 4608 * 1024 * 1024;
 143
 144 // expected-warning@+4 {{overflow in expression; result is 536'870'912 with type 'int'}}
 145 // expected-warning@+3 {{array index 536870912 is past the end of the array (that has type 'uint64_t[10]' (aka 'unsigned long long[10]'))}}
 146 // expected-note@+1 {{array 'a' declared here}}
 147   uint64_t a[10];
 148   a[4608 * 1024 * 1024] = 1i;
 149
 150 // expected-warning@+2 {{overflow in expression; result is 536'870'912 with type 'int'}}
 151   uint64_t *b;
 152   uint64_t b2 = b[4608 * 1024 * 1024] + 1;
 153
 154 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
 155   (void)((i ? (4608 * 1024 * 1024) : (4608 * 1024 * 1024)) + 1);
 156
 157 // expected-warning@+1 2{{overflow in expression; result is 536'870'912 with type 'int'}}
 158   return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024)));
 159 }
 160
 161 void check_integer_overflows_in_function_calls(void) {
 162 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 163   (void)f0(4608 * 1024 * 1024);
 164
 165 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 166   uint64_t x = f0(4608 * 1024 * 1024);
 167
 168 // expected-warning@+2 {{overflow in expression; result is 536'870'912 with type 'int'}}
 169   uint64_t (*f0_ptr)(uint64_t) = &f0;
 170   (void)(*f0_ptr)(4608 * 1024 * 1024);
 171
 172 // expected-warning@+1 {{overflow in expression; result is 536'870'912 with type 'int'}}
 173   (void)f2(0, f0(4608 * 1024 * 1024));
 174 }
 175 void check_integer_overflows_in_array_size(void) {
 176   int arr[4608 * 1024 * 1024]; // expected-warning {{overflow in expression; result is 536'870'912 with type 'int'}}
 177                                // expected-warning@-1 {{variable length array folded to constant array as an extension}}
 178                                // expected-note@-2 {{value 4831838208 is outside the range of representable values of type 'int'}}
 179 }
 180
 181 struct s {
 182   unsigned x;
 183   unsigned y;
 184 } s = {
 185   .y = 5,
 186   .x = 4 * 1024 * 1024 * 1024  // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 187 };
 188
 189 struct s2 {
 190   unsigned a0;
 191
 192   struct s3 {
 193     unsigned a2;
 194
 195     struct s4 {
 196       unsigned a4;
 197     } a3;
 198   } a1;
 199 } s2 = {
 200   .a0 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 201   {
 202     .a2 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 203     {
 204       .a4 = 4 * 1024 * 1024 * 1024 // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 205     }
 206   }
 207 };
 208
 209 void PR49619(void) {
 210   int n;
 211   n = ({
 212     while (1)
 213       ;
 214     0;
 215   });
 216 }