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