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