gcc/testsuite/gcc.dg/split-7.c

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