1  /* { dg-do compile } */
       2  /* { dg-options "-fsanitize=thread" } */
       3  
       4  int svcsw (int *ptr, int oldval, int newval)
       5  {
       6    return __sync_val_compare_and_swap (ptr, oldval, newval);
       7  }