> C++ for this case has a FIELD_DECL in Derived of type Base, so the > middle-end sees d.<anonymous>.i here (and thus also automatically > gets the TBAA hierarchy correct by means of recording component aliases).
Ada has a _Parent FIELD_DECL in Derived (of type a subtype of Base) so it should be able to do d._Parent.i and this would be a lot nicer IMO. -- Eric Botcazou