| #include <assert.h> | |
| int div(int numerator, int denominator) | |
| { | |
| return numerator / denominator; | |
| } | |
| void div_test() | |
| { | |
| int i = 0; | |
| for (i = 0; i < 2; ++i) | |
| assert(div(2 * i, i) == 2); | |
| } | |
| int do_nothing() | |
| { | |
| unsigned int i = 0; | |
| int k = 100; | |
| int j = k + 1; | |
| return j; | |
| } |