try and include initial declarations in outer block when autodetecting
[pet.git] / tests / struct1.scop
blob47f49257dcf13b0a0b7cd0d528fb9dd44d060cc0
1 start: 50
2 end: 89
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_0[] }" }'
6 types:
7 - name: s
8   definition: "struct s {\n    int a;\n}"
9 arrays:
10 - context: '{  :  }'
11   extent: '{ s[] }'
12   element_type: struct s
13   element_size: 4
14   element_is_record: 1
15 - context: '{  :  }'
16   extent: '{ s_a[s[] -> a[]] }'
17   element_type: int
18   element_size: 4
19 statements:
20 - line: 10
21   domain: '{ S_0[] }'
22   body:
23     type: expression
24     expr:
25       type: op
26       operation: =
27       arguments:
28       - type: access
29         index: '{ S_0[] -> s_a[s[] -> a[]] }'
30         reference: __pet_ref_0
31         read: 0
32         write: 1
33       - type: int
34         value: 5