re PR libstdc++/40296 ([C++0x] std::exception_ptr comparisons)

2009-06-03  Paolo Carlini  <paolo.carlini@oracle.com>

	PR libstdc++/40296
	* libsupc++/exception_ptr.h (exception_ptr::operator!,
	exception_ptr::operator __safe_bool): Only declare when
	_GLIBCXX_EH_PTR_COMPAT is undefined.
	* libsupc++/eh_ptr.cc: Define _GLIBCXX_EH_PTR_COMPAT before including
	exception_ptr.
	* testsuite/18_support/exception_ptr/40296.cc: New.
	* testsuite/18_support/nested_exception/throw_with_nested.cc: Adjust.
	* testsuite/18_support/nested_exception/cons.cc: Likewise.
	* testsuite/18_support/nested_exception/nested_ptr.cc: Likewise.
	* testsuite/18_support/exception_ptr/current_exception.cc: Likewise.

From-SVN: r148122

libstdc++-v3/libsupc++/eh_ptr.cc

@@ -26,6 +26,8 @@
 
 #ifdef _GLIBCXX_ATOMIC_BUILTINS_4
 
+#define _GLIBCXX_EH_PTR_COMPAT
+
 #include <exception>
 #include <exception_ptr.h>
 #include "unwind-cxx.h"
@@ -127,6 +129,7 @@ std::__exception_ptr::exception_ptr::swap(exception_ptr &other) throw()
 }
 
 
+// Retained for compatibility with CXXABI_1.3.
 bool
 std::__exception_ptr::exception_ptr::operator!() const throw()
 {
@@ -134,6 +137,7 @@ std::__exception_ptr::exception_ptr::operator!() const throw()
 }
 
 
+// Retained for compatibility with CXXABI_1.3.
 std::__exception_ptr::exception_ptr::operator __safe_bool() const throw()
 {
   return _M_exception_object ? &exception_ptr::_M_safe_bool_dummy : 0;
@@ -235,4 +239,6 @@ std::rethrow_exception(std::exception_ptr ep)
   std::terminate ();
 }
 
+#undef _GLIBCXX_EH_PTR_COMPAT
+
 #endif

libstdc++-v3/libsupc++/exception_ptr.h

@@ -77,10 +77,12 @@ namespace std
   namespace __exception_ptr
   {
     bool 
-    operator==(const exception_ptr&, const exception_ptr&) throw() __attribute__ ((__pure__));
+    operator==(const exception_ptr&, const exception_ptr&)
+      throw() __attribute__ ((__pure__));
 
     bool 
-    operator!=(const exception_ptr&, const exception_ptr&) throw() __attribute__ ((__pure__));
+    operator!=(const exception_ptr&, const exception_ptr&)
+      throw() __attribute__ ((__pure__));
 
     class exception_ptr
     {
@@ -141,11 +143,15 @@ namespace std
       }
 #endif
 
+#ifdef _GLIBCXX_EH_PTR_COMPAT
+      // Retained for compatibility with CXXABI_1.3.
       bool operator!() const throw() __attribute__ ((__pure__));
       operator __safe_bool() const throw();
+#endif
 
       friend bool 
-      operator==(const exception_ptr&, const exception_ptr&) throw() __attribute__ ((__pure__));
+      operator==(const exception_ptr&, const exception_ptr&)
+	throw() __attribute__ ((__pure__));
 
       const type_info*
       __cxa_exception_type() const throw() __attribute__ ((__pure__));

libstdc++-v3/testsuite/18_support/exception_ptr/40296.cc

@@ -0,0 +1,30 @@
+// { dg-do compile }
+// { dg-options "-std=gnu++0x" }
+// { dg-require-atomic-builtins "" }
+
+// Copyright (C) 2009 Free Software Foundation, Inc.
+//
+// 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 <exception>
+
+// libstdc++/40296
+bool test01()
+{
+  std::exception_ptr p;
+
+  return (p == 0);
+}

libstdc++-v3/testsuite/18_support/exception_ptr/current_exception.cc

@@ -31,7 +31,7 @@ void test01()
   using namespace std;
 
   exception_ptr ep = current_exception();
-  VERIFY( !ep );
+  VERIFY( ep == 0 );
 }
 
 void test02()
@@ -43,7 +43,7 @@ void test02()
     throw 0;
   } catch(...) {
     exception_ptr ep = current_exception();
-    VERIFY( ep );
+    VERIFY( ep != 0 );
   }
 }
 
@@ -56,7 +56,7 @@ void test03()
     throw exception();
   } catch(std::exception&) {
     exception_ptr ep = current_exception();
-    VERIFY( ep );
+    VERIFY( ep != 0 );
   }
 }
 

libstdc++-v3/testsuite/18_support/nested_exception/cons.cc

@@ -27,7 +27,7 @@ void test01()
 
   std::nested_exception e;
 
-  VERIFY( !e.nested_ptr() );
+  VERIFY( e.nested_ptr() == 0 );
 }
 
 void test02() 

libstdc++-v3/testsuite/18_support/nested_exception/nested_ptr.cc

@@ -31,7 +31,7 @@ void test01()
   }
   catch (const std::nested_exception& e)
   {
-    VERIFY( !e.nested_ptr() );
+    VERIFY( e.nested_ptr() == 0 );
   }
 }
 

libstdc++-v3/testsuite/18_support/nested_exception/throw_with_nested.cc

@@ -35,7 +35,7 @@ void test01()
   }
   catch (const std::nested_exception& e)
   {
-    VERIFY( !e.nested_ptr() );
+    VERIFY( e.nested_ptr() == 0 );
     try
     {
       throw;
@@ -58,7 +58,7 @@ void test02()
   }
   catch (const std::nested_exception& e)
   {
-    VERIFY( !e.nested_ptr() );
+    VERIFY( e.nested_ptr() == 0 );
     try
     {
       throw;