1 extern __attribute__ ((__noreturn__
)) void exit(int);
2 extern __attribute__ ((__noreturn__
)) void abort(void);
3 __attribute__ ((__noinline__
))
13 __attribute__ ((__noinline__
))
27 if (add512(-512, &b0
) != 0 || b0
!= -1 || add513(-513, &b1
) != 0 || b1
!= -513)