Tighten up blocks type checking.  This was discussed back in the
r56595 timeframe, but left undone.  Radar 6812711


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@69745 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Sema/block-misc.c b/test/Sema/block-misc.c
index bef2662..dbcc253 100644
--- a/test/Sema/block-misc.c
+++ b/test/Sema/block-misc.c
@@ -112,13 +112,16 @@
     ^{ break; }();     // expected-error {{'break' statement not in loop or switch statement}}
 }
 
+enum { LESS };
+
+void foo(long (^comp)()) {
+}
 
 void (^test12f)(void);
 void test12() {
-  test12f = ^test12f;	// expected-error {{type name requires a specifier or qualifier}} expected-error {{expected expression}}
+  foo(^{ return LESS; });	// expected-error {{incompatible block pointer types passing 'int (^)(void)', expected 'long (^)()'}}
 }
 
-
 // rdar://6808730
 void *test13 = ^{
   int X = 32;
@@ -138,3 +141,8 @@
     };
   };
 }
+
+void (^test90f)(void);
+void test90() {
+  test90f = ^test90f;	// expected-error {{type name requires a specifier or qualifier}} expected-error {{expected expression}}
+}