gcc/tests/Sanity/test-m32-m64-options/clear_cache.c

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