granicus.if.org Git - clang/blob - 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 536870912 with type 'int'}}
  15
  16 uint64_t check_integer_overflows(int i) {
  17 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  18   uint64_t overflow = 4608 * 1024 * 1024,
  19 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  20            overflow2 = (uint64_t)(4608 * 1024 * 1024),
  21 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  22            overflow3 = (uint64_t)(4608 * 1024 * 1024 * i),
  23 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  24            overflow4 =  (1ULL * ((4608) * ((1024) * (1024))) + 2ULL),
  25 // expected-warning@+1 2{{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
  29   overflow += overflow2 = overflow3 = (uint64_t)(4608 * 1024 * 1024);
  30 // expected-warning@+1 {{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
  37   overflow = 4608 * 1024 * 1024 ?  4608 * 1024 * 1024 : 0;
  38
  39 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  40   overflow =  0 ? 0 : 4608 * 1024 * 1024;
  41
  42 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  43   if (4608 * 1024 * 1024)
  44     return 0;
  45
  46 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  47   if ((uint64_t)(4608 * 1024 * 1024))
  48     return 1;
  49
  50 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  51   if ((uint64_t)(4608 * 1024 * 1024))
  52     return 2;
  53
  54 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  55   if ((uint64_t)(4608 * 1024 * 1024 * i))
  56     return 3;
  57
  58 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  59   if ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL))
  60     return 4;
  61
  62 // expected-warning@+1 2{{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
  68   case 4608 * 1024 * 1024:
  69     return 6;
  70 // expected-warning@+1 {{overflow in expression; result is 537919488 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 536870912 with type 'int'}}
  77   case ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL)):
  78     return 9;
  79 // expected-warning@+2 2{{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
  86   while (4608 * 1024 * 1024);
  87
  88 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  89   while ((uint64_t)(4608 * 1024 * 1024));
  90
  91 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  92   while ((uint64_t)(4608 * 1024 * 1024));
  93
  94 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  95   while ((uint64_t)(4608 * 1024 * 1024 * i));
  96
  97 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
  98   while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
  99
 100 // expected-warning@+1 2{{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
 104   do { } while (4608 * 1024 * 1024);
 105
 106 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
 107   do { } while ((uint64_t)(4608 * 1024 * 1024));
 108
 109 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
 110   do { } while ((uint64_t)(4608 * 1024 * 1024));
 111
 112 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
 113   do { } while ((uint64_t)(4608 * 1024 * 1024 * i));
 114
 115 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
 116   do { } while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
 117
 118 // expected-warning@+1 2{{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
 122 // expected-warning@+3 {{overflow in expression; result is 536870912 with type 'int'}}
 123 // expected-warning@+3 {{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
 129 // expected-warning@+3 2{{overflow in expression; result is 536870912 with type 'int'}}
 130 // expected-warning@+3 2{{overflow in expression; result is 536870912 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 536870912 with type 'int'}}
 136   _Complex long long x = 4608 * 1024 * 1024;
 137
 138 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
 139   (__real__ x) = 4608 * 1024 * 1024;
 140
 141 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
 142   (__imag__ x) = 4608 * 1024 * 1024;
 143
 144 // expected-warning@+4 {{overflow in expression; result is 536870912 with type 'int'}}
 145 // expected-warning@+3 {{array index 536870912 is past the end of the array (which contains 10 elements)}}
 146 // expected-note@+1 {{array 'a' declared here}}
 147   uint64_t a[10];
 148   a[4608 * 1024 * 1024] = 1i;
 149
 150 // expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
 151   (void)((i ? (4608 * 1024 * 1024) : (4608 * 1024 * 1024)) + 1);
 152
 153 // expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
 154   return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024)));
 155 }
 156
 157 struct s {
 158   unsigned x;
 159   unsigned y;
 160 } s = {
 161   .y = 5,
 162   .x = 4 * 1024 * 1024 * 1024  // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 163 };
 164
 165 struct s2 {
 166   unsigned a0;
 167
 168   struct s3 {
 169     unsigned a2;
 170
 171     struct s4 {
 172       unsigned a4;
 173     } a3;
 174   } a1;
 175 } s2 = {
 176   .a0 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 177   {
 178     .a2 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 179     {
 180       .a4 = 4 * 1024 * 1024 * 1024 // expected-warning {{overflow in expression; result is 0 with type 'int'}}
 181     }
 182   }
 183 };