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
check_integer_overflows(int i)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 return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024)));
152 }
153
154 struct 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
162 struct 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