4 context: '[n] -> { : n >= 0 and n <= 2147483647 }'
7 definition: "struct s {\n int a;\n}"
9 - context: '[n] -> { : n >= 0 }'
10 extent: '[n] -> { A[i0] : i0 >= 0 and i0 <= -1 + n }'
11 element_type: struct s
14 - context: '[n] -> { : n >= 0 }'
15 extent: '[n] -> { A_a[A[i0] -> a[]] : i0 >= 0 and i0 <= -1 + n }'
20 domain: '[n] -> { S_0[] }'
21 schedule: '{ S_0[] -> [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