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
/
forward_substitution5.c
blob
dc8c8a4bddd8e33fc106bd20bdfbf3a978120a9d
1
void
foo
(
int
N
)
2
{
3
int
a
[
10
],
b
,
c
;
4
#pragma scop
5
c
=
N
;
6
N
+=
2
;
7
a
[
c
] =
5
;
8
#pragma endscop
9
}