...
Code Block | ||
---|---|---|
| ||
#include <assert.h> int foo(int a) { assert(a + 100 > a); printf("%d %d\n", a + 100, a); return a; } int main(void) { foo(100); foo(INT_MAX); } |
...
Code Block | ||
---|---|---|
| ||
#include <assert.h> int foo(int a) { assert(((a < 0) || (a < (INT_MAX - 100)))); printf("%d %d\n", a + 100, a); return a; } int main(void) { foo(100); foo(INT_MAX); } |
...