llvm-project/libcxxabi/test/catch_member_data_pointer_0...

175 lines
2.5 KiB
C++
Raw Normal View History

//===----------------- catch_member_data_pointer_01.cpp -------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: libcxxabi-no-exceptions
#include <cassert>
struct A
{
A() : i(0), j(0) {} // explicitly initialize 'i' to prevent warnings
const int i;
int j;
};
typedef const int A::*md1;
typedef int A::*md2;
struct B : public A
{
B() : k(0), l(0) {} // explicitly initialize 'k' to prevent warnings.
const int k;
int l;
};
typedef const int B::*der1;
typedef int B::*der2;
void test1()
{
try
{
throw &A::i;
assert(false);
}
catch (md2)
{
assert(false);
}
catch (md1)
{
}
}
// Check that cv qualified conversions are allowed.
void test2()
{
try
{
throw &A::j;
}
catch (md2)
{
}
catch (...)
{
assert(false);
}
try
{
throw &A::j;
assert(false);
}
catch (md1)
{
}
catch (...)
{
assert(false);
}
}
// Check that Base -> Derived conversions are NOT allowed.
void test3()
{
try
{
throw &A::i;
assert(false);
}
catch (md2)
{
assert(false);
}
catch (der2)
{
assert(false);
}
catch (der1)
{
assert(false);
}
catch (md1)
{
}
}
// Check that Base -> Derived conversions NOT are allowed with different cv
// qualifiers.
void test4()
{
try
{
throw &A::j;
assert(false);
}
catch (der2)
{
assert(false);
}
catch (der1)
{
assert(false);
}
catch (md2)
{
}
catch (...)
{
assert(false);
}
}
// Check that no Derived -> Base conversions are allowed.
void test5()
{
try
{
throw &B::k;
assert(false);
}
catch (md1)
{
assert(false);
}
catch (md2)
{
assert(false);
}
catch (der1)
{
}
try
{
throw &B::l;
assert(false);
}
catch (md1)
{
assert(false);
}
catch (md2)
{
assert(false);
}
catch (der2)
{
}
}
int main()
{
test1();
test2();
test3();
test4();
test5();
}