diff mbox

[libstdc++] Fix for std::uncaught_exception (PR 62258)

Message ID 5f7f8711e5f9f1cdbbd63a00f6d11a3766eb2765.1422844158.git.public@hansmi.ch
State New
Headers show

Commit Message

Michael Hanselmann Feb. 2, 2015, 2:37 a.m. UTC
Calls to `std::uncaught_exception` after calling
`std::rethrow_exception' always return `true' when
`std::uncaught_exception' should return `false' unless an exception is
in flight. `std::rethrow_exception' does not update
`__cxa_eh_globals::uncaughtExceptions' while the following call to
`__cxa_begin_catch' decrements it. This fixes PR 62258.

The original two-line patch was created by Dmitry Prokoptsev. Michael
Hanselmann implemented a testcase.

Signed-off-by: Michael Hanselmann <public@hansmi.ch>
---
 libstdc++-v3/libsupc++/eh_ptr.cc                   |  3 ++
 .../exception_ptr/62258-uncaught_exception.cc      | 63 ++++++++++++++++++++++
 2 files changed, 66 insertions(+)
 create mode 100644 libstdc++-v3/testsuite/18_support/exception_ptr/62258-uncaught_exception.cc

Comments

Jonathan Wakely Feb. 2, 2015, 11:03 a.m. UTC | #1
On 2 February 2015 at 02:37, Michael Hanselmann wrote:
> Calls to `std::uncaught_exception` after calling
> `std::rethrow_exception' always return `true' when
> `std::uncaught_exception' should return `false' unless an exception is
> in flight. `std::rethrow_exception' does not update
> `__cxa_eh_globals::uncaughtExceptions' while the following call to
> `__cxa_begin_catch' decrements it. This fixes PR 62258.

The patch looks correct, but I think it can wait until the trunk
reopens after the GCC 5 release.
Michael Hanselmann April 13, 2015, 12:13 p.m. UTC | #2
On 02.02.2015 12:03, Jonathan Wakely wrote:
> On 2 February 2015 at 02:37, Michael Hanselmann wrote:
>> Calls to `std::uncaught_exception` after calling
>> `std::rethrow_exception' always return `true' when
>> `std::uncaught_exception' should return `false' unless an exception is
>> in flight. `std::rethrow_exception' does not update
>> `__cxa_eh_globals::uncaughtExceptions' while the following call to
>> `__cxa_begin_catch' decrements it. This fixes PR 62258.
> 
> The patch looks correct, but I think it can wait until the trunk
> reopens after the GCC 5 release.

I presume that's the case now that the GCC 5 branch has been created.
Jonathan Wakely April 13, 2015, 12:28 p.m. UTC | #3
On 13 April 2015 at 13:13, Michael Hanselmann wrote:
> On 02.02.2015 12:03, Jonathan Wakely wrote:
>> On 2 February 2015 at 02:37, Michael Hanselmann wrote:
>>> Calls to `std::uncaught_exception` after calling
>>> `std::rethrow_exception' always return `true' when
>>> `std::uncaught_exception' should return `false' unless an exception is
>>> in flight. `std::rethrow_exception' does not update
>>> `__cxa_eh_globals::uncaughtExceptions' while the following call to
>>> `__cxa_begin_catch' decrements it. This fixes PR 62258.
>>
>> The patch looks correct, but I think it can wait until the trunk
>> reopens after the GCC 5 release.
>
> I presume that's the case now that the GCC 5 branch has been created.

Yes, thanks for the reminder. I plan to fix it some time this week.
diff mbox

Patch

diff --git a/libstdc++-v3/libsupc++/eh_ptr.cc b/libstdc++-v3/libsupc++/eh_ptr.cc
index 685c9e0..dae9246 100644
--- a/libstdc++-v3/libsupc++/eh_ptr.cc
+++ b/libstdc++-v3/libsupc++/eh_ptr.cc
@@ -245,6 +245,9 @@  std::rethrow_exception(std::exception_ptr ep)
   __GXX_INIT_DEPENDENT_EXCEPTION_CLASS(dep->unwindHeader.exception_class);
   dep->unwindHeader.exception_cleanup = __gxx_dependent_exception_cleanup;
 
+  __cxa_eh_globals *globals = __cxa_get_globals ();
+  globals->uncaughtExceptions += 1;
+
 #ifdef _GLIBCXX_SJLJ_EXCEPTIONS
   _Unwind_SjLj_RaiseException (&dep->unwindHeader);
 #else
diff --git a/libstdc++-v3/testsuite/18_support/exception_ptr/62258-uncaught_exception.cc b/libstdc++-v3/testsuite/18_support/exception_ptr/62258-uncaught_exception.cc
new file mode 100644
index 0000000..dbb431e
--- /dev/null
+++ b/libstdc++-v3/testsuite/18_support/exception_ptr/62258-uncaught_exception.cc
@@ -0,0 +1,63 @@ 
+// { dg-options "-std=gnu++11" }
+// { dg-require-atomic-builtins "" }
+
+// Copyright (C) 2015 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/>.
+
+// PR libstdc++/62258
+
+#include <exception>
+#include <testsuite_hooks.h>
+
+struct check_on_destruct
+{
+  ~check_on_destruct();
+};
+
+check_on_destruct::~check_on_destruct()
+{
+  VERIFY(std::uncaught_exception());
+}
+
+int main ()
+{
+  VERIFY(!std::uncaught_exception());
+
+  try
+    {
+      check_on_destruct check;
+
+      try
+        {
+          throw 1;
+        }
+      catch (...)
+        {
+          VERIFY(!std::uncaught_exception());
+
+          std::rethrow_exception(std::current_exception());
+        }
+    }
+  catch (...)
+    {
+      VERIFY(!std::uncaught_exception());
+    }
+
+  VERIFY(!std::uncaught_exception());
+
+  return 0;
+}