xref: /llvm-project/libcxx/test/std/language.support/support.exception/propagation/exception_ptr.pass.cpp (revision 317e92a3e82f88f111e04132195d9daa6b97f1ab)
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 
95a83710eSEric Fiselier // <exception>
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // typedef unspecified exception_ptr;
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // exception_ptr shall satisfy the requirements of NullablePointer.
145a83710eSEric Fiselier 
155a83710eSEric Fiselier #include <exception>
165a83710eSEric Fiselier #include <cassert>
17*317e92a3SArthur O'Dwyer #include <type_traits>
185a83710eSEric Fiselier 
197fc6a556SMarshall Clow #include "test_macros.h"
207fc6a556SMarshall Clow 
main(int,char **)212df59c50SJF Bastien int main(int, char**)
225a83710eSEric Fiselier {
235a83710eSEric Fiselier     std::exception_ptr p;
245a83710eSEric Fiselier     assert(p == nullptr);
255a83710eSEric Fiselier     std::exception_ptr p2 = p;
265a83710eSEric Fiselier     assert(nullptr == p);
275a83710eSEric Fiselier     assert(!p);
285a83710eSEric Fiselier     assert(p2 == p);
295a83710eSEric Fiselier     p2 = p;
305a83710eSEric Fiselier     assert(p2 == p);
315a83710eSEric Fiselier     assert(p2 == nullptr);
325a83710eSEric Fiselier     std::exception_ptr p3 = nullptr;
335a83710eSEric Fiselier     assert(p3 == nullptr);
345a83710eSEric Fiselier     p3 = nullptr;
355a83710eSEric Fiselier     assert(p3 == nullptr);
362df59c50SJF Bastien 
372df59c50SJF Bastien     return 0;
385a83710eSEric Fiselier }
39