Re: [committed] libstdc++: Implement LWG 2762 for std::unique_ptr::operator*

2021-06-28 Thread Jonathan Wakely via Gcc-patches
On Thu, 24 Jun 2021 at 22:11, Tim Song wrote: > > That example violates http://eel.is/c++draft/unique.ptr.runtime.general#3 Even though it's undefined I committed a workaround to allow it, because it breaks LLVM: https://gcc.gnu.org/pipermail/libstdc++/2021-June/052851.html (I forgot to send that

Re: [committed] libstdc++: Implement LWG 2762 for std::unique_ptr::operator*

2021-06-24 Thread Tim Song via Gcc-patches
That example violates http://eel.is/c++draft/unique.ptr.runtime.general#3 On Thu, Jun 24, 2021 at 1:55 PM Patrick Palka via Gcc-patches wrote: > > On Thu, 24 Jun 2021, Jonathan Wakely via Libstdc++ wrote: > > > The LWG issue proposes to add a conditional noexcept-specifier to > > std::unique_p

Re: [committed] libstdc++: Implement LWG 2762 for std::unique_ptr::operator*

2021-06-24 Thread Jonathan Wakely via Gcc-patches
On Thu, 24 Jun 2021 at 19:54, Patrick Palka wrote: > > On Thu, 24 Jun 2021, Jonathan Wakely via Libstdc++ wrote: > > > The LWG issue proposes to add a conditional noexcept-specifier to > > std::unique_ptr's dereference operator. The issue is currently in > > Tentatively Ready status, but even if i

Re: [committed] libstdc++: Implement LWG 2762 for std::unique_ptr::operator*

2021-06-24 Thread Patrick Palka via Gcc-patches
On Thu, 24 Jun 2021, Jonathan Wakely via Libstdc++ wrote: > The LWG issue proposes to add a conditional noexcept-specifier to > std::unique_ptr's dereference operator. The issue is currently in > Tentatively Ready status, but even if it isn't voted into the draft, we > can do it as a conforming ex

[committed] libstdc++: Implement LWG 2762 for std::unique_ptr::operator*

2021-06-24 Thread Jonathan Wakely via Gcc-patches
The LWG issue proposes to add a conditional noexcept-specifier to std::unique_ptr's dereference operator. The issue is currently in Tentatively Ready status, but even if it isn't voted into the draft, we can do it as a conforming extensions. This commit also adds a similar noexcept-specifier to ope