1  /* { dg-do compile } */
       2  /* { dg-require-effective-target alloca } */
       3  /* { dg-options "-Walloca-larger-than=128 -O2" } */
       4  
       5  typedef __SIZE_TYPE__ size_t;
       6  
       7  void bar (void*);
       8  
       9  void foo1 (size_t len)
      10  {
      11    bar (__builtin_alloca_with_align_and_max (len, 8, 128));
      12  }
      13  
      14  void foo2 (size_t len)
      15  {
      16    bar (__builtin_alloca_with_align_and_max (len, 8, 256)); /* { dg-warning "may be too large" } */
      17  }