1  /* { dg-do run } */
       2  /* { dg-require-effective-target alloca } */
       3  
       4  int main ()
       5  {
       6    char *mem = __builtin_alloca (40);
       7    __builtin___clear_cache (mem, mem + 40);
       8    return 0;
       9  }