4 context: '[n] -> { : n >= 0 and n <= 2147483647 }'
5 schedule: '{ domain: "[n] -> { S_0[] }" }'
8 definition: "struct s {\n int a;\n}"
10 - context: '[n] -> { : n >= 0 }'
11 extent: '[n] -> { A[i0] : i0 >= 0 and i0 <= -1 + n }'
12 element_type: struct s
15 - context: '[n] -> { : n >= 0 }'
16 extent: '[n] -> { A_a[A[i0] -> a[]] : i0 >= 0 and i0 <= -1 + n }'
21 domain: '[n] -> { S_0[] }'
29 index: '[n] -> { S_0[] -> [(n)] }'
30 reference: __pet_ref_0
34 may_write: '[n] -> { S_0[] -> A_a[A[o0] -> a[]] : exists (e0 = floor((-1 +
35 o0)/2): 2e0 = -1 + o0 and o0 >= 1 and o0 <= -1 + n) }'
36 must_write: '[n] -> { }'
37 index: '[n] -> { S_0[] -> A[] }'
39 reference: __pet_ref_1