public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible
@ 2011-11-17 9:00 ai.azuma at gmail dot com
2011-11-17 10:22 ` [Bug libstdc++/51185] " paolo.carlini at oracle dot com
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: ai.azuma at gmail dot com @ 2011-11-17 9:00 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51185
Bug #: 51185
Summary: [C++0x] false-positive results of
std::is_constructible
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: minor
Priority: P3
Component: libstdc++
AssignedTo: unassigned@gcc.gnu.org
ReportedBy: ai.azuma@gmail.com
All of the static_asserts in the following code result in compile error with
-std=c++11.
////////////////////////////////////////
#include <type_traits>
struct A{};
struct B : A{};
int main()
{
static_assert(!std::is_constructible<B &&, A>(), "");
static_assert(!std::is_constructible<B const &&, A>(), "");
static_assert(!std::is_constructible<B const &&, A const>(), "");
static_assert(!std::is_constructible<B volatile &&, A>(), "");
static_assert(!std::is_constructible<B volatile &&, A volatile>(), "");
static_assert(!std::is_constructible<B const volatile &&, A>(), "");
static_assert(!std::is_constructible<B const volatile &&, A const>(), "");
static_assert(!std::is_constructible<B const volatile &&, A volatile>(), "");
static_assert(!std::is_constructible<B const volatile &&, A const
volatile>(), "");
}
////////////////////////////////////////
^ permalink raw reply [flat|nested] 6+ messages in thread* [Bug libstdc++/51185] [C++0x] false-positive results of std::is_constructible 2011-11-17 9:00 [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible ai.azuma at gmail dot com @ 2011-11-17 10:22 ` paolo.carlini at oracle dot com 2011-11-17 11:12 ` daniel.kruegler at googlemail dot com ` (3 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: paolo.carlini at oracle dot com @ 2011-11-17 10:22 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51185 Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |daniel.kruegler at | |googlemail dot com --- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-17 10:18:19 UTC --- Daniel, can you have a look? ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug libstdc++/51185] [C++0x] false-positive results of std::is_constructible 2011-11-17 9:00 [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible ai.azuma at gmail dot com 2011-11-17 10:22 ` [Bug libstdc++/51185] " paolo.carlini at oracle dot com @ 2011-11-17 11:12 ` daniel.kruegler at googlemail dot com 2011-11-17 11:48 ` paolo.carlini at oracle dot com ` (2 subsequent siblings) 4 siblings, 0 replies; 6+ messages in thread From: daniel.kruegler at googlemail dot com @ 2011-11-17 11:12 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51185 --- Comment #2 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2011-11-17 10:58:09 UTC --- (In reply to comment #1) The root of the problem is that __is_base_to_derived_ref works on source references solely. I need a bit time for a proper fix. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug libstdc++/51185] [C++0x] false-positive results of std::is_constructible 2011-11-17 9:00 [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible ai.azuma at gmail dot com 2011-11-17 10:22 ` [Bug libstdc++/51185] " paolo.carlini at oracle dot com 2011-11-17 11:12 ` daniel.kruegler at googlemail dot com @ 2011-11-17 11:48 ` paolo.carlini at oracle dot com 2011-11-21 11:47 ` paolo at gcc dot gnu.org 2011-11-21 12:21 ` paolo.carlini at oracle dot com 4 siblings, 0 replies; 6+ messages in thread From: paolo.carlini at oracle dot com @ 2011-11-17 11:48 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51185 Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2011-11-17 Ever Confirmed|0 |1 --- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-17 11:14:59 UTC --- Thanks a lot! ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug libstdc++/51185] [C++0x] false-positive results of std::is_constructible 2011-11-17 9:00 [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible ai.azuma at gmail dot com ` (2 preceding siblings ...) 2011-11-17 11:48 ` paolo.carlini at oracle dot com @ 2011-11-21 11:47 ` paolo at gcc dot gnu.org 2011-11-21 12:21 ` paolo.carlini at oracle dot com 4 siblings, 0 replies; 6+ messages in thread From: paolo at gcc dot gnu.org @ 2011-11-21 11:47 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51185 --- Comment #4 from paolo at gcc dot gnu.org <paolo at gcc dot gnu.org> 2011-11-21 11:21:20 UTC --- Author: paolo Date: Mon Nov 21 11:21:13 2011 New Revision: 181557 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181557 Log: 2011-11-21 Daniel Krugler <daniel.kruegler@googlemail.com> PR libstdc++/51185 * include/std/type_traits (__is_base_to_derived_ref, __is_lvalue_to_rvalue_ref): Fix. * testsuite/20_util/is_constructible/51185.cc: New. * testsuite/20_util/is_constructible/value-2.cc: Extend. Added: trunk/libstdc++-v3/testsuite/20_util/is_constructible/51185.cc Modified: trunk/libstdc++-v3/ChangeLog trunk/libstdc++-v3/include/std/type_traits trunk/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc trunk/libstdc++-v3/testsuite/20_util/is_constructible/value-2.cc trunk/libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc trunk/libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc ^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug libstdc++/51185] [C++0x] false-positive results of std::is_constructible 2011-11-17 9:00 [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible ai.azuma at gmail dot com ` (3 preceding siblings ...) 2011-11-21 11:47 ` paolo at gcc dot gnu.org @ 2011-11-21 12:21 ` paolo.carlini at oracle dot com 4 siblings, 0 replies; 6+ messages in thread From: paolo.carlini at oracle dot com @ 2011-11-21 12:21 UTC (permalink / raw) To: gcc-bugs http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51185 Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |FIXED Target Milestone|--- |4.7.0 Severity|minor |normal --- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-21 11:24:27 UTC --- Fixed. ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2011-11-21 11:24 UTC | newest] Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2011-11-17 9:00 [Bug libstdc++/51185] New: [C++0x] false-positive results of std::is_constructible ai.azuma at gmail dot com 2011-11-17 10:22 ` [Bug libstdc++/51185] " paolo.carlini at oracle dot com 2011-11-17 11:12 ` daniel.kruegler at googlemail dot com 2011-11-17 11:48 ` paolo.carlini at oracle dot com 2011-11-21 11:47 ` paolo at gcc dot gnu.org 2011-11-21 12:21 ` paolo.carlini at oracle dot com
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).