> 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
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
On Sun, 20 Sep 2009, Richard Guenther wrote:
> As commented to my last status report develop.html does not reflect
> reality anymore. The following tries to adjust it carefully in
> this respect.
I believe you got the math wrong in one case, when you went from
four months that a branch will need
> 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
