> 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

Reply via email to