annotate gcc/testsuite/objc.dg/try-catch-10.m @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Ensure that @try/@catch blocks do not mess with types of
kono
parents:
diff changeset
2 local objects (other than their volatile bits). */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 /* { dg-options "-fobjc-exceptions" } */
kono
parents:
diff changeset
5 /* { dg-do compile } */
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 #include "../objc-obj-c++-shared/TestsuiteObject.h"
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 @protocol Proto1
kono
parents:
diff changeset
10 - (int)meth1;
kono
parents:
diff changeset
11 @end
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 @protocol Proto2
kono
parents:
diff changeset
14 - (int)meth2;
kono
parents:
diff changeset
15 @end
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 @interface MyClass: TestsuiteObject <Proto2> {
kono
parents:
diff changeset
18 int a;
kono
parents:
diff changeset
19 }
kono
parents:
diff changeset
20 - (int)meth2;
kono
parents:
diff changeset
21 - (TestsuiteObject *)parm1: (id)p1 parm2: (id<Proto1>)p2;
kono
parents:
diff changeset
22 @end
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 MyClass *mc1, *mc2;
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 @implementation MyClass
kono
parents:
diff changeset
27 - (int)meth2 {
kono
parents:
diff changeset
28 return a;
kono
parents:
diff changeset
29 }
kono
parents:
diff changeset
30 - (TestsuiteObject *)parm1: (id)p1 parm2: (id<Proto1>)p2 {
kono
parents:
diff changeset
31 @try {
kono
parents:
diff changeset
32 mc2 = p2; /* { dg-warning "type .id <Proto1>. does not conform to the .Proto2. protocol" } */
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34 @catch (id exc) {
kono
parents:
diff changeset
35 return exc;
kono
parents:
diff changeset
36 }
kono
parents:
diff changeset
37 mc1 = p1; /* no warning here! */
kono
parents:
diff changeset
38 return self;
kono
parents:
diff changeset
39 }
kono
parents:
diff changeset
40 @end