/* { dg-do run } */ /* { dg-options "-Os" } */ extern void abort (void); void foo (unsigned long x) { } typedef struct a { volatile unsigned int a1, a2, a3, a4, a5; } *A; typedef struct { volatile unsigned int b1, b2, b3, b4, b5; } *B; struct C { void *c1, *c2; A c3; unsigned char c4; }; void bar (struct C *c, unsigned int *d) { *d = *d | 1; ((c->c4 >= 2) ? (*(volatile unsigned int *) ((void *)(&((A)c->c3)->a5)) = *d) : (*(volatile unsigned int *) ((void *)(&((B)c->c3)->b5)) = *d)); foo (50); } int main (void) { struct a a; struct C c; unsigned int d = 8; c.c3 = &a; c.c4 = 0; bar (&c, &d); if (a.a5 != 9) abort (); return 0; }