Re: [v3] Add std::is_nothrow_destructible, implement LWG 2049

[Paolo Carlini]

On 04/23/2012 11:36 PM, Paolo Carlini wrote:
Hi,
this work from Daniel implements the missing 
std::is_nothrow_destructible trait and implements LWG 2049. Tested 
x86_64-linux, committed to mainline.
Oops. These improvements leads to tidier diagnostics for noexcept15.C 
and I have to adjust it a bit to avoid a spurious regression in the C++ 
testsuite.

Thanks,
Paolo.

//////////////////////////
2012-04-23  Paolo Carlini  <paolo.carl...@oracle.com>

        * g++.dg/cpp0x/noexcept15.C: Adjust for Rev 186726 library changes.
Index: g++.dg/cpp0x/noexcept15.C
===================================================================
--- g++.dg/cpp0x/noexcept15.C   (revision 186728)
+++ g++.dg/cpp0x/noexcept15.C   (working copy)
@@ -11,7 +11,7 @@ template<class Tp>
     constexpr single(const Tp& e)
     : elem(e) { }   // { dg-error "invalid field" }
 
-    single(single&& s) // { dg-error "not a member" }
+    single(single&& s)
     noexcept(std::is_nothrow_move_constructible<Tp>::value) 
     : elem(s.elem) { } // { dg-error "invalid field|no member" }
   };