gcc-4.9/gcc/testsuite/gcc.dg/pr56341-1.c


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

/* { dg-do run } */
/* { dg-options "-fstrict-volatile-bitfields" } */

extern void abort (void);

struct test0
{
  unsigned char b1[2];
} __attribute__((packed, aligned(2)));

struct test1
{
  volatile unsigned long a1;
  unsigned char b1[4];
} __attribute__((packed, aligned(2)));

struct test2
{
  struct test0 t0;
  struct test1 t1;
  struct test0 t2;
} __attribute__((packed, aligned(2)));

struct test2 xx;
struct test2 *x1 = &xx;

#define MAGIC 0x12345678

void test0 (struct test2* x1)
{
  x1->t1.a1 = MAGIC;
}

int main()
{
  test0 (x1);
  if (xx.t1.a1 != MAGIC)
    abort ();
  return 0;
}