diff options
Diffstat (limited to 'test/SemaObjCXX/blocks.mm')
-rw-r--r-- | test/SemaObjCXX/blocks.mm | 72 |
1 files changed, 70 insertions, 2 deletions
diff --git a/test/SemaObjCXX/blocks.mm b/test/SemaObjCXX/blocks.mm index fd0df4e..6c2343d 100644 --- a/test/SemaObjCXX/blocks.mm +++ b/test/SemaObjCXX/blocks.mm @@ -3,12 +3,12 @@ void bar(id(^)(void)); void foo(id <NSObject>(^objectCreationBlock)(void)) { - return bar(objectCreationBlock); // expected-warning{{incompatible pointer types converting 'id<NSObject> (^)()' to type 'id (^)()'}} + return bar(objectCreationBlock); // OK } void bar2(id(*)(void)); void foo2(id <NSObject>(*objectCreationBlock)(void)) { - return bar2(objectCreationBlock); // expected-warning{{incompatible pointer types converting 'id<NSObject> (*)()' to type 'id (*)()'}} + return bar2(objectCreationBlock); // expected-warning{{incompatible pointer types passing 'id<NSObject> (*)()' to parameter of type 'id (*)()'}} } void bar3(id(*)()); // expected-note{{candidate function}} @@ -50,3 +50,71 @@ void foo6(void *block) { void (^vb)(id obj, int idx, BOOL *stop) = (void (^)(id, int, BOOL *))block; BOOL (^bb)(id obj, int idx, BOOL *stop) = (BOOL (^)(id, int, BOOL *))block; } + +// <rdar://problem/8600419>: Require that the types of block +// parameters are complete. +namespace N1 { + template<class _T> class ptr; // expected-note{{template is declared here}} + + template<class _T> + class foo { + public: + void bar(void (^)(ptr<_T>)); + }; + + class X; + + void test2(); + + void test() + { + foo<X> f; + f.bar(^(ptr<X> _f) { // expected-error{{implicit instantiation of undefined template 'N1::ptr<N1::X>'}} + test2(); + }); + } +} + +// Make sure we successfully instantiate the copy constructor of a +// __block variable's type. +namespace N2 { + template <int n> struct A { + A() {} + A(const A &other) { + int invalid[-n]; // expected-error 2 {{array with a negative size}} + } + }; + + void test1() { + __block A<1> x; // expected-note {{requested here}} + } + + template <int n> void test2() { + __block A<n> x; // expected-note {{requested here}} + } + template void test2<2>(); +} + +// Handle value-dependent block declaration references. +namespace N3 { + template<int N> struct X { }; + + template<int N> + void f() { + X<N> xN = ^() { return X<N>(); }(); + } +} + +// rdar://8979379 + +@interface A +@end + +@interface B : A +@end + +void f(int (^bl)(A* a)); // expected-note {{candidate function not viable: no known conversion from 'int (^)(B *)' to 'int (^)(A *)' for 1st argument}} + +void g() { + f(^(B* b) { return 0; }); // expected-error {{no matching function for call to 'f'}} +} |