* [v3] libstdc++/48635
@ 2011-04-16 4:35 Paolo Carlini
2011-04-17 22:29 ` Paolo Carlini
0 siblings, 1 reply; 2+ messages in thread
From: Paolo Carlini @ 2011-04-16 4:35 UTC (permalink / raw)
To: gcc-patches; +Cc: libstdc++
[-- Attachment #1: Type: text/plain, Size: 89 bytes --]
Hi,
tested x86_64-linux, committed mainline and 4_6-branch.
Paolo.
//////////////////
[-- Attachment #2: CL_48635 --]
[-- Type: text/plain, Size: 432 bytes --]
2011-04-15 Daniel Krugler <daniel.kruegler@googlemail.com>
Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/48635
* include/bits/unique_ptr.h (unique_ptr<>::operator=(unique_ptr&&),
unique_ptr<>::operator=(unique_ptr<>&&),
unique_ptr<_Tp[],>::operator=(unique_ptr&&),
unique_ptr<_Tp[],>::operator=(unique_ptr<>&&)): Forward the deleter
instead of moving it.
* testsuite/20_util/unique_ptr/assign/48635.cc: New.
[-- Attachment #3: patch_48635 --]
[-- Type: text/plain, Size: 3302 bytes --]
Index: include/bits/unique_ptr.h
===================================================================
--- include/bits/unique_ptr.h (revision 172501)
+++ include/bits/unique_ptr.h (working copy)
@@ -171,7 +171,7 @@
operator=(unique_ptr&& __u)
{
reset(__u.release());
- get_deleter() = std::move(__u.get_deleter());
+ get_deleter() = std::forward<deleter_type>(__u.get_deleter());
return *this;
}
@@ -184,7 +184,7 @@
operator=(unique_ptr<_Up, _Ep>&& __u)
{
reset(__u.release());
- get_deleter() = std::move(__u.get_deleter());
+ get_deleter() = std::forward<deleter_type>(__u.get_deleter());
return *this;
}
@@ -315,7 +315,7 @@
operator=(unique_ptr&& __u)
{
reset(__u.release());
- get_deleter() = std::move(__u.get_deleter());
+ get_deleter() = std::forward<deleter_type>(__u.get_deleter());
return *this;
}
@@ -324,7 +324,7 @@
operator=(unique_ptr<_Up, _Ep>&& __u)
{
reset(__u.release());
- get_deleter() = std::move(__u.get_deleter());
+ get_deleter() = std::forward<deleter_type>(__u.get_deleter());
return *this;
}
Index: testsuite/20_util/unique_ptr/assign/48635.cc
===================================================================
--- testsuite/20_util/unique_ptr/assign/48635.cc (revision 0)
+++ testsuite/20_util/unique_ptr/assign/48635.cc (revision 0)
@@ -0,0 +1,78 @@
+// { dg-options "-std=gnu++0x" }
+
+// Copyright (C) 2011 Free Software Foundation
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <memory>
+#include <testsuite_hooks.h>
+
+struct Deleter
+{
+ Deleter() = default;
+ Deleter(const Deleter&) = default;
+ Deleter(Deleter&&) = default;
+
+ Deleter&
+ operator=(const Deleter&)
+ {
+ bool test __attribute__((unused)) = true;
+ VERIFY( true );
+ return *this;
+ }
+
+ Deleter&
+ operator=(Deleter&&)
+ {
+ bool test __attribute__((unused)) = true;
+ VERIFY( false );
+ return *this;
+ }
+
+ template<class T>
+ void
+ operator()(T*) const { }
+};
+
+struct DDeleter : Deleter { };
+
+// libstdc++/48635
+void test01()
+{
+ Deleter d;
+
+ std::unique_ptr<int, Deleter&> p1(nullptr, d), p2(nullptr, d);
+ p2 = std::move(p1);
+
+ DDeleter dd;
+
+ std::unique_ptr<int, DDeleter&> p1t(nullptr, dd);
+ std::unique_ptr<int, Deleter&> p2t(nullptr, d);
+ p2t = std::move(p1t);
+
+ std::unique_ptr<int[], Deleter&> p1a(nullptr, d), p2a(nullptr, d);
+ p2a = std::move(p1a);
+
+ std::unique_ptr<int[], DDeleter&> p1at(nullptr, dd);
+ std::unique_ptr<int[], Deleter&> p2at(nullptr, d);
+ p2at = std::move(p1at);
+}
+
+int main()
+{
+ test01();
+ return 0;
+}
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [v3] libstdc++/48635
2011-04-16 4:35 [v3] libstdc++/48635 Paolo Carlini
@ 2011-04-17 22:29 ` Paolo Carlini
0 siblings, 0 replies; 2+ messages in thread
From: Paolo Carlini @ 2011-04-17 22:29 UTC (permalink / raw)
To: gcc-patches; +Cc: libstdc++
[-- Attachment #1: Type: text/plain, Size: 272 bytes --]
... applied mainline and branch this follow-up, see audit-trail for details.
Tested x86_64-linux.
Paolo.
PS: Jon, looks like we are missing some constraining in the templated
constructor and and assignment operator of the unique_ptr specialization?
////////////////
[-- Attachment #2: CL_48635_2 --]
[-- Type: text/plain, Size: 466 bytes --]
2011-04-17 Daniel Krugler <daniel.kruegler@googlemail.com>
Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/48635 (again)
* include/bits/unique_ptr.h (unique_ptr<>::unique_ptr(unique_ptr<>&&),
unique_ptr<_Tp[]>::unique_ptr(unique_ptr<>&&),
unique_ptr<>::operator=(unique_ptr<>&&),
unique_ptr<_Tp[]>::operator=(unique_ptr<>&&)): Use forward<_Ep>, not
forward<_Dp>, to forward the deleter.
* testsuite/20_util/unique_ptr/assign/48635_neg.cc: New.
[-- Attachment #3: patch_48635_2 --]
[-- Type: text/plain, Size: 2948 bytes --]
Index: include/bits/unique_ptr.h
===================================================================
--- include/bits/unique_ptr.h (revision 172617)
+++ include/bits/unique_ptr.h (working copy)
@@ -153,7 +153,7 @@
&& std::is_convertible<_Ep, _Dp>::value))>
::type>
unique_ptr(unique_ptr<_Up, _Ep>&& __u)
- : _M_t(__u.release(), std::forward<deleter_type>(__u.get_deleter()))
+ : _M_t(__u.release(), std::forward<_Ep>(__u.get_deleter()))
{ }
#if _GLIBCXX_USE_DEPRECATED
@@ -186,7 +186,7 @@
operator=(unique_ptr<_Up, _Ep>&& __u)
{
reset(__u.release());
- get_deleter() = std::forward<deleter_type>(__u.get_deleter());
+ get_deleter() = std::forward<_Ep>(__u.get_deleter());
return *this;
}
@@ -306,7 +306,7 @@
template<typename _Up, typename _Ep>
unique_ptr(unique_ptr<_Up, _Ep>&& __u)
- : _M_t(__u.release(), std::forward<deleter_type>(__u.get_deleter()))
+ : _M_t(__u.release(), std::forward<_Ep>(__u.get_deleter()))
{ }
// Destructor.
@@ -326,7 +326,7 @@
operator=(unique_ptr<_Up, _Ep>&& __u)
{
reset(__u.release());
- get_deleter() = std::forward<deleter_type>(__u.get_deleter());
+ get_deleter() = std::forward<_Ep>(__u.get_deleter());
return *this;
}
Index: testsuite/20_util/unique_ptr/assign/48635_neg.cc
===================================================================
--- testsuite/20_util/unique_ptr/assign/48635_neg.cc (revision 0)
+++ testsuite/20_util/unique_ptr/assign/48635_neg.cc (revision 0)
@@ -0,0 +1,50 @@
+// { dg-options "-std=gnu++0x" }
+// { dg-do compile }
+
+// Copyright (C) 2011 Free Software Foundation
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+#include <memory>
+
+struct D;
+
+struct B
+{
+ B& operator=(D&) = delete; // { dg-error "declared here" }
+
+ template<class T>
+ void operator()(T*) const {}
+};
+
+struct D : B { };
+
+// libstdc++/48635
+void f()
+{
+ B b;
+ D d;
+
+ std::unique_ptr<int, B&> ub(nullptr, b);
+ std::unique_ptr<int, D&> ud(nullptr, d);
+ ub = std::move(ud);
+// { dg-error "use of deleted function" "" { target *-*-* } 189 }
+
+ std::unique_ptr<int[], B&> uba(nullptr, b);
+ std::unique_ptr<int[], D&> uda(nullptr, d);
+ uba = std::move(uda);
+// { dg-error "use of deleted function" "" { target *-*-* } 329 }
+}
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2011-04-17 21:51 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-04-16 4:35 [v3] libstdc++/48635 Paolo Carlini
2011-04-17 22:29 ` Paolo Carlini
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).