1/* PR c/33238 */
2/* { dg-require-effective-target alloca } */
3
4typedef __SIZE_TYPE__ size_t;
5int memcmp (const void *, const void *, size_t);
6void abort (void);
7
8void
9__attribute__((noinline))
10bar (void *x, void *y)
11{
12  struct S { char w[8]; } *p = x, *q = y;
13  if (memcmp (p->w, "zyxwvut", 8) != 0)
14    abort ();
15  if (memcmp (q[0].w, "abcdefg", 8) != 0)
16    abort ();
17  if (memcmp (q[1].w, "ABCDEFG", 8) != 0)
18    abort ();
19  if (memcmp (q[2].w, "zyxwvut", 8) != 0)
20    abort ();
21  if (memcmp (q[3].w, "zyxwvut", 8) != 0)
22    abort ();
23}
24
25void
26__attribute__((noinline))
27foo (void *x, int y)
28{
29  struct S { char w[y]; } *p = x, a;
30  int i;
31  a = ({ struct S b; b = p[2]; p[3] = b; });
32  bar (&a, x);
33}
34
35int
36main (void)
37{
38  struct S { char w[8]; } p[4]
39    = { "abcdefg", "ABCDEFG", "zyxwvut", "ZYXWVUT" };
40  foo (p, 8);
41  return 0;
42}
43