This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: C PATCH for comptypes handling of TYPE_REF_CAN_ALIAS_ALL
- From: Joseph Myers <joseph at codesourcery dot com>
- To: Marek Polacek <polacek at redhat dot com>
- Cc: Richard Biener <rguenther at suse dot de>, Jakub Jelinek <jakub at redhat dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 6 Jun 2016 15:33:27 +0000
- Subject: Re: C PATCH for comptypes handling of TYPE_REF_CAN_ALIAS_ALL
- Authentication-results: sourceware.org; auth=none
- References: <20160526141651 dot GB3014 at redhat dot com> <alpine dot DEB dot 2 dot 20 dot 1605261712250 dot 18895 at digraph dot polyomino dot org dot uk> <20160531131443 dot GL3014 at redhat dot com> <20160531131733 dot GM3014 at redhat dot com> <alpine dot DEB dot 2 dot 20 dot 1606061501430 dot 15183 at digraph dot polyomino dot org dot uk> <20160606152319 dot GV3014 at redhat dot com>
On Mon, 6 Jun 2016, Marek Polacek wrote:
> > I don't see how this test is supposed to verify properties of the
> > composite type. I'd expect you to need to verify that something does not
> > get optimized away, that would get optimized away in the absence of
> > may_alias.
>
> Well, were it not for the may_alias attribute, we'd warn about type punning
> (hence the -O2), so I thought that this test would be enough.
In that case, the patch is OK.
--
Joseph S. Myers
joseph@codesourcery.com