Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git] / test / iter.h
blobbf96b9955ebfe37507d8319789657a90ab5544cf
1 # define intFor(i, j, k, ___x) \
2 { int ___x = (i); while ((___x) <= (j)) { (___x) += (k);
4 # define end_intFor }}
6 # define arrayElements(i,j,a,___x)\ /* 9. Macro parameter j used more than once (in post loop test) */
7 { int ___c; int *(___b) = a; for (___c = (i); ___c <= (j); ___c++) { int ___x = *(___b);
8 /* 9. j used more than once (in loop test) */
10 # define end_arrayElements \
11 (___b)++; }}