> C++ for this case has a FIELD_DECL in Derived of type Base, so the
> middle-end sees d..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
On Sat, 26 Sep 2009, Eric Botcazou wrote:
> > With VIEW_CONVERT_EXPR you can also easily create the situation
> > where for a reference tree, let it be VIEW_CONVERT_EXPR (X.a).b
> > like commonly seen in Ada, the alias-set of the outermost component
> > is not a subset of that of the innermost on
> With VIEW_CONVERT_EXPR you can also easily create the situation
> where for a reference tree, let it be VIEW_CONVERT_EXPR (X.a).b
> like commonly seen in Ada, the alias-set of the outermost component
> is not a subset of that of the innermost one (the relationship that
> is usually assured to be
