This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Do not use TYPE_CANONICAL in useless_type_conversion
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Jan Hubicka <hubicka at ucw dot cz>
- Cc: gcc-patches at gcc dot gnu dot org, Richard Biener <rguenther at suse dot de>
- Date: Fri, 02 Oct 2015 09:42:25 +0200
- Subject: Re: Do not use TYPE_CANONICAL in useless_type_conversion
- Authentication-results: sourceware.org; auth=none
- References: <20150930211235 dot GB30640 at kam dot mff dot cuni dot cz> <57801859 dot QRu7TrYMFC at polaris> <20151001174434 dot GA86704 at kam dot mff dot cuni dot cz>
> Yep, I was thinking of alignment. I think we are safe here as we are safe
> with any other memory access properties in the references. Those are not
> supposed to be preserved by useless_type_conversions.
Some explicit type casts need to be preserved on memory accesses, see the
TYPE_ALIGN_OK flag; this is needed for Ada on strict-alignment platforms.
--
Eric Botcazou