repo.or.cz
/
pet.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
pet 0.03
[pet.git]
/
tests
/
while.c
blob
1508d65da0a994d4a76c4a081184c267ea3498ea
1
int
f
(
void
);
2
int
P
(
int
,
int
);
3
int
g
(
int
);
4
void
h
(
int
);
5
6
void
foo
(
int
n
)
7
{
8
int
s
;
9
10
#pragma scop
11
for
(
int
x
=
0
;
x
<
n
; ++
x
) {
12
S1
:
s
=
f
();
13
while
(
P
(
x
,
s
)) {
14
S2
:
s
=
g
(
s
);
15
}
16
R
:
h
(
s
);
17
}
18
#pragma endscop
19
}