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: allow label on any statement
[pet.git]
/
tests
/
struct9.c
blob
25e832c26b041d8e8fd3b129cf3fc6bf287bcd95
1
void
f1
(
int
a
);
2
void
f2
(
int
a
[
40
]);
3
void
f3
(
int
a
[
30
][
40
]);
4
5
struct
s
{
6
int
a
[
30
][
40
];
7
};
8
9
void
foo
()
10
{
11
struct
s s
[
10
][
20
];
12
13
#pragma scop
14
for
(
int
i
=
0
;
i
<
10
; ++
i
)
15
for
(
int
j
=
0
;
j
<
20
; ++
j
)
16
for
(
int
k
=
0
;
k
<
30
; ++
k
)
17
for
(
int
l
=
0
;
l
<
40
; ++
l
) {
18
f1
(
s
[
i
][
j
].
a
[
k
][
l
]);
19
f2
(
s
[
i
][
j
].
a
[
k
]);
20
f3
(
s
[
i
][
j
].
a
);
21
}
22
#pragma endscop
23
}