aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gcc.dg/c99-complit-1.c
blob: 94e15db6d2aad91abf6935716e5cefa551e3683a (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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
/* Test for compound literals: in C99 only.  Test for valid uses.  */
/* Origin: Joseph Myers <jsm28@cam.ac.uk> */
/* { dg-do run } */
/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */

extern void abort (void);
extern void exit (int);

struct s { int a; int b; };
union u { int c; int d; };

int *i0a = &(int) { 0 };
int *i0b = &(int) { 0 };
int *i1a = &(int) { 1 };
int *i1b = &(int) { 1 };
const int *i0c = &(const int) { 0 };

struct s *s0 = &(struct s) { 1, 2 };
struct s *s1 = &(struct s) { 1, 2 };
const struct s *s2 = &(const struct s) { 1, 2 };

union u *u0 = &(union u) { 3 };
union u *u1 = &(union u) { 3 };
const union u *u2 = &(const union u) { 3 };

int *a0 = (int []) { 1, 2, 3 };
const int *a1 = (const int []) { 1, 2, 3 };

char *p = (char []){ "foo" };

int
main (void)
{
  if (i0a == i0b || i0a == i0c || i0b == i0c)
    abort ();
  if (i1a == i1b)
    abort ();
  if (*i0a != 0 || *i0b != 0 || *i1a != 1 || *i1b != 1 || *i0c != 0)
    abort ();
  *i0a = 1;
  *i1a = 0;
  if (*i0a != 1 || *i0b != 0 || *i1a != 0 || *i1b != 1 || *i0c != 0)
    abort ();
  if (s0 == s1 || s1 == s2 || s2 == s0)
    abort ();
  if (s0->a != 1 || s0->b != 2 || s1->a != 1 || s1->b != 2
      || s2->a != 1 || s2->b != 2)
    abort ();
  s0->a = 2;
  s1->b = 1;
  if (s0->a != 2 || s0->b != 2 || s1->a != 1 || s1->b != 1
      || s2->a != 1 || s2->b != 2)
    abort ();
  if (u0 == u1 || u1 == u2 || u2 == u0)
    abort ();
  if (u0->c != 3 || u1->c != 3 || u2->c != 3)
    abort ();
  u0->d = 2;
  if (u0->d != 2 || u1->c != 3 || u2->c != 3)
    abort ();
  if (a0 == a1)
    abort ();
  if (a0[0] != 1 || a0[1] != 2 || a0[2] != 3
      || a1[0] != 1 || a1[1] != 2 || a1[2] != 3)
    abort ();
  a0[0] = 3;
  if (a0[0] != 3 || a0[1] != 2 || a0[2] != 3
      || a1[0] != 1 || a1[1] != 2 || a1[2] != 3)
    abort ();
  if (p[0] != 'f' || p[1] != 'o' || p[2] != 'o' || p[3] != 0)
    abort ();
  p[0] = 'g';
  if (p[0] != 'g' || p[1] != 'o' || p[2] != 'o' || p[3] != 0)
    abort ();
  if (sizeof((int []) { 1, 2 ,3 }) != 3 * sizeof(int))
    abort ();
  if (sizeof((int []) { [3] = 4 }) != 4 * sizeof(int))
    abort ();
  struct s *y;
  for (int i = 0; i < 3; i++) {
    struct s *x = &(struct s) { 1, i };
    if (x->a != 1 || x->b != i)
      abort ();
    x->a++;
    x->b--;
    if (x->a != 2 || x->b != i - 1)
      abort ();
    if (i && y != x)
      abort ();
    y = x;
  }
  int *z;
  for (int i = 0; i < 4; i++) {
    int *x = (int []){ 0, i, i + 2, i - 3 };
    if (x[0] != 0 || x[1] != i || x[2] != i + 2 || x[3] != i - 3)
      abort ();
    x[0] = x[1];
    x[1] *= x[2];
    x[2] -= x[3];
    x[3] += 7;
    if (x[0] != i || x[1] != i * (i + 2) || x[2] != 5 || x[3] != i + 4)
      abort ();
    if (i && z != x)
      abort ();
    z = x;
  }
  (int) { 0 } = 1;
  (struct s) { 0, 1 }.a = 3;
  (union u) { 3 }.c = 4;
  (int []){ 1, 2 }[0] = 0;
  exit (0);
}