From 098aac94ef8927e4bd24fc59919e9163057688fa Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Wed, 13 May 2015 17:42:18 +0100 Subject: [PATCH] shared_ptr_base.h (__shared_count(unique_ptr&&)): Check for nullptr (LWG 2415). * include/bits/shared_ptr_base.h (__shared_count(unique_ptr&&)): Check for nullptr (LWG 2415). * testsuite/20_util/shared_ptr/cons/unique_ptr_deleter.cc: Test construction from empty unique_ptr. * testsuite/20_util/shared_ptr/cons/43820_neg.cc: Adjust dg-error. * testsuite/20_util/shared_ptr/cons/void_neg.cc: Likewise. From-SVN: r223170 --- libstdc++-v3/ChangeLog | 7 +++++++ libstdc++-v3/include/bits/shared_ptr_base.h | 5 +++++ .../20_util/shared_ptr/cons/43820_neg.cc | 2 +- .../shared_ptr/cons/unique_ptr_deleter.cc | 16 ++++++++++++++-- .../20_util/shared_ptr/cons/void_neg.cc | 2 +- 5 files changed, 28 insertions(+), 4 deletions(-) diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 965cdccaa05..b9a0ad7f8dc 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,5 +1,12 @@ 2015-05-13 Jonathan Wakely + * include/bits/shared_ptr_base.h (__shared_count(unique_ptr&&)): Check + for nullptr (LWG 2415). + * testsuite/20_util/shared_ptr/cons/unique_ptr_deleter.cc: Test + construction from empty unique_ptr. + * testsuite/20_util/shared_ptr/cons/43820_neg.cc: Adjust dg-error. + * testsuite/20_util/shared_ptr/cons/void_neg.cc: Likewise. + * include/bits/stl_raw_storage_iter.h (raw_storage_iterator::base()): Define (LWG 2454). * testsuite/20_util/raw_storage_iterator/base.cc: New. diff --git a/libstdc++-v3/include/bits/shared_ptr_base.h b/libstdc++-v3/include/bits/shared_ptr_base.h index 8c3af1285a9..081df8781a3 100644 --- a/libstdc++-v3/include/bits/shared_ptr_base.h +++ b/libstdc++-v3/include/bits/shared_ptr_base.h @@ -632,6 +632,11 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION explicit __shared_count(std::unique_ptr<_Tp, _Del>&& __r) : _M_pi(0) { + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 2415. Inconsistency between unique_ptr and shared_ptr + if (__r.get() == nullptr) + return; + using _Ptr = typename unique_ptr<_Tp, _Del>::pointer; using _Del2 = typename conditional::value, reference_wrapper::type>, diff --git a/libstdc++-v3/testsuite/20_util/shared_ptr/cons/43820_neg.cc b/libstdc++-v3/testsuite/20_util/shared_ptr/cons/43820_neg.cc index 97cc139be2c..62555225432 100644 --- a/libstdc++-v3/testsuite/20_util/shared_ptr/cons/43820_neg.cc +++ b/libstdc++-v3/testsuite/20_util/shared_ptr/cons/43820_neg.cc @@ -32,7 +32,7 @@ void test01() { X* px = 0; std::shared_ptr p1(px); // { dg-error "here" } - // { dg-error "incomplete" "" { target *-*-* } 886 } + // { dg-error "incomplete" "" { target *-*-* } 891 } std::shared_ptr p9(ap()); // { dg-error "here" } // { dg-error "incomplete" "" { target *-*-* } 307 } diff --git a/libstdc++-v3/testsuite/20_util/shared_ptr/cons/unique_ptr_deleter.cc b/libstdc++-v3/testsuite/20_util/shared_ptr/cons/unique_ptr_deleter.cc index 67bf577c378..e0109777edd 100644 --- a/libstdc++-v3/testsuite/20_util/shared_ptr/cons/unique_ptr_deleter.cc +++ b/libstdc++-v3/testsuite/20_util/shared_ptr/cons/unique_ptr_deleter.cc @@ -34,7 +34,7 @@ int D::count = 0; // 20.7.12.2.1 shared_ptr constructors [util.smartptr.shared.const] // Construction from unique_ptr -int +void test01() { bool test __attribute__((unused)) = true; @@ -47,13 +47,25 @@ test01() VERIFY( sp.use_count() == 1 ); } VERIFY( D::count == 1 ); +} - return 0; +void +test02() +{ + bool test __attribute__((unused)) = true; + + D::count = 0; + std::unique_ptr up; + { + std::shared_ptr sp = std::move(up); + } + VERIFY( D::count == 0 ); // LWG 2415 } int main() { test01(); + test02(); return 0; } diff --git a/libstdc++-v3/testsuite/20_util/shared_ptr/cons/void_neg.cc b/libstdc++-v3/testsuite/20_util/shared_ptr/cons/void_neg.cc index 2afcd8bb7d7..3f6c4ae97fc 100644 --- a/libstdc++-v3/testsuite/20_util/shared_ptr/cons/void_neg.cc +++ b/libstdc++-v3/testsuite/20_util/shared_ptr/cons/void_neg.cc @@ -25,5 +25,5 @@ void test01() { std::shared_ptr p((void*)nullptr); // { dg-error "here" } - // { dg-error "incomplete" "" { target *-*-* } 885 } + // { dg-error "incomplete" "" { target *-*-* } 890 } } -- 2.30.2