15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
9*8c61114cSLouis Dionne // UNSUPPORTED: no-exceptions
105a83710eSEric Fiselier // <exception>
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // class nested_exception;
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // void rethrow_nested [[noreturn]] () const;
155a83710eSEric Fiselier 
165a83710eSEric Fiselier #include <exception>
175a83710eSEric Fiselier #include <cstdlib>
185a83710eSEric Fiselier #include <cassert>
195a83710eSEric Fiselier 
207fc6a556SMarshall Clow #include "test_macros.h"
217fc6a556SMarshall Clow 
225a83710eSEric Fiselier class A
235a83710eSEric Fiselier {
245a83710eSEric Fiselier     int data_;
255a83710eSEric Fiselier public:
A(int data)265a83710eSEric Fiselier     explicit A(int data) : data_(data) {}
275a83710eSEric Fiselier 
operator ==(const A & x,const A & y)285a83710eSEric Fiselier     friend bool operator==(const A& x, const A& y) {return x.data_ == y.data_;}
295a83710eSEric Fiselier };
305a83710eSEric Fiselier 
go_quietly()315a83710eSEric Fiselier void go_quietly()
325a83710eSEric Fiselier {
335a83710eSEric Fiselier     std::exit(0);
345a83710eSEric Fiselier }
355a83710eSEric Fiselier 
main(int,char **)362df59c50SJF Bastien int main(int, char**)
375a83710eSEric Fiselier {
385a83710eSEric Fiselier     {
395a83710eSEric Fiselier         try
405a83710eSEric Fiselier         {
415a83710eSEric Fiselier             throw A(2);
425a83710eSEric Fiselier             assert(false);
435a83710eSEric Fiselier         }
445a83710eSEric Fiselier         catch (const A&)
455a83710eSEric Fiselier         {
465a83710eSEric Fiselier             const std::nested_exception e;
475a83710eSEric Fiselier             assert(e.nested_ptr() != nullptr);
485a83710eSEric Fiselier             try
495a83710eSEric Fiselier             {
505a83710eSEric Fiselier                 e.rethrow_nested();
515a83710eSEric Fiselier                 assert(false);
525a83710eSEric Fiselier             }
535a83710eSEric Fiselier             catch (const A& a)
545a83710eSEric Fiselier             {
555a83710eSEric Fiselier                 assert(a == A(2));
565a83710eSEric Fiselier             }
575a83710eSEric Fiselier         }
585a83710eSEric Fiselier     }
595a83710eSEric Fiselier     {
605a83710eSEric Fiselier         try
615a83710eSEric Fiselier         {
625a83710eSEric Fiselier             std::set_terminate(go_quietly);
635a83710eSEric Fiselier             const std::nested_exception e;
645a83710eSEric Fiselier             e.rethrow_nested();
655a83710eSEric Fiselier             assert(false);
665a83710eSEric Fiselier         }
675a83710eSEric Fiselier         catch (...)
685a83710eSEric Fiselier         {
695a83710eSEric Fiselier             assert(false);
705a83710eSEric Fiselier         }
715a83710eSEric Fiselier     }
722df59c50SJF Bastien 
732df59c50SJF Bastien   return 0;
745a83710eSEric Fiselier }
75