]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /*@iter intFor (int i, int j, int k, yield int val); @*/ |
2 | # define intFor(i, j, k, ___x) \ | |
3 | { int ___x = (i); while ((___x) <= (j)) { (___x) += (k); | |
4 | ||
5 | # define end_intFor }} | |
6 | ||
7 | /*@iter arrayElements (int i, int j, int *a, yield int el); @*/ | |
8 | # define arrayElements(i,j,a,___x)\ | |
9 | { int ___c; int *(___b) = a; for (___c = (i); ___c <= (j); ___c++) { int ___x = *(___b); | |
10 | /* 9. j used more than once (in loop test) */ | |
11 | ||
12 | # define end_arrayElements \ | |
13 | (___b)++; }} | |
14 | ||
15 |