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