1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fsched2-use-superblocks -ftree-tail-merge" } */
       3  /* { dg-require-effective-target alloca } */
       4  
       5  typedef int aligned __attribute__ ((aligned (64)));
       6  extern void abort (void);
       7  
       8  int bar (void *p);
       9  
      10  void
      11  foo (void)
      12  {
      13    char *p = __builtin_alloca (13);
      14    aligned i;
      15  
      16    if (bar (p) || bar (&i))
      17      abort ();
      18  }