1 /* Test for binary integer constants. */
2
3 /* Derived from: c99-intconst-1.c, bye Joseph Myers <jsm28@cam.ac.uk>. */
4 /* Origin: Joerg Wunsch <j.gnu@uriah.heep.sax.de>. */
5 /* { dg-do compile } */
6 /* { dg-options "-std=gnu99" } */
7
8 #include <limits.h>
9
10 /* Assertion that constant C is of type T. */
11 #define ASSERT_CONST_TYPE(C, T) \
12 do { \
13 typedef T type; \
14 typedef type **typepp; \
15 typedef __typeof__((C)) ctype; \
16 typedef ctype **ctypepp; \
17 typepp x = 0; \
18 ctypepp y = 0; \
19 x = y; \
20 y = x; \
21 } while (0)
22
23 /* (T *) if E is zero, (void *) otherwise. */
24 #define type_if_not(T, E) __typeof__(0 ? (T *)0 : (void *)(E))
25
26 /* (T *) if E is nonzero, (void *) otherwise. */
27 #define type_if(T, E) type_if_not(T, !(E))
28
29 /* Combine pointer types, all but one (void *). */
30 #define type_comb2(T1, T2) __typeof__(0 ? (T1)0 : (T2)0)
31 #define type_comb3(T1, T2, T3) type_comb2(T1, type_comb2(T2, T3))
32 #define type_comb4(T1, T2, T3, T4) \
33 type_comb2(T1, type_comb2(T2, type_comb2(T3, T4)))
34 #define type_comb6(T1, T2, T3, T4, T5, T6) \
35 type_comb2(T1, \
36 type_comb2(T2, \
37 type_comb2(T3, \
38 type_comb2(T4, \
39 type_comb2(T5, T6)))))
40
41 /* (T1 *) if E1, otherwise (T2 *) if E2. */
42 #define first_of2p(T1, E1, T2, E2) type_comb2(type_if(T1, (E1)), \
43 type_if(T2, (!(E1) && (E2))))
44 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3. */
45 #define first_of3p(T1, E1, T2, E2, T3, E3) \
46 type_comb3(type_if(T1, (E1)), \
47 type_if(T2, (!(E1) && (E2))), \
48 type_if(T3, (!(E1) && !(E2) && (E3))))
49 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3, otherwise
50 (T4 *) if E4. */
51 #define first_of4p(T1, E1, T2, E2, T3, E3, T4, E4) \
52 type_comb4(type_if(T1, (E1)), \
53 type_if(T2, (!(E1) && (E2))), \
54 type_if(T3, (!(E1) && !(E2) && (E3))), \
55 type_if(T4, (!(E1) && !(E2) && !(E3) && (E4))))
56 /* (T1 *) if E1, otherwise (T2 *) if E2, otherwise (T3 *) if E3, otherwise
57 (T4 *) if E4, otherwise (T5 *) if E5, otherwise (T6 *) if E6. */
58 #define first_of6p(T1, E1, T2, E2, T3, E3, T4, E4, T5, E5, T6, E6) \
59 type_comb6(type_if(T1, (E1)), \
60 type_if(T2, (!(E1) && (E2))), \
61 type_if(T3, (!(E1) && !(E2) && (E3))), \
62 type_if(T4, (!(E1) && !(E2) && !(E3) && (E4))), \
63 type_if(T5, (!(E1) && !(E2) && !(E3) && !(E4) && (E5))), \
64 type_if(T6, (!(E1) && !(E2) && !(E3) \
65 && !(E4) && !(E5) && (E6))))
66
67 /* Likewise, but return the original type rather than a pointer type. */
68 #define first_of2(T1, E1, T2, E2) \
69 __typeof__(*((first_of2p(T1, (E1), T2, (E2)))0))
70 #define first_of3(T1, E1, T2, E2, T3, E3) \
71 __typeof__(*((first_of3p(T1, (E1), T2, (E2), T3, (E3)))0))
72 #define first_of4(T1, E1, T2, E2, T3, E3, T4, E4) \
73 __typeof__(*((first_of4p(T1, (E1), T2, (E2), T3, (E3), T4, (E4)))0))
74 #define first_of6(T1, E1, T2, E2, T3, E3, T4, E4, T5, E5, T6, E6) \
75 __typeof__(*((first_of6p(T1, (E1), T2, (E2), T3, (E3), \
76 T4, (E4), T5, (E5), T6, (E6)))0))
77
78 /* Types of constants according to the C99 rules. */
79 #define C99_UNSUF_TYPE(C) \
80 first_of6(int, (C) <= INT_MAX, \
81 unsigned int, (C) <= UINT_MAX, \
82 long int, (C) <= LONG_MAX, \
83 unsigned long int, (C) <= ULONG_MAX, \
84 long long int, (C) <= LLONG_MAX, \
85 unsigned long long int, (C) <= ULLONG_MAX)
86 #define C99_SUFu_TYPE(C) \
87 first_of3(unsigned int, (C) <= UINT_MAX, \
88 unsigned long int, (C) <= ULONG_MAX, \
89 unsigned long long int, (C) <= ULLONG_MAX)
90 #define C99_SUFl_TYPE(C) \
91 first_of4(long int, (C) <= LONG_MAX, \
92 unsigned long int, (C) <= ULONG_MAX, \
93 long long int, (C) <= LLONG_MAX, \
94 unsigned long long int, (C) <= ULLONG_MAX)
95 #define C99_SUFul_TYPE(C) \
96 first_of2(unsigned long int, (C) <= ULONG_MAX, \
97 unsigned long long int, (C) <= ULLONG_MAX)
98 #define C99_SUFll_TYPE(C) \
99 first_of2(long long int, (C) <= LLONG_MAX, \
100 unsigned long long int, (C) <= ULLONG_MAX)
101
102 /* Checks that constants have correct type. */
103 #define CHECK_UNSUF_TYPE(C) \
104 ASSERT_CONST_TYPE((C), C99_UNSUF_TYPE((C)))
105 #define CHECK_SUFu_TYPE(C) ASSERT_CONST_TYPE((C), C99_SUFu_TYPE((C)))
106 #define CHECK_SUFl_TYPE(C) \
107 ASSERT_CONST_TYPE((C), C99_SUFl_TYPE((C)))
108 #define CHECK_SUFul_TYPE(C) ASSERT_CONST_TYPE((C), C99_SUFul_TYPE((C)))
109 #define CHECK_SUFll_TYPE(C) \
110 ASSERT_CONST_TYPE((C), C99_SUFll_TYPE((C)))
111 #define CHECK_SUFull_TYPE(C) ASSERT_CONST_TYPE((C), unsigned long long int)
112
113 /* Check an octal or hexadecimal value, with all suffixes. */
114 #define CHECK_CONST(C) \
115 CHECK_UNSUF_TYPE(C); \
116 CHECK_SUFu_TYPE(C##u); \
117 CHECK_SUFu_TYPE(C##U); \
118 CHECK_SUFl_TYPE(C##l); \
119 CHECK_SUFl_TYPE(C##L); \
120 CHECK_SUFul_TYPE(C##ul); \
121 CHECK_SUFul_TYPE(C##uL); \
122 CHECK_SUFul_TYPE(C##Ul); \
123 CHECK_SUFul_TYPE(C##UL); \
124 CHECK_SUFll_TYPE(C##ll); \
125 CHECK_SUFll_TYPE(C##LL); \
126 CHECK_SUFull_TYPE(C##ull); \
127 CHECK_SUFull_TYPE(C##uLL); \
128 CHECK_SUFull_TYPE(C##Ull); \
129 CHECK_SUFull_TYPE(C##ULL);
130
131 #define CHECK_BIN_CONST(C) \
132 CHECK_CONST(0b##C); \
133 CHECK_CONST(0B##C);
134
135 /* True iff "long long" is at least B bits. This presumes that (B-2)/3 is at
136 most 63. */
137 #define LLONG_AT_LEAST(B) \
138 (LLONG_MAX >> ((B)-2)/3 >> ((B)-2)/3 \
139 >> ((B)-2 - ((B)-2)/3 - ((B)-2)/3))
140
141 #define LLONG_HAS_BITS(B) (LLONG_AT_LEAST((B)) && !LLONG_AT_LEAST((B) + 1))
142
143 #define FOO 0b1101
144 #if !FOO
145 # error "preprocessor does not accept binary constants"
146 #endif
147
148 void
149 foo (void)
150 {
151 /* Check all 2^n and 2^n - 1 up to 2^72 - 1. */
152 CHECK_BIN_CONST(1);
153 CHECK_BIN_CONST(10);
154 CHECK_BIN_CONST(11);
155 CHECK_BIN_CONST(100);
156 CHECK_BIN_CONST(111);
157 CHECK_BIN_CONST(1000);
158 CHECK_BIN_CONST(1111);
159 CHECK_BIN_CONST(10000);
160 CHECK_BIN_CONST(11111);
161 CHECK_BIN_CONST(100000);
162 CHECK_BIN_CONST(111111);
163 CHECK_BIN_CONST(1000000);
164 CHECK_BIN_CONST(1111111);
165 CHECK_BIN_CONST(10000000);
166 CHECK_BIN_CONST(11111111);
167 CHECK_BIN_CONST(100000000);
168 CHECK_BIN_CONST(111111111);
169 CHECK_BIN_CONST(1000000000);
170 CHECK_BIN_CONST(1111111111);
171 CHECK_BIN_CONST(10000000000);
172 CHECK_BIN_CONST(11111111111);
173 CHECK_BIN_CONST(100000000000);
174 CHECK_BIN_CONST(111111111111);
175 CHECK_BIN_CONST(1000000000000);
176 CHECK_BIN_CONST(1111111111111);
177 CHECK_BIN_CONST(10000000000000);
178 CHECK_BIN_CONST(11111111111111);
179 CHECK_BIN_CONST(100000000000000);
180 CHECK_BIN_CONST(111111111111111);
181 CHECK_BIN_CONST(1000000000000000);
182 CHECK_BIN_CONST(1111111111111111);
183 CHECK_BIN_CONST(10000000000000000);
184 CHECK_BIN_CONST(11111111111111111);
185 CHECK_BIN_CONST(100000000000000000);
186 CHECK_BIN_CONST(111111111111111111);
187 CHECK_BIN_CONST(1000000000000000000);
188 CHECK_BIN_CONST(1111111111111111111);
189 CHECK_BIN_CONST(10000000000000000000);
190 CHECK_BIN_CONST(11111111111111111111);
191 CHECK_BIN_CONST(100000000000000000000);
192 CHECK_BIN_CONST(111111111111111111111);
193 CHECK_BIN_CONST(1000000000000000000000);
194 CHECK_BIN_CONST(1111111111111111111111);
195 CHECK_BIN_CONST(10000000000000000000000);
196 CHECK_BIN_CONST(11111111111111111111111);
197 CHECK_BIN_CONST(100000000000000000000000);
198 CHECK_BIN_CONST(111111111111111111111111);
199 CHECK_BIN_CONST(1000000000000000000000000);
200 CHECK_BIN_CONST(1111111111111111111111111);
201 CHECK_BIN_CONST(10000000000000000000000000);
202 CHECK_BIN_CONST(11111111111111111111111111);
203 CHECK_BIN_CONST(100000000000000000000000000);
204 CHECK_BIN_CONST(111111111111111111111111111);
205 CHECK_BIN_CONST(1000000000000000000000000000);
206 CHECK_BIN_CONST(1111111111111111111111111111);
207 CHECK_BIN_CONST(10000000000000000000000000000);
208 CHECK_BIN_CONST(11111111111111111111111111111);
209 CHECK_BIN_CONST(100000000000000000000000000000);
210 CHECK_BIN_CONST(111111111111111111111111111111);
211 CHECK_BIN_CONST(1000000000000000000000000000000);
212 CHECK_BIN_CONST(1111111111111111111111111111111);
213 CHECK_BIN_CONST(10000000000000000000000000000000);
214 CHECK_BIN_CONST(11111111111111111111111111111111);
215 CHECK_BIN_CONST(100000000000000000000000000000000);
216 CHECK_BIN_CONST(111111111111111111111111111111111);
217 CHECK_BIN_CONST(1000000000000000000000000000000000);
218 CHECK_BIN_CONST(1111111111111111111111111111111111);
219 CHECK_BIN_CONST(10000000000000000000000000000000000);
220 CHECK_BIN_CONST(11111111111111111111111111111111111);
221 CHECK_BIN_CONST(100000000000000000000000000000000000);
222 CHECK_BIN_CONST(111111111111111111111111111111111111);
223 CHECK_BIN_CONST(1000000000000000000000000000000000000);
224 CHECK_BIN_CONST(1111111111111111111111111111111111111);
225 CHECK_BIN_CONST(10000000000000000000000000000000000000);
226 CHECK_BIN_CONST(11111111111111111111111111111111111111);
227 CHECK_BIN_CONST(100000000000000000000000000000000000000);
228 CHECK_BIN_CONST(111111111111111111111111111111111111111);
229 CHECK_BIN_CONST(1000000000000000000000000000000000000000);
230 CHECK_BIN_CONST(1111111111111111111111111111111111111111);
231 CHECK_BIN_CONST(10000000000000000000000000000000000000000);
232 CHECK_BIN_CONST(11111111111111111111111111111111111111111);
233 CHECK_BIN_CONST(100000000000000000000000000000000000000000);
234 CHECK_BIN_CONST(111111111111111111111111111111111111111111);
235 CHECK_BIN_CONST(1000000000000000000000000000000000000000000);
236 CHECK_BIN_CONST(1111111111111111111111111111111111111111111);
237 CHECK_BIN_CONST(10000000000000000000000000000000000000000000);
238 CHECK_BIN_CONST(11111111111111111111111111111111111111111111);
239 CHECK_BIN_CONST(100000000000000000000000000000000000000000000);
240 CHECK_BIN_CONST(111111111111111111111111111111111111111111111);
241 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000);
242 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111);
243 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000);
244 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111);
245 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000);
246 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111);
247 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000);
248 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111);
249 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000);
250 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111);
251 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000);
252 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111);
253 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000);
254 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111);
255 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000);
256 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111);
257 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000);
258 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111);
259 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000000);
260 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111111);
261 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000000);
262 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111111);
263 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000000);
264 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111111);
265 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000000000);
266 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111111111);
267 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000000000);
268 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111111111);
269 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000000000);
270 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111111111);
271 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000000000000);
272 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111111111111);
273 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000000000000);
274 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111111111111);
275 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000000000000);
276 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111111111111);
277 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000000000000000);
278 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111111111111111);
279 #if LLONG_AT_LEAST(65)
280 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000000000000000);
281 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111111111111111);
282 #endif
283 #if LLONG_AT_LEAST(66)
284 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000000000000000);
285 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111111111111111);
286 #endif
287 #if LLONG_AT_LEAST(67)
288 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000000000000000000);
289 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111111111111111111);
290 #endif
291 #if LLONG_AT_LEAST(68)
292 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000000000000000000);
293 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111111111111111111);
294 #endif
295 #if LLONG_AT_LEAST(69)
296 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000000000000000000);
297 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111111111111111111);
298 #endif
299 #if LLONG_AT_LEAST(70)
300 CHECK_BIN_CONST(1000000000000000000000000000000000000000000000000000000000000000000000);
301 CHECK_BIN_CONST(1111111111111111111111111111111111111111111111111111111111111111111111);
302 #endif
303 #if LLONG_AT_LEAST(71)
304 CHECK_BIN_CONST(10000000000000000000000000000000000000000000000000000000000000000000000);
305 CHECK_BIN_CONST(11111111111111111111111111111111111111111111111111111111111111111111111);
306 #endif
307 #if LLONG_AT_LEAST(72)
308 CHECK_BIN_CONST(100000000000000000000000000000000000000000000000000000000000000000000000);
309 CHECK_BIN_CONST(111111111111111111111111111111111111111111111111111111111111111111111111);
310 #endif
311 }
312