mirror of git://gcc.gnu.org/git/gcc.git
114 lines
2.6 KiB
Plaintext
114 lines
2.6 KiB
Plaintext
/* Contributed by Nicola Pero <nicola.pero@meta-innovation.com>, November 2010. */
|
|
/* { dg-options "-fobjc-exceptions" } */
|
|
/* { dg-do compile } */
|
|
|
|
/* Test that the compiler is checking the argument of @catch(), and
|
|
produce errors when invalid types are used. */
|
|
|
|
#include <objc/objc.h>
|
|
|
|
@interface MyObject
|
|
{
|
|
Class isa;
|
|
} /* { dg-line interface_MyObject } */
|
|
@end
|
|
|
|
@implementation MyObject
|
|
@end
|
|
|
|
@protocol MyProtocol;
|
|
|
|
typedef MyObject MyObjectTypedef;
|
|
typedef MyObject *MyObjectPtrTypedef;
|
|
typedef int intTypedef;
|
|
|
|
int test (id object)
|
|
{
|
|
int dummy = 0;
|
|
|
|
@try { @throw object; }
|
|
@catch (int x) /* { dg-error "@catch parameter is not a known Objective-C class type" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (intTypedef x) /* { dg-error "@catch parameter is not a known Objective-C class type" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (int *x) /* { dg-error "@catch parameter is not a known Objective-C class type" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (id x) /* Ok */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (id <MyProtocol> x) /* { dg-error "@catch parameter cannot be protocol-qualified" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (MyObject *x) /* Ok */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (MyObject <MyProtocol> *x) /* { dg-error "@catch parameter cannot be protocol-qualified" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (MyObject x) /* { dg-error "@catch parameter is not a known Objective-C class type" } */
|
|
{ /* { dg-error "no matching function" "" { target *-*-* } .-1 } */
|
|
dummy++; /* { dg-message "MyObject" "" { target *-*-* } interface_MyObject } */
|
|
} /* { dg-message "candidate" "" { target *-*-* } interface_MyObject } */
|
|
@try { @throw object; }
|
|
@catch (static MyObject *x) /* { dg-error "storage class" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (MyObjectTypedef *x) /* Ok */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (MyObjectTypedef <MyProtocol> *x) /* { dg-error "@catch parameter cannot be protocol-qualified" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (MyObjectPtrTypedef x) /* Ok */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (Class x) /* { dg-error "@catch parameter is not a known Objective-C class type" } */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
@try { @throw object; }
|
|
@catch (...) /* Ok */
|
|
{
|
|
dummy++;
|
|
}
|
|
|
|
return dummy;
|
|
}
|