summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/c1x-static-assert-1.c
blob: bf7aa59451179c098e3dd24a45f69de1faa6bf60 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
/* Test C1X static assertions.  Valid assertions.  */
/* { dg-do compile } */
/* { dg-options "-std=c1x -pedantic-errors" } */

_Static_assert (1, "foo");

enum e { E0, E1 };

_Static_assert (E1, L"bar");

_Static_assert (-1, "foo" L"bar");

struct s
{
  int a;
  _Static_assert (3, "s");
  int b;
};

union u
{
  int i;
  _Static_assert ((int)1.0, L"");
};

void
f (void)
{
  int i;
  i = 1;
  _Static_assert (0 + 1, "f");
  i = 2;
}

void
g (void)
{
  int i = 0;
  for (_Static_assert (1, ""); i < 10; i++)
    ;
}