blob: 28bf4b569b906302a95296de18cce23ad0a255aa [file] [log] [blame]
//===----------------- catch_member_data_pointer_01.cpp -------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
#include <cassert>
struct A
{
const int i;
int j;
};
typedef const int A::*md1;
typedef int A::*md2;
struct B : public A
{
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();
}