current_exception.pass.cpp [plain text]
#include <exception>
#include <cassert>
struct A
{
static int constructed;
A() {++constructed;}
~A() {--constructed;}
A(const A&) {++constructed;}
};
int A::constructed = 0;
int main()
{
{
std::exception_ptr p = std::current_exception();
assert(p == nullptr);
}
{
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
}
assert(A::constructed == 0);
}
assert(A::constructed == 0);
{
std::exception_ptr p2;
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
std::exception_ptr p = std::current_exception();
assert(A::constructed == 1);
assert(p != nullptr);
p2 = std::current_exception();
assert(A::constructed == 1);
assert(p == p2);
}
assert(A::constructed == 1);
}
assert(A::constructed == 0);
{
std::exception_ptr p2;
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (A& a)
{
std::exception_ptr p = std::current_exception();
assert(A::constructed == 1);
assert(p != nullptr);
p2 = std::current_exception();
assert(A::constructed == 1);
assert(p == p2);
}
assert(A::constructed == 1);
}
assert(A::constructed == 0);
{
std::exception_ptr p2;
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (A a)
{
std::exception_ptr p = std::current_exception();
assert(A::constructed == 2);
assert(p != nullptr);
p2 = std::current_exception();
assert(A::constructed == 2);
assert(p == p2);
}
assert(A::constructed == 1);
}
assert(A::constructed == 0);
{
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
try
{
assert(A::constructed == 1);
throw;
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
}
assert(A::constructed == 1);
}
assert(A::constructed == 0);
}
assert(A::constructed == 0);
{
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
try
{
std::exception_ptr p = std::current_exception();
assert(A::constructed == 1);
assert(p != nullptr);
throw;
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
}
assert(A::constructed == 1);
}
assert(A::constructed == 0);
}
assert(A::constructed == 0);
{
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
try
{
assert(A::constructed == 1);
throw;
assert(false);
}
catch (...)
{
std::exception_ptr p = std::current_exception();
assert(A::constructed == 1);
assert(p != nullptr);
}
assert(A::constructed == 1);
}
assert(A::constructed == 0);
}
assert(A::constructed == 0);
{
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
try
{
assert(A::constructed == 1);
throw;
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
}
std::exception_ptr p = std::current_exception();
assert(A::constructed == 1);
assert(p != nullptr);
}
assert(A::constructed == 0);
}
assert(A::constructed == 0);
{
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
try
{
assert(A::constructed == 1);
throw;
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
}
assert(A::constructed == 1);
}
std::exception_ptr p = std::current_exception();
assert(A::constructed == 0);
assert(p == nullptr);
}
assert(A::constructed == 0);
{
std::exception_ptr p;
try
{
assert(A::constructed == 0);
throw A();
assert(false);
}
catch (...)
{
assert(A::constructed == 1);
try
{
assert(A::constructed == 1);
throw;
assert(false);
}
catch (...)
{
p = std::current_exception();
assert(A::constructed == 1);
}
assert(A::constructed == 1);
}
assert(A::constructed == 1);
assert(p != nullptr);
}
assert(A::constructed == 0);
}