URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [gcc.dg/] [c99-bool-1.c] - Rev 12
Compare with Previous | Blame | View Log
/* 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); }