This is the mail archive of the libstdc++@gcc.gnu.org mailing list for the libstdc++ 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: [v3] "SFINAE-friendly" std::common_type and more

From: Paolo Carlini <paolo dot carlini at oracle dot com>
To: Daniel Krügler <daniel dot kruegler at gmail dot com>
Cc: "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, libstdc++ <libstdc++ at gcc dot gnu dot org>
Date: Wed, 10 Oct 2012 14:14:56 +0200
Subject: Re: [v3] "SFINAE-friendly" std::common_type and more
References: <5074A64D.1070106@oracle.com> <5075640A.9080902@oracle.com> <CAGNvRgDx_-5gr3rCiUNS3apejSCpQ9hvNH8PiDTn+Oxqopa=sg@mail.gmail.com>

On 10/10/2012 02:06 PM, Daniel Krügler wrote:

2012/10/10 Paolo Carlini <paolo.carlini@oracle.com>:
... tested x86_64-linux. Committed to mainline.
I'd like to mention that this patch does not reflect what the core
language says, e.g.
static_assert(is_type<std::common_type<int&&, int&&>, int>(), "");
Should assert, the correct result being int&&. The test currently
holds because of compiler bug 53000.

If you like, please send a patchlet using the HAS_53000_FIXED infrastructure which you already added to mark such cases in a clear way!

Paolo.

References:
- [v3] "SFINAE-friendly" std::common_type and more
  - From: Paolo Carlini
- Re: [v3] "SFINAE-friendly" std::common_type and more
  - From: Paolo Carlini
- Re: [v3] "SFINAE-friendly" std::common_type and more
  - From: Daniel Krügler

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