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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
struct SB {
virtual void meth();
};
struct SS : public SB {
void submeth() {
this->meth();
SB::meth();
}
};
@interface IB
-(void)meth;
+(void)ClsMeth;
@end
@interface IS : IB
-(void)submeth;
+(void)ClsMeth;
@end
@implementation IS
-(void)submeth {
[self meth];
[super meth];
}
+(void)ClsMeth {
[super ClsMeth];
}
@end
void foo(SS *ss, IS* is, Class cls) {
ss->meth();
[is meth];
[IB ClsMeth];
[cls ClsMeth];
}
@interface NSObject
+(id)alloc;
-(id)init;
@end
@interface Test : NSObject
@end
void test2() {
id o = [[Test alloc] init];
}
// RUN: c-index-test -cursor-at=%s:8:11 \
// RUN: -cursor-at=%s:9:11 \
// RUN: -cursor-at=%s:25:11 \
// RUN: -cursor-at=%s:26:11 \
// RUN: -cursor-at=%s:29:11 \
// RUN: -cursor-at=%s:34:9 \
// RUN: -cursor-at=%s:35:9 \
// RUN: -cursor-at=%s:36:9 \
// RUN: -cursor-at=%s:37:9 \
// RUN: -cursor-at=%s:49:26 \
// RUN: %s | FileCheck %s
// CHECK: 8:11 MemberRefExpr=meth:3:16 {{.*}} Dynamic-call
// CHECK-NOT: 9:9 {{.*}} Dynamic-call
// CHECK: 25:3 ObjCMessageExpr=meth:14:8 {{.*}} Dynamic-call Receiver-type=ObjCObjectPointer
// CHECK-NOT: 26:3 {{.*}} Dynamic-call
// CHECK-NOT: 29:3 {{.*}} Dynamic-call
// CHECK: 29:3 {{.*}} Receiver-type=ObjCInterface
// CHECK: 34:7 MemberRefExpr=meth:3:16 {{.*}} Dynamic-call
// CHECK: 35:3 ObjCMessageExpr=meth:14:8 {{.*}} Dynamic-call Receiver-type=ObjCObjectPointer
// CHECK-NOT: 36:3 {{.*}} Dynamic-call
// CHECK: 36:3 {{.*}} Receiver-type=ObjCInterface
// CHECK: 37:3 ObjCMessageExpr=ClsMeth:15:8 {{.*}} Dynamic-call Receiver-type=ObjCClass
// CHECK-NOT: 49:10 {{.*}} Dynamic-call
|
