/* PR target/98147 */
char buffer[32] = "foo bar";
int
main ()
{
__builtin___clear_cache (buffer, buffer + 32);
return 0;
}