1// RUN: %clang_cc1 %s -verify -fsyntax-only -triple x86_64-pc-linux-gnu
2typedef unsigned long long uint64_t;
3typedef unsigned int uint32_t;
4
5// Check integer sizes.
6int array64[sizeof(uint64_t) == 8 ? 1 : -1];
7int array32[sizeof(uint32_t) == 4 ? 1 : -1];
8int arrayint[sizeof(int) < sizeof(uint64_t) ? 1 : -1];
9
10uint64_t f0(uint64_t);
11uint64_t f1(uint64_t, uint32_t);
12uint64_t f2(uint64_t, ...);
13
14static const uint64_t overflow = 1 * 4608 * 1024 * 1024; // expected-warning {{overflow in expression; result is 536870912 with type 'int'}}
15
16uint64_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  return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024)));
152}
153
154struct s {
155  unsigned x;
156  unsigned y;
157} s = {
158  .y = 5,
159  .x = 4 * 1024 * 1024 * 1024  // expected-warning {{overflow in expression; result is 0 with type 'int'}}
160};
161
162struct s2 {
163  unsigned a0;
164
165  struct s3 {
166    unsigned a2;
167
168    struct s4 {
169      unsigned a4;
170    } a3;
171  } a1;
172} s2 = {
173  .a0 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
174  {
175    .a2 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
176    {
177      .a4 = 4 * 1024 * 1024 * 1024 // expected-warning {{overflow in expression; result is 0 with type 'int'}}
178    }
179  }
180};
181