1  /* PR target/98147 */
       2  
       3  char buffer[32] = "foo bar";
       4  
       5  int
       6  main ()
       7  {
       8    __builtin___clear_cache (buffer, buffer + 32);
       9    return 0;
      10  }