Fix DealII type problems.
[official-gcc/Ramakrishna.git] / libstdc++-v3 / libsupc++ / vterminate.cc
blob099ef1807730bb2c7d55c110f1df26dc29f2cb42
1 // Verbose terminate_handler -*- C++ -*-
3 // Copyright (C) 2001, 2002, 2004, 2005, 2009 Free Software Foundation
4 //
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
25 #include <bits/c++config.h>
27 #if _GLIBCXX_HOSTED
28 #include <cstdlib>
29 #include <exception>
30 #include <exception_defines.h>
31 #include <cxxabi.h>
32 # include <cstdio>
34 using namespace std;
35 using namespace abi;
37 _GLIBCXX_BEGIN_NAMESPACE(__gnu_cxx)
39 // A replacement for the standard terminate_handler which prints
40 // more information about the terminating exception (if any) on
41 // stderr.
42 void __verbose_terminate_handler()
44 static bool terminating;
45 if (terminating)
47 fputs("terminate called recursively\n", stderr);
48 abort ();
50 terminating = true;
52 // Make sure there was an exception; terminate is also called for an
53 // attempt to rethrow when there is no suitable exception.
54 type_info *t = __cxa_current_exception_type();
55 if (t)
57 // Note that "name" is the mangled name.
58 char const *name = t->name();
60 int status = -1;
61 char *dem = 0;
63 dem = __cxa_demangle(name, 0, 0, &status);
65 fputs("terminate called after throwing an instance of '", stderr);
66 if (status == 0)
67 fputs(dem, stderr);
68 else
69 fputs(name, stderr);
70 fputs("'\n", stderr);
72 if (status == 0)
73 free(dem);
76 // If the exception is derived from std::exception, we can
77 // give more information.
78 __try { __throw_exception_again; }
79 #ifdef __EXCEPTIONS
80 __catch(const exception& exc)
82 char const *w = exc.what();
83 fputs(" what(): ", stderr);
84 fputs(w, stderr);
85 fputs("\n", stderr);
87 #endif
88 __catch(...) { }
90 else
91 fputs("terminate called without an active exception\n", stderr);
93 abort();
96 _GLIBCXX_END_NAMESPACE
98 #endif