gcc-4.3.1/gcc/testsuite/gcc.dg/builtins-64.c

/* { dg-do run } */

int main ()
{
  char *mem = __builtin_alloca (40);
  __builtin___clear_cache (mem, mem + 40);
  return 0;
}