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
PetScan::scan(FunctionDecl *): construct a pet_context up front
[pet.git]
/
tests
/
while_break.c
blob
e1a94774682d37a9abaa88a09af9044483485fef
1
int
f
();
2
3
void
foo
(
int
N
)
4
{
5
int
i
;
6
int
a
;
7
8
#pragma scop
9
while
(
1
) {
10
a
=
5
;
11
if
(
N
)
12
break
;
13
a
=
6
;
14
}
15
while
(
1
) {
16
a
=
5
;
17
if
(
f
())
18
break
;
19
a
=
6
;
20
}
21
while
(
f
()) {
22
a
=
5
;
23
if
(
N
)
24
break
;
25
a
=
6
;
26
}
27
while
(
f
()) {
28
a
=
5
;
29
if
(
f
())
30
break
;
31
a
=
6
;
32
}
33
#pragma endscop
34
}