blob: 1da1b47984a38274deada341532f3d7f632e9ab2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/* Ensure that @try/@catch blocks do not mess with types of
local objects (other than their volatile bits). */
/* { dg-options "-fobjc-exceptions -fnext-runtime" } */
/* { dg-do compile } */
#include <objc/Object.h>
@protocol Proto1
- (int)meth1;
@end
@protocol Proto2
- (int)meth2;
@end
@interface MyClass: Object <Proto2> {
int a;
}
- (int)meth2;
- (Object *)parm1: (id)p1 parm2: (id<Proto1>)p2;
@end
MyClass *mc1, *mc2;
@implementation MyClass
- (int)meth2 {
return a;
}
- (Object *)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
|
