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
/
struct13.c
blob
6d67c7c2506c4d86515790502d9bd612e6dcd468
1
typedef
int
field
;
2
typedef
struct
{
3
field a
;
4
}
a
;
5
6
void
foo
(
int
n
,
a s
[
const
restrict
static
n
])
7
{
8
#pragma scop
9
if
(
n
>
0
)
10
s
[
0
].
a
=
5
;
11
#pragma endscop
12
}