1  /* { dg-do run { target { i?86-*-linux* i?86-*-gnu* x86_64-*-linux* } } } */
       2  /* { dg-require-effective-target cet } */
       3  /* { dg-require-effective-target split_stack } */
       4  /* { dg-options "-fsplit-stack -O2 -fcf-protection" } */
       5  /* { dg-options "-fsplit-stack -O2 -mno-accumulate-outgoing-args -fcf-protection" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
       6  
       7  /* A case that used to fail on 32-bit x86 when optimizing and not
       8     using -maccumulate-args.  The stack adjustment of the alloca got
       9     mixed up with the arguments pushed on the stack to the function
      10     before the call of alloca.  */
      11  
      12  #include <stdlib.h>
      13  
      14  typedef struct { const char* s; int l; } s;
      15  
      16  typedef unsigned long long align16 __attribute__ ((aligned(16)));
      17  
      18  s gobats (const void *, int) __attribute__ ((noinline));
      19  
      20  s
      21  gobats (const void* p __attribute__ ((unused)),
      22  	int l __attribute__ ((unused)))
      23  {
      24    s v;
      25    v.s = 0;
      26    v.l = 0;
      27    return v;
      28  }
      29  
      30  void check_aligned (void *p) __attribute__ ((noinline));
      31  
      32  void
      33  check_aligned (void *p)
      34  {
      35    if (((__SIZE_TYPE__) p & 0xf) != 0)
      36      abort ();
      37  }
      38  
      39  void gap (void *) __attribute__ ((noinline));
      40  
      41  void gap (void *p)
      42  {
      43    align16 a;
      44    check_aligned (&a);
      45  }
      46  
      47  int
      48  main (int argc, char **argv)
      49  {
      50    s *space;
      51    gobats(0, 16);
      52    space = (s *) alloca(sizeof(s) + 1);
      53    *space = (s){0, 16};
      54    gap(space);
      55    return 0;
      56  }