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 jos...@codesourcery.com