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
On Mon, Jun 06, 2016 at 03:06:18PM +, Joseph Myers wrote:
> On Tue, 31 May 2016, Marek Polacek wrote:
>
> > > diff --git gcc/testsuite/c-c++-common/attr-may-alias-1.c
> > > gcc/testsuite/c-c++-common/attr-may-alias-1.c
> > > index e69de29..978b9a5 100644
> > > ---
On Tue, 31 May 2016, Marek Polacek wrote:
> > diff --git gcc/testsuite/c-c++-common/attr-may-alias-1.c
> > gcc/testsuite/c-c++-common/attr-may-alias-1.c
> > index e69de29..978b9a5 100644
> > --- gcc/testsuite/c-c++-common/attr-may-alias-1.c
> > +++ gcc/testsuite/c-c++-common/attr-may-alias-1.c
>
Sorry, gcc-patches fell out of CC.
On Tue, May 31, 2016 at 03:14:43PM +0200, Marek Polacek wrote:
> On Thu, May 26, 2016 at 05:16:39PM +, Joseph Myers wrote:
> > On Thu, 26 May 2016, Marek Polacek wrote:
> >
> > > The C++ FE has been changed, as a part of c++/50800, in such a way that
> > >
On Thu, 26 May 2016, Marek Polacek wrote:
> The C++ FE has been changed, as a part of c++/50800, in such a way that it no
> longer considers types differentiating only in TYPE_REF_CAN_ALIAS_ALL
> incompatible. But the C FE still rejects the following testcase, so this
> patch
> makes the C FE
The C++ FE has been changed, as a part of c++/50800, in such a way that it no
longer considers types differentiating only in TYPE_REF_CAN_ALIAS_ALL
incompatible. But the C FE still rejects the following testcase, so this patch
makes the C FE follow suit. After all, the may_alias attribute is not
