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;
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];
10 uint64_t f0(uint64_t);
11 uint64_t f1(uint64_t, uint32_t);
12 uint64_t f2(uint64_t, ...);
14 static const uint64_t overflow = 1 * 4608 * 1024 * 1024; // expected-warning {{overflow in expression; result is 536870912 with type 'int'}}
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));
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;
33 uint64_t not_overflow = 4608 * 1024 * 1024ULL;
34 uint64_t not_overflow2 = (1ULL * ((uint64_t)(4608) * (1024 * 1024)) + 2ULL);
36 // expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
37 overflow = 4608 * 1024 * 1024 ? 4608 * 1024 * 1024 : 0;
39 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
40 overflow = 0 ? 0 : 4608 * 1024 * 1024;
42 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
43 if (4608 * 1024 * 1024)
46 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
47 if ((uint64_t)(4608 * 1024 * 1024))
50 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
51 if ((uint64_t)(4608 * 1024 * 1024))
54 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
55 if ((uint64_t)(4608 * 1024 * 1024 * i))
58 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
59 if ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL))
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)))
67 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
68 case 4608 * 1024 * 1024:
70 // expected-warning@+1 {{overflow in expression; result is 537919488 with type 'int'}}
71 case (uint64_t)(4609 * 1024 * 1024):
73 // expected-error@+1 {{expression is not an integer constant expression}}
74 case ((uint64_t)(4608 * 1024 * 1024 * i)):
76 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
77 case ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL)):
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))):
85 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
86 while (4608 * 1024 * 1024);
88 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
89 while ((uint64_t)(4608 * 1024 * 1024));
91 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
92 while ((uint64_t)(4608 * 1024 * 1024));
94 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
95 while ((uint64_t)(4608 * 1024 * 1024 * i));
97 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
98 while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
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)));
103 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
104 do { } while (4608 * 1024 * 1024);
106 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
107 do { } while ((uint64_t)(4608 * 1024 * 1024));
109 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
110 do { } while ((uint64_t)(4608 * 1024 * 1024));
112 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
113 do { } while ((uint64_t)(4608 * 1024 * 1024 * i));
115 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
116 do { } while ((1ULL * ((4608) * ((1024) * (1024))) + 2ULL));
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)));
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));
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))));
135 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
136 _Complex long long x = 4608 * 1024 * 1024;
138 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
139 (__real__ x) = 4608 * 1024 * 1024;
141 // expected-warning@+1 {{overflow in expression; result is 536870912 with type 'int'}}
142 (__imag__ x) = 4608 * 1024 * 1024;
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}}
148 a[4608 * 1024 * 1024] = 1i;
150 // expected-warning@+1 2{{overflow in expression; result is 536870912 with type 'int'}}
151 return ((4608 * 1024 * 1024) + ((uint64_t)(4608 * 1024 * 1024)));
159 .x = 4 * 1024 * 1024 * 1024 // expected-warning {{overflow in expression; result is 0 with type 'int'}}
173 .a0 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
175 .a2 = 4 * 1024 * 1024 * 1024, // expected-warning {{overflow in expression; result is 0 with type 'int'}}
177 .a4 = 4 * 1024 * 1024 * 1024 // expected-warning {{overflow in expression; result is 0 with type 'int'}}