1// Copyright (C) 2014-2015 Free Software Foundation, Inc.
2//
3// This file is part of the GNU ISO C++ Library.  This library is free
4// software; you can redistribute it and/or modify it under the
5// terms of the GNU General Public License as published by the
6// Free Software Foundation; either version 3, or (at your option)
7// any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License along
15// with this library; see the file COPYING3.  If not see
16// <http://www.gnu.org/licenses/>.
17
18#include <exception>
19#include <cstdlib>
20
21class expected {};
22class unexpected {};
23class from_handler {};
24
25static void func_with_exception_spec() throw(expected)
26{
27  throw unexpected();
28}
29
30static void unexpected_handler()
31{
32  throw from_handler();
33}
34
35static void terminate_handler()
36{
37  exit(0);
38}
39
40// libstdc++/59392
41int main()
42{
43  std::set_unexpected(unexpected_handler);
44  std::set_terminate(terminate_handler);
45  try {
46    func_with_exception_spec();
47  } catch (expected&) {
48    abort();
49  }
50  abort();
51}
52