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
break up access relations into may_read/may_write/must_write in interface
[pet.git]
/
tests
/
struct8.c
blob
0bc49c4273c6faa85b6829e130e09cdad0e5be9f
1
struct
s
{
2
struct
{
3
struct
{
4
int
a
[
10
];
5
}
f
[
10
];
6
int
b
;
7
};
8
};
9
10
void
foo
()
11
{
12
struct
s s
;
13
14
#pragma scop
15
for
(
int
i
=
0
;
i
<
10
; ++
i
)
16
for
(
int
j
=
0
;
j
<
10
; ++
j
)
17
s
.
f
[
i
].
a
[
j
] =
i
*
j
;
18
s
.
b
=
1
;
19
#pragma endscop
20
}