This is the mail archive of the gcc-patches@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: [C++ patch] Allow p->~T() when T is a vector

From: Gabriel Dos Reis <gdr at integrable-solutions dot net>
To: Richard Guenther <richard dot guenther at gmail dot com>
Cc: Marc Glisse <marc dot glisse at inria dot fr>, gcc-patches at gcc dot gnu dot org, jason at redhat dot com
Date: Thu, 2 Aug 2012 09:19:32 -0500
Subject: Re: [C++ patch] Allow p->~T() when T is a vector
References: <alpine.DEB.2.02.1208021333001.23019@stedding.saclay.inria.fr> <CAFiYyc3AOvOMyQmoh2fcXDB12vCs75W36tZm2AYjkqOepRdDdg@mail.gmail.com>

On Thu, Aug 2, 2012 at 7:08 AM, Richard Guenther
<richard.guenther@gmail.com> wrote:
> On Thu, Aug 2, 2012 at 1:42 PM, Marc Glisse <marc.glisse@inria.fr> wrote:
>> Hello,
>>
>> this patch allows p->~T() when T is (after substitution) a vector, which is
>> necessary for use in std::vector for instance.
>
> Why not include VECTOR_TYPE in ARITHMETIC_TYPE_P?

We have decided long ago that abstractions in the compiler
should use names and semantics following the standard texts
so that reading the source code should not reserve surprises
to anyone familiar with the standards, hence minimize help
subtle bugs and reduce efforts needed to understand the compiler.
Putting VECTOR_TYPE in ARITHMETIC_TYPE_P violates that
common sense principle.

-- Gaby

References:
- [C++ patch] Allow p->~T() when T is a vector
  - From: Marc Glisse
- Re: [C++ patch] Allow p->~T() when T is a vector
  - From: Richard Guenther

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