Commit | Line | Data |
---|---|---|
a59add0c | 1 | void |
fb40c209 AC |
2 | foo (void) |
3 | { | |
4 | int i, x, y, z; | |
5 | ||
6 | x = 0; | |
7 | y = 1; | |
8 | i = 0; | |
9 | ||
10 | while (i < 2) | |
12084a9a | 11 | i++; /* in-loop */ |
fb40c209 | 12 | |
12084a9a | 13 | x = i; /* after-loop */ |
fb40c209 AC |
14 | y = 2 * x; |
15 | z = x + y; | |
12084a9a | 16 | y = x + z; /* until-here */ |
fb40c209 | 17 | x = 9; |
12084a9a | 18 | y = 10; /* until-there */ |
fb40c209 AC |
19 | } |
20 | ||
a59add0c | 21 | int |
fb40c209 AC |
22 | main () |
23 | { | |
24 | int a = 1; | |
25 | foo (); | |
26 | a += 2; | |
12084a9a | 27 | return 0; /* at-return */ |
fb40c209 | 28 | } |