Hi,
I figured out a way to match C99 initializers of structs in an array,
but it is very ugly. Just replace the mkinit isomorphism in standard.iso
with this:
TopLevel
@ mkinit @
type T;
pure context T E;
identifier I;
identifier fld;
expression E1;
@@
E.fld = E1; => T I = { .fld = E1, }; => T I [] = { { .fld = E1, }, }; =>
T I [] = { { .fld = E1, }, { }, }; => T I [] = { { }, { .fld = E1, }, };
=> T I [] = { { .fld = E1, }, { }, { }, }; => T I [] = { { }, { .fld =
E1, }, { }, }; => T I [] = { { }, { }, { .fld = E1, }, }; => T I [] = {
{ .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { .fld = E1, }, {
}, { }, }; => T I [] = { { }, { }, { .fld = E1, }, { }, }; => T I [] = {
{ }, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld = E1, }, { }, {
}, { }, { }, }; => T I [] = { { }, { .fld = E1, }, { }, { }, { }, }; =>
T I [] = { { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = { { }, {
}, { }, { .fld = E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { .fld
= E1, }, }; => T I [] = { { .fld = E1, }, { }, { }, { }, { }, { }, }; =>
T I [] = { { }, { .fld = E1, }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
.fld = E1, }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { .fld =
E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1, }, };
=> T I [] = { { .fld = E1, }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { .fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { { },
{ }, { .fld = E1, }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { },
{ .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, {
.fld = E1, }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld
= E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { .fld =
E1, }, }; => T I [] = { { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, }; => T I [] = { { }, { .fld = E1, }, { }, { }, { }, { }, { }, { },
}; => T I [] = { { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = {
{ }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, }; => T I [] = { { },
{ }, { }, { }, { }, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld =
E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
.fld = E1, }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld
= E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { .fld
= E1, }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld = E1, }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { .fld =
E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, }; => T I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, {
}, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, {
.fld = E1, }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, }; => T
I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1,
}, }; => T I [] = { { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { .fld = E1, }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { .fld = E1,
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1, }, { }, {
}, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, {
.fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1,
}, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld =
E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; =>
T I [] = { { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, { }, { }, }; => T I [] = { { }, { }, { .fld = E1, }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
.fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1, }, { }, {
}, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1,
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld = E1, }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = {
{ }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { .fld
= E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, {
}, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld =
E1, }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, {
}, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld = E1, }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, }; => T I []
= { { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, }; => T I [] = { { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] =
{ { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { .fld = E1, }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = {
{ }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1,
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
.fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1,
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
.fld = E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, }; => T I [] = { {
.fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, }; => T I [] = { { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I
[] = { { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { .fld =
E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
}; => T I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { },
{ }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, {
}, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
.fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld =
E1, }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, }; => T I [] = { { .fld = E1, }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, }; => T I [] = { { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { .fld
= E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, }; => T I [] = { {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld =
E1, }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ .fld = E1, }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, }; =>
T I [] = { { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
.fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, }; => T I [] = { { }, { }, { }, { .fld = E1, }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = {
{ }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { .fld = E1,
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I
[] = { { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { },
{ }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld =
E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, {
}, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1,
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, };
=> T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { .fld = E1, }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, { }, { .fld = E1, }, }; => T I [] = { { .fld = E1, }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ }, { }, }; => T I [] = { { }, { .fld = E1, }, { }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, {
.fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { .fld = E1,
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
}; => T I [] = { { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = {
{ }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { .fld = E1, }, { }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T
I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld =
E1, }, { }, { }, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, {
}, { }, { }, { }, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, {
}, { }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, {
}, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { .fld = E1, }, { }, { }, { }, { }, }; => T I []
= { { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { .fld = E1, }, { }, { }, { }, }; => T I [] = { { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { },
{ .fld = E1, }, { }, { }, }; => T I [] = { { }, { }, { }, { }, { }, { },
{ }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1,
}, { }, }; => T I [] = { { }, { }, { }, { }, { }, { }, { }, { }, { }, {
}, { }, { }, { }, { }, { }, { }, { }, { }, { }, { .fld = E1, }, };
It should work up to an array length of 20. It is extremely ugly, though.
Regards,
Carl-Daniel
--
http://www.hailfinger.org/
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
