aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/obj-c++.dg/try-catch-11.mm
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/testsuite/obj-c++.dg/try-catch-11.mm')
-rw-r--r--gcc-4.9/gcc/testsuite/obj-c++.dg/try-catch-11.mm40
1 files changed, 40 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/obj-c++.dg/try-catch-11.mm b/gcc-4.9/gcc/testsuite/obj-c++.dg/try-catch-11.mm
new file mode 100644
index 000000000..320185fe0
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/obj-c++.dg/try-catch-11.mm
@@ -0,0 +1,40 @@
+/* Ensure that @try/@catch blocks do not mess with types of
+ local objects (other than their volatile bits). */
+
+/* { dg-options "-fobjc-exceptions" } */
+/* { dg-do compile } */
+
+#include "../objc-obj-c++-shared/TestsuiteObject.h"
+
+@protocol Proto1
+- (int)meth1;
+@end
+
+@protocol Proto2
+- (int)meth2;
+@end
+
+@interface MyClass: TestsuiteObject <Proto2> {
+ int a;
+}
+- (int)meth2;
+- (TestsuiteObject *)parm1: (id)p1 parm2: (id<Proto1>)p2;
+@end
+
+MyClass *mc1, *mc2;
+
+@implementation MyClass
+- (int)meth2 {
+ return a;
+}
+- (TestsuiteObject *)parm1: (id)p1 parm2: (id<Proto1>)p2 {
+ @try {
+ mc2 = p2; /* { dg-warning "type .id <Proto1>. does not conform to the .Proto2. protocol" } */
+ }
+ @catch (id exc) {
+ return exc;
+ }
+ mc1 = p1; /* no warning here! */
+ return self;
+}
+@end