/* { dg-final { scan-assembler "__sync_synchronize" { target arm*-*-linux-*eabi } } } */
void *foo (void)
{
__sync_synchronize();
}