1// The line and column layout of this test is significant. Run lines
2// are at the end.
3typedef void (^block_t)(float f, double d);
4void f(int (^block)(int x, int y));
5void g(block_t b);
6
7void test_f() {
8
9}
10
11@interface A
12- method:(int (^)(int x, int y))b;
13- method2:(block_t)b;
14@end
15
16void test_A(A *a) {
17  [a method:0];
18}
19
20@interface B
21- method3:(int (^)(void))b;
22@end
23
24void test_B(B *b) {
25  [b method3:^int(void){ return 0; }];
26}
27
28@interface C
29- method4:(void(^)(void))arg;
30- method5:(void(^)())arg5;
31@end
32
33void test_C(C *c) {
34  [c method4:^{}];
35}
36
37@interface D
38- method6:(void(^)(block_t block))arg;
39@end
40
41void test_D(D *d) {
42  [d method6:0];
43}
44
45@interface I1
46- method7:(int (^_Nullable)(int x, int y))b;
47@end
48void f2(int (^_Nullable block)(int x, int y));
49void test_f2(I1 *o) {
50  [o method7:0];
51}
52
53// Crash regression test. Param info for broken function types isn't available.
54typedef UnresolvedType *(^XXX)(float);
55@interface Foo
56-(void) foo:(XXX)arg;
57@end
58void testUnresolved(Foo* f) {
59  [f foo:0];
60}
61
62// RUN: c-index-test -code-completion-at=%s:8:1 %s | FileCheck -check-prefix=CHECK-CC1 %s
63// CHECK-CC1: FunctionDecl:{ResultType void}{TypedText f}{LeftParen (}{Placeholder ^int(int x, int y)block}{RightParen )} (50)
64// CHECK-CC1: FunctionDecl:{ResultType void}{TypedText g}{LeftParen (}{Placeholder ^(float f, double d)b}{RightParen )} (50)
65// RUN: c-index-test -code-completion-at=%s:17:6 %s | FileCheck -check-prefix=CHECK-CC2 %s
66// CHECK-CC2: ObjCInstanceMethodDecl:{ResultType id}{TypedText method2:}{Placeholder ^(float f, double d)b} (35)
67// CHECK-CC2: ObjCInstanceMethodDecl:{ResultType id}{TypedText method:}{Placeholder ^int(int x, int y)b} (35)
68// RUN: c-index-test -code-completion-at=%s:25:6 %s | FileCheck -check-prefix=CHECK-CC3 %s
69// CHECK-CC3: ObjCInstanceMethodDecl:{ResultType id}{TypedText method3:}{Placeholder ^int(void)b} (35)
70// RUN: c-index-test -code-completion-at=%s:34:6 %s | FileCheck -check-prefix=CHECK-CC4 %s
71// CHECK-CC4: ObjCInstanceMethodDecl:{ResultType id}{TypedText method4:}{Placeholder ^(void)arg} (35)
72// CHECK-CC4: ObjCInstanceMethodDecl:{ResultType id}{TypedText method5:}{Placeholder ^(void)arg5} (35)
73// RUN: c-index-test -code-completion-at=%s:25:15 %s | FileCheck -check-prefix=CHECK-CC5 %s
74// CHECK-CC5: TypedefDecl:{TypedText block_t} (50)
75// CHECK-CC5: TypedefDecl:{TypedText Class} (50)
76// CHECK-CC5-NOT: test_A
77// CHECK-CC5: {TypedText union} (50)
78
79// RUN: c-index-test -code-completion-at=%s:42:6 %s | FileCheck -check-prefix=CHECK-CC6 %s
80// CHECK-CC6: ObjCInstanceMethodDecl:{ResultType id}{TypedText method6:}{Placeholder ^(block_t block)arg} (35)
81
82// RUN: c-index-test -code-completion-at=%s:50:1 %s | FileCheck -check-prefix=CHECK-CC7 %s
83// CHECK-CC7: FunctionDecl:{ResultType void}{TypedText f2}{LeftParen (}{Placeholder ^int(int x, int y)block}{RightParen )} (50)
84// RUN: c-index-test -code-completion-at=%s:50:6 %s | FileCheck -check-prefix=CHECK-CC8 %s
85// CHECK-CC8: ObjCInstanceMethodDecl:{ResultType id}{TypedText method7:}{Placeholder ^int(int x, int y)b} (35)
86
87// RUN: c-index-test -code-completion-at=%s:59:6 %s | FileCheck -check-prefix=CHECK-CC9 %s
88// CHECK-CC9: ObjCInstanceMethodDecl:{ResultType void}{TypedText foo:}{Placeholder ^int *(int)arg} (35)
89