2012-02-02 04:53:21 +08:00
|
|
|
//===--------------- catch_member_function_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.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2016-01-20 12:06:46 +08:00
|
|
|
// GCC incorrectly allows PMF type "void (T::*)()" to be caught as "void (T::*)() const"
|
|
|
|
// See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69375
|
|
|
|
// XFAIL: gcc
|
2012-02-02 04:53:21 +08:00
|
|
|
#include <cassert>
|
|
|
|
|
|
|
|
struct A
|
|
|
|
{
|
|
|
|
void foo() {}
|
|
|
|
void bar() const {}
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef void (A::*mf1)();
|
|
|
|
typedef void (A::*mf2)() const;
|
|
|
|
|
2015-04-07 07:03:01 +08:00
|
|
|
struct B : public A
|
|
|
|
{
|
|
|
|
};
|
|
|
|
|
|
|
|
typedef void (B::*dmf1)();
|
|
|
|
typedef void (B::*dmf2)() const;
|
|
|
|
|
|
|
|
template <class Tp>
|
|
|
|
bool can_convert(Tp) { return true; }
|
|
|
|
|
|
|
|
template <class>
|
|
|
|
bool can_convert(...) { return false; }
|
|
|
|
|
|
|
|
|
2012-02-02 04:53:21 +08:00
|
|
|
void test1()
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw &A::foo;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf2)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf1)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void test2()
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw &A::bar;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf1)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf2)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-04-07 07:03:01 +08:00
|
|
|
|
|
|
|
|
|
|
|
void test_derived()
|
|
|
|
{
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw (mf1)0;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (dmf2)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (dmf1)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf1)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw (mf2)0;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (dmf1)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (dmf2)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf2)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(!can_convert<mf1>((dmf1)0));
|
|
|
|
assert(!can_convert<mf2>((dmf1)0));
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw (dmf1)0;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf2)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf1)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
assert(!can_convert<mf1>((dmf2)0));
|
|
|
|
assert(!can_convert<mf2>((dmf2)0));
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw (dmf2)0;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf2)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (mf1)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (...)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void test_void()
|
|
|
|
{
|
|
|
|
assert(!can_convert<void*>(&A::foo));
|
|
|
|
try
|
|
|
|
{
|
|
|
|
throw &A::foo;
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch (void*)
|
|
|
|
{
|
|
|
|
assert(false);
|
|
|
|
}
|
|
|
|
catch(...)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2012-02-02 04:53:21 +08:00
|
|
|
int main()
|
|
|
|
{
|
|
|
|
test1();
|
|
|
|
test2();
|
2015-04-07 07:03:01 +08:00
|
|
|
test_derived();
|
|
|
|
test_void();
|
2012-02-02 04:53:21 +08:00
|
|
|
}
|