1 /* { dg-final { scan-assembler "__sync_synchronize|dmb|mcr" { target arm*-*-linux-* } } } */
2 
foo(void)3 void *foo (void)
4 {
5   __sync_synchronize();
6 }
7