diff --git a/libstdc++-v3/include/bits/unique_ptr.h b/libstdc++-v3/include/bits/unique_ptr.h index 746989dfe47..6ae46a93800 100644 --- a/libstdc++-v3/include/bits/unique_ptr.h +++ b/libstdc++-v3/include/bits/unique_ptr.h @@ -445,6 +445,14 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION typename add_lvalue_reference::type operator*() const noexcept(noexcept(*std::declval())) { +#if _GLIBCXX_USE_BUILTIN_TRAIT(__reference_converts_from_temporary) + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 4148. unique_ptr::operator* should not allow dangling references + using _ResT = typename add_lvalue_reference::type; + using _DerefT = decltype(*get()); + static_assert(!__reference_converts_from_temporary(_ResT, _DerefT), + "operator* must not return a dangling reference"); +#endif __glibcxx_assert(get() != pointer()); return *get(); } diff --git a/libstdc++-v3/testsuite/20_util/unique_ptr/lwg4148.cc b/libstdc++-v3/testsuite/20_util/unique_ptr/lwg4148.cc new file mode 100644 index 00000000000..c70d7a60631 --- /dev/null +++ b/libstdc++-v3/testsuite/20_util/unique_ptr/lwg4148.cc @@ -0,0 +1,31 @@ +// { dg-do compile { target c++11 } } + +// LWG 4148. unique_ptr::operator* should not allow dangling references + +#include + +struct pointer +{ + pointer() { } + pointer(std::nullptr_t) { } + int operator*() const { return 0; } + bool operator==(pointer) const { return true; } + bool operator==(std::nullptr_t) const { return false; } +#ifndef __cpp_lib_three_way_comparison + bool operator!=(pointer) const { return false; } + bool operator!=(std::nullptr_t) const { return true; } +#endif +}; + +struct Deleter +{ + using pointer = ::pointer; + void operator()(pointer) const { } +}; + +std::unique_ptr up; +int i = *up; // { dg-error "here" } +// { dg-error "dangling reference" "" { target *-*-* } 0 } + +// { dg-warning "returning reference to temporary" "" { target c++23_down } 0 } +// { dg-error "returning reference to temporary" "" { target c++26 } 0 }