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