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_scop_from_pet_tree: take into account assumptions
[pet.git]
/
tests
/
data_dependent2.c
blob
573d33f33e8fc98f1f0920bc12c38d4c53470c0b
1
int
f
(
void
);
2
3
void
foo
()
4
{
5
int
i
,
j
;
6
int
a
[
10
];
7
int
N
;
8
9
#pragma scop
10
N
=
5
;
11
for
(
i
=
0
;
i
<
10
; ++
i
)
12
if
(
N
<=
4
)
13
for
(
j
=
0
;
j
<
10
; ++
j
) {
14
a
[
j
] =
5
+
j
+
N
;
15
N
=
f
();
16
}
17
#pragma endscop
18
}