This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: On VIEW_CONVERT_EXPRs and TBAA

From: Eric Botcazou <ebotcazou at adacore dot com>
To: Richard Guenther <rguenther at suse dot de>
Cc: gcc at gcc dot gnu dot org
Date: Sun, 27 Sep 2009 08:25:16 +0200
Subject: Re: On VIEW_CONVERT_EXPRs and TBAA
References: <alpine.LNX.2.00.0909241235130.4520@zhemvz.fhfr.qr> <200909262226.36100.ebotcazou@adacore.com> <alpine.LNX.2.00.0909262237270.4520@zhemvz.fhfr.qr>

> 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

References:
- On VIEW_CONVERT_EXPRs and TBAA
  - From: Richard Guenther
- Re: On VIEW_CONVERT_EXPRs and TBAA
  - From: Eric Botcazou
- Re: On VIEW_CONVERT_EXPRs and TBAA
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]