1/* PR target/28924 */
2
3char c;
4
5void
6testc (void)
7{
8  (void) __sync_fetch_and_add (&c, -1);
9}
10
11short s;
12
13void
14tests (void)
15{
16  (void) __sync_fetch_and_add (&s, -1);
17}
18
19void
20testc2 (void)
21{
22  (void) __sync_val_compare_and_swap (&c, -1, -3);
23}
24