blob: 710219620b7e334b86ef12980be9fe13b14cbdd5 [file] [log] [blame]
/* Test for _Bool and <stdbool.h> in C99. */
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
/* { dg-do run } */
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
/* _Bool must be a builtin type. */
_Bool foo;
#include <stdbool.h>
/* Three macros must be integer constant expressions suitable for use
in #if.
*/
#if !defined(true) || (true != 1)
#error "bad stdbool true" /* { dg-bogus "#error" "bad stdbool.h" } */
#endif
#if !defined(false) || (false != 0)
#error "bad stdbool false" /* { dg-bogus "#error" "bad stdbool.h" } */
#endif
#if !defined(__bool_true_false_are_defined) || (__bool_true_false_are_defined != 1)
#error "bad stdbool __bool_true_false_are_defined" /* { dg-bogus "#error" "bad stdbool.h" } */
#endif
int a = true;
int b = false;
int c = __bool_true_false_are_defined;
struct foo
{
_Bool a : 1;
_Bool b : 2;
_Bool c : 7;
} sf;
#define str(x) xstr(x)
#define xstr(x) #x
extern void abort (void);
extern void exit (int);
extern int strcmp (const char *, const char *);
int
main (void)
{
/* The macro `bool' must expand to _Bool. */
const char *t = str (bool);
_Bool u, v;
if (strcmp (t, "_Bool"))
abort ();
if (a != 1 || b != 0 || c != 1)
abort ();
/* Casts to _Bool have a specified behavior. */
if ((int)(_Bool)2 != 1)
abort ();
if ((int)(_Bool)0.2 != 1)
abort ();
/* Pointers may be assigned to _Bool. */
if ((u = t) != 1)
abort ();
/* _Bool may be used to subscript arrays. */
u = 0;
if (t[u] != '_')
abort ();
if (u[t] != '_')
abort ();
u = 1;
if (t[u] != 'B')
abort ();
if (u[t] != 'B')
abort ();
/* Test increment and decrement operators. */
u = 0;
if (u++ != 0)
abort ();
if (u != 1)
abort ();
if (u++ != 1)
abort ();
if (u != 1)
abort ();
u = 0;
if (++u != 1)
abort ();
if (u != 1)
abort ();
if (++u != 1)
abort ();
if (u != 1)
abort ();
u = 0;
if (u-- != 0)
abort ();
if (u != 1)
abort ();
if (u-- != 1)
abort ();
if (u != 0)
abort ();
u = 0;
if (--u != 1)
abort ();
if (u != 1)
abort ();
if (--u != 0)
abort ();
if (u != 0)
abort ();
/* Test unary + - ~ !. */
u = 0;
if (+u != 0)
abort ();
if (-u != 0)
abort ();
u = 1;
if (+u != 1)
abort ();
if (-u != -1)
abort ();
u = 2;
if (+u != 1)
abort ();
if (-u != -1)
abort ();
u = 0;
if (~u != ~(int)0)
abort ();
u = 1;
if (~u != ~(int)1)
abort ();
u = 0;
if (!u != 1)
abort ();
u = 1;
if (!u != 0)
abort ();
/* Test arithmetic * / % + - (which all apply promotions). */
u = 0;
if (u + 2 != 2)
abort ();
u = 1;
if (u * 4 != 4)
abort ();
if (u % 3 != 1)
abort ();
if (u / 1 != 1)
abort ();
if (4 / u != 4)
abort ();
if (u - 7 != -6)
abort ();
/* Test bitwise shift << >>. */
u = 1;
if (u << 1 != 2)
abort ();
if (u >> 1 != 0)
abort ();
/* Test relational and equality operators < > <= >= == !=. */
u = 0;
v = 0;
if (u < v || u > v || !(u <= v) || !(u >= v) || !(u == v) || u != v)
abort ();
u = 0;
v = 1;
if (!(u < v) || u > v || !(u <= v) || u >= v || u == v || !(u != v))
abort ();
/* Test bitwise operators & ^ |. */
u = 1;
if ((u | 2) != 3)
abort ();
if ((u ^ 3) != 2)
abort ();
if ((u & 1) != 1)
abort ();
if ((u & 0) != 0)
abort ();
/* Test logical && ||. */
u = 0;
v = 1;
if (!(u || v))
abort ();
if (!(v || u))
abort ();
if (u && v)
abort ();
if (v && u)
abort ();
u = 1;
v = 1;
if (!(u && v))
abort ();
/* Test conditional ? :. */
u = 0;
if ((u ? 4 : 7) != 7)
abort ();
u = 1;
v = 0;
if ((1 ? u : v) != 1)
abort ();
if ((1 ? 4 : u) != 4)
abort ();
/* Test assignment operators = *= /= %= += -= <<= >>= &= ^= |=. */
if ((u = 2) != 1)
abort ();
if (u != 1)
abort ();
if ((u *= -1) != 1)
abort ();
if (u != 1)
abort ();
if ((u /= 2) != 0)
abort ();
if ((u += 3) != 1)
abort ();
if ((u -= 1) != 0)
abort ();
u = 1;
if ((u <<= 4) != 1)
abort ();
if ((u >>= 1) != 0)
abort ();
u = 1;
if ((u &= 0) != 0)
abort ();
if ((u |= 2) != 1)
abort ();
if ((u ^= 3) != 1)
abort ();
/* Test comma expressions. */
u = 1;
if ((4, u) != 1)
abort ();
/* Test bitfields. */
{
int i;
for (i = 0; i < sizeof (struct foo); i++)
*((unsigned char *)&sf + i) = (unsigned char) -1;
sf.a = 1;
if (sf.a != 1)
abort ();
sf.b = 1;
if (sf.b != 1)
abort ();
sf.c = 1;
if (sf.c != 1)
abort ();
sf.a = 0;
if (sf.a != 0)
abort ();
sf.b = 0;
if (sf.b != 0)
abort ();
sf.c = 0;
if (sf.c != 0)
abort ();
}
exit (0);
}