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