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
add PetScan::add_new_used_names
[pet.git]
/
tests
/
struct12.scop
blob
7f11515d758583afd51efb5e4eb094574ff32e56
1
start: 74
2
end: 113
3
indent: "\t"
4
context: '{ : }'
5
schedule: '{ domain: "{ S_0[] }" }'
6
types:
7
- name: field
8
definition: typedef int field
9
- name: a
10
definition: "typedef struct s {\n field a;\n} a"
11
arrays:
12
- context: '{ : }'
13
extent: '{ s[] }'
14
element_type: a
15
element_size: 4
16
element_is_record: 1
17
- context: '{ : }'
18
extent: '{ s_a[s[] -> a[]] }'
19
element_type: field
20
element_size: 4
21
statements:
22
- line: 11
23
domain: '{ S_0[] }'
24
body:
25
type: expression
26
expr:
27
type: op
28
operation: =
29
arguments:
30
- type: access
31
index: '{ S_0[] -> s_a[s[] -> a[]] }'
32
reference: __pet_ref_0
33
read: 0
34
write: 1
35
- type: int
36
value: 5