]>
Commit | Line | Data |
---|---|---|
3e3ec469 | 1 | /* |
2 | ** Some tests for obvious loop exec | |
3 | */ | |
4 | ||
5 | void g (/*@out@*/ int x[]) | |
6 | { | |
7 | int i; | |
8 | ||
9 | for (i = 0; i < 2; i++) | |
10 | { | |
11 | x[i] = i; | |
12 | } | |
13 | } | |
14 | ||
15 | void g1 (/*@out@*/ int x[]) | |
16 | { | |
17 | int i; | |
18 | ||
19 | for (i = 0; i <= 2; i++) | |
20 | { | |
21 | x[i] = i; | |
22 | } | |
23 | ||
24 | } | |
25 | ||
26 | void g2 (/*@out@*/ int x[]) | |
27 | { | |
28 | int i; | |
29 | ||
30 | for (i = 0; i <= 0; i++) /* won't execute */ | |
31 | { | |
32 | x[i] = i; | |
33 | } | |
34 | ||
35 | } |