7 definition: "struct s {\n struct {\n struct {\n int a[10];\n
8 \ } f[10];\n int b;\n };\n}"
12 element_type: struct s
16 extent: '{ s_b[s[] -> b[]] }'
20 extent: '{ s_f[s[] -> f[i0]] : i0 >= 0 and i0 <= 9 }'
21 element_type: <subfield>
25 extent: '{ s_f_a[s_f[s[] -> f[i0]] -> a[i1]] : i0 >= 0 and i0 <= 9 and i1 >= 0 and
31 domain: '{ S_0[i, j] : i >= 0 and i <= 9 and j <= 9 and j >= 0 }'
32 schedule: '{ S_0[i, j] -> [0, i, j] }'
38 relation: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[i]] -> a[j]] }'
39 index: '{ S_0[i, j] -> s_f_a[s_f[s[] -> f[(i)]] -> a[(j)]] }'
40 reference: __pet_ref_0
47 relation: '{ S_0[i, j] -> [i] }'
48 index: '{ S_0[i, j] -> [(i)] }'
49 reference: __pet_ref_1
53 relation: '{ S_0[i, j] -> [j] }'
54 index: '{ S_0[i, j] -> [(j)] }'
55 reference: __pet_ref_2
60 schedule: '{ S_1[] -> [1] }'
66 relation: '{ S_1[] -> s_b[s[] -> b[]] }'
67 index: '{ S_1[] -> s_b[s[] -> b[]] }'
68 reference: __pet_ref_3