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
tree2scop.c: map_to_previous: handle higher dimensional domains
[pet.git]
/
tests
/
break4.c
blob
764542870dc6553cc627242d27a87de94ac94f40
1
int
f
();
2
3
void
foo
()
4
{
5
int
i
,
j
,
a
[
100
];
6
7
#pragma scop
8
for
(
i
=
0
;
i
<
100
; ++
i
)
9
for
(
j
=
0
;
j
<
100
; ++
j
) {
10
a
[
i
] =
0
;
11
if
(
j
>
80
) {
12
if
(
f
())
13
break
;
14
}
15
if
(
f
()) {
16
if
(
f
())
17
break
;
18
a
[
i
] =
1
;
19
if
(
f
())
20
continue
;
21
else
22
a
[
i
] =
2
;
23
a
[
i
] =
3
;
24
}
25
if
(
f
())
26
break
;
27
a
[
i
] =
i
+
j
;
28
}
29
#pragma endscop
30
}