|
111
|
1 /* Test for _Bool and <stdbool.h> in C99. */
|
|
|
2 /* Origin: Joseph Myers <jsm28@cam.ac.uk> */
|
|
|
3 /* { dg-do run } */
|
|
|
4 /* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
|
|
|
5
|
|
|
6 /* _Bool must be a builtin type. */
|
|
|
7
|
|
|
8 _Bool foo;
|
|
|
9
|
|
|
10 #include <stdbool.h>
|
|
|
11
|
|
|
12 /* Three macros must be integer constant expressions suitable for use
|
|
|
13 in #if.
|
|
|
14 */
|
|
|
15
|
|
|
16 #if !defined(true) || (true != 1)
|
|
|
17 #error "bad stdbool true" /* { dg-bogus "#error" "bad stdbool.h" } */
|
|
|
18 #endif
|
|
|
19
|
|
|
20 #if !defined(false) || (false != 0)
|
|
|
21 #error "bad stdbool false" /* { dg-bogus "#error" "bad stdbool.h" } */
|
|
|
22 #endif
|
|
|
23
|
|
|
24 #if !defined(__bool_true_false_are_defined) || (__bool_true_false_are_defined != 1)
|
|
|
25 #error "bad stdbool __bool_true_false_are_defined" /* { dg-bogus "#error" "bad stdbool.h" } */
|
|
|
26 #endif
|
|
|
27
|
|
|
28 int a = true;
|
|
|
29 int b = false;
|
|
|
30 int c = __bool_true_false_are_defined;
|
|
|
31
|
|
|
32 struct foo
|
|
|
33 {
|
|
|
34 _Bool a : 1;
|
|
|
35 } sf;
|
|
|
36
|
|
|
37 #define str(x) xstr(x)
|
|
|
38 #define xstr(x) #x
|
|
|
39
|
|
|
40
|
|
|
41 extern void abort (void);
|
|
|
42 extern void exit (int);
|
|
|
43 extern int strcmp (const char *, const char *);
|
|
|
44
|
|
|
45 int
|
|
|
46 main (void)
|
|
|
47 {
|
|
|
48 /* The macro `bool' must expand to _Bool. */
|
|
|
49 const char *t = str (bool);
|
|
|
50 _Bool u, v;
|
|
|
51 if (strcmp (t, "_Bool"))
|
|
|
52 abort ();
|
|
|
53 if (a != 1 || b != 0 || c != 1)
|
|
|
54 abort ();
|
|
|
55 /* Casts to _Bool have a specified behavior. */
|
|
|
56 if ((int)(_Bool)2 != 1)
|
|
|
57 abort ();
|
|
|
58 if ((int)(_Bool)0.2 != 1)
|
|
|
59 abort ();
|
|
|
60 /* Pointers may be assigned to _Bool. */
|
|
|
61 if ((u = t) != 1)
|
|
|
62 abort ();
|
|
|
63 /* _Bool may be used to subscript arrays. */
|
|
|
64 u = 0;
|
|
|
65 if (t[u] != '_')
|
|
|
66 abort ();
|
|
|
67 if (u[t] != '_')
|
|
|
68 abort ();
|
|
|
69 u = 1;
|
|
|
70 if (t[u] != 'B')
|
|
|
71 abort ();
|
|
|
72 if (u[t] != 'B')
|
|
|
73 abort ();
|
|
|
74 /* Test increment and decrement operators. */
|
|
|
75 u = 0;
|
|
|
76 if (u++ != 0)
|
|
|
77 abort ();
|
|
|
78 if (u != 1)
|
|
|
79 abort ();
|
|
|
80 if (u++ != 1)
|
|
|
81 abort ();
|
|
|
82 if (u != 1)
|
|
|
83 abort ();
|
|
|
84 u = 0;
|
|
|
85 if (++u != 1)
|
|
|
86 abort ();
|
|
|
87 if (u != 1)
|
|
|
88 abort ();
|
|
|
89 if (++u != 1)
|
|
|
90 abort ();
|
|
|
91 if (u != 1)
|
|
|
92 abort ();
|
|
|
93 u = 0;
|
|
|
94 if (u-- != 0)
|
|
|
95 abort ();
|
|
|
96 if (u != 1)
|
|
|
97 abort ();
|
|
|
98 if (u-- != 1)
|
|
|
99 abort ();
|
|
|
100 if (u != 0)
|
|
|
101 abort ();
|
|
|
102 u = 0;
|
|
|
103 if (--u != 1)
|
|
|
104 abort ();
|
|
|
105 if (u != 1)
|
|
|
106 abort ();
|
|
|
107 if (--u != 0)
|
|
|
108 abort ();
|
|
|
109 if (u != 0)
|
|
|
110 abort ();
|
|
|
111 /* Test unary + - ~ !. */
|
|
|
112 u = 0;
|
|
|
113 if (+u != 0)
|
|
|
114 abort ();
|
|
|
115 if (-u != 0)
|
|
|
116 abort ();
|
|
|
117 u = 1;
|
|
|
118 if (+u != 1)
|
|
|
119 abort ();
|
|
|
120 if (-u != -1)
|
|
|
121 abort ();
|
|
|
122 u = 2;
|
|
|
123 if (+u != 1)
|
|
|
124 abort ();
|
|
|
125 if (-u != -1)
|
|
|
126 abort ();
|
|
|
127 u = 0;
|
|
|
128 if (~u != ~(int)0)
|
|
|
129 abort ();
|
|
|
130 u = 1;
|
|
|
131 if (~u != ~(int)1)
|
|
|
132 abort ();
|
|
|
133 u = 0;
|
|
|
134 if (!u != 1)
|
|
|
135 abort ();
|
|
|
136 u = 1;
|
|
|
137 if (!u != 0)
|
|
|
138 abort ();
|
|
|
139 /* Test arithmetic * / % + - (which all apply promotions). */
|
|
|
140 u = 0;
|
|
|
141 if (u + 2 != 2)
|
|
|
142 abort ();
|
|
|
143 u = 1;
|
|
|
144 if (u * 4 != 4)
|
|
|
145 abort ();
|
|
|
146 if (u % 3 != 1)
|
|
|
147 abort ();
|
|
|
148 if (u / 1 != 1)
|
|
|
149 abort ();
|
|
|
150 if (4 / u != 4)
|
|
|
151 abort ();
|
|
|
152 if (u - 7 != -6)
|
|
|
153 abort ();
|
|
|
154 /* Test bitwise shift << >>. */
|
|
|
155 u = 1;
|
|
|
156 if (u << 1 != 2)
|
|
|
157 abort ();
|
|
|
158 if (u >> 1 != 0)
|
|
|
159 abort ();
|
|
|
160 /* Test relational and equality operators < > <= >= == !=. */
|
|
|
161 u = 0;
|
|
|
162 v = 0;
|
|
|
163 if (u < v || u > v || !(u <= v) || !(u >= v) || !(u == v) || u != v)
|
|
|
164 abort ();
|
|
|
165 u = 0;
|
|
|
166 v = 1;
|
|
|
167 if (!(u < v) || u > v || !(u <= v) || u >= v || u == v || !(u != v))
|
|
|
168 abort ();
|
|
|
169 /* Test bitwise operators & ^ |. */
|
|
|
170 u = 1;
|
|
|
171 if ((u | 2) != 3)
|
|
|
172 abort ();
|
|
|
173 if ((u ^ 3) != 2)
|
|
|
174 abort ();
|
|
|
175 if ((u & 1) != 1)
|
|
|
176 abort ();
|
|
|
177 if ((u & 0) != 0)
|
|
|
178 abort ();
|
|
|
179 /* Test logical && ||. */
|
|
|
180 u = 0;
|
|
|
181 v = 1;
|
|
|
182 if (!(u || v))
|
|
|
183 abort ();
|
|
|
184 if (!(v || u))
|
|
|
185 abort ();
|
|
|
186 if (u && v)
|
|
|
187 abort ();
|
|
|
188 if (v && u)
|
|
|
189 abort ();
|
|
|
190 u = 1;
|
|
|
191 v = 1;
|
|
|
192 if (!(u && v))
|
|
|
193 abort ();
|
|
|
194 /* Test conditional ? :. */
|
|
|
195 u = 0;
|
|
|
196 if ((u ? 4 : 7) != 7)
|
|
|
197 abort ();
|
|
|
198 u = 1;
|
|
|
199 v = 0;
|
|
|
200 if ((1 ? u : v) != 1)
|
|
|
201 abort ();
|
|
|
202 if ((1 ? 4 : u) != 4)
|
|
|
203 abort ();
|
|
|
204 /* Test assignment operators = *= /= %= += -= <<= >>= &= ^= |=. */
|
|
|
205 if ((u = 2) != 1)
|
|
|
206 abort ();
|
|
|
207 if (u != 1)
|
|
|
208 abort ();
|
|
|
209 if ((u *= -1) != 1)
|
|
|
210 abort ();
|
|
|
211 if (u != 1)
|
|
|
212 abort ();
|
|
|
213 if ((u /= 2) != 0)
|
|
|
214 abort ();
|
|
|
215 if ((u += 3) != 1)
|
|
|
216 abort ();
|
|
|
217 if ((u -= 1) != 0)
|
|
|
218 abort ();
|
|
|
219 u = 1;
|
|
|
220 if ((u <<= 4) != 1)
|
|
|
221 abort ();
|
|
|
222 if ((u >>= 1) != 0)
|
|
|
223 abort ();
|
|
|
224 u = 1;
|
|
|
225 if ((u &= 0) != 0)
|
|
|
226 abort ();
|
|
|
227 if ((u |= 2) != 1)
|
|
|
228 abort ();
|
|
|
229 if ((u ^= 3) != 1)
|
|
|
230 abort ();
|
|
|
231 /* Test comma expressions. */
|
|
|
232 u = 1;
|
|
|
233 if ((4, u) != 1)
|
|
|
234 abort ();
|
|
|
235 /* Test bitfields. */
|
|
|
236 {
|
|
|
237 int i;
|
|
|
238 for (i = 0; i < sizeof (struct foo); i++)
|
|
|
239 *((unsigned char *)&sf + i) = (unsigned char) -1;
|
|
|
240 sf.a = 1;
|
|
|
241 if (sf.a != 1)
|
|
|
242 abort ();
|
|
|
243 sf.a = 0;
|
|
|
244 if (sf.a != 0)
|
|
|
245 abort ();
|
|
|
246 }
|
|
|
247 exit (0);
|
|
|
248 }
|
