1 files changed, 124 insertions, 0 deletions
diff --git a/test/Sema/block-literal.c b/test/Sema/block-literal.c
new file mode 100644
index 0000000..19d476f
--- /dev/null
+++ b/test/Sema/block-literal.c
@@ -0,0 +1,124 @@
+// RUN: clang-cc -fsyntax-only %s -verify -fblocks
+
+void I( void (^)(void));
+void (^noop)(void);
+
+void nothing();
+int printf(const char*, ...);
+
+typedef void (^T) (void);
+
+void takeclosure(T);
+int takeintint(int (^C)(int)) { return C(4); }
+
+T somefunction() {
+	if (^{ })
+	  nothing();
+
+	noop = ^{};
+
+	noop = ^{printf("\nClosure\n"); };
+
+	I(^{ });
+
+	return ^{printf("\nClosure\n"); };
+}
+void test2() {
+	int x = 4;
+
+	takeclosure(^{ printf("%d\n", x); });
+
+  while (1) {
+	  takeclosure(^{ 
+      break;  // expected-error {{'break' statement not in loop or switch statement}}
+	    continue; // expected-error {{'continue' statement not in loop statement}}
+	    while(1) break;  // ok
+      goto foo; // expected-error {{goto not allowed}}
+    });
+    break;
+	}
+
+foo:
+	takeclosure(^{ x = 4; });  // expected-error {{variable is not assignable (missing __block type specifier)}}
+  __block y = 7;    // expected-warning {{type specifier missing, defaults to 'int'}}
+  takeclosure(^{ y = 8; });
+}
+
+
+void (^test3())(void) { 
+  return ^{};
+}
+
+void test4() {
+  void (^noop)(void) = ^{};
+  void (*noop2)() = 0;
+}
+
+void myfunc(int (^block)(int)) {}
+
+void myfunc3(const int *x);
+
+void test5() {
+    int a;
+
+    myfunc(^(int abcd) {
+        myfunc3(&a);
+        return 1;
+    });
+}
+
+void *X;
+
+void test_arguments() {
+  int y;
+  int (^c)(char);
+  (1 ? c : 0)('x');
+  (1 ? 0 : c)('x');
+
+  (1 ? c : c)('x');
+}
+
+static int global_x = 10;
+void (^global_block)(void) = ^{ printf("global x is %d\n", global_x); };
+
+typedef void (^void_block_t)(void);
+
+static const void_block_t myBlock = ^{ };
+
+static const void_block_t myBlock2 = ^ void(void) { }; 
+
+#if 0
+// Old syntax. FIXME: convert/test.
+void test_byref() {
+  int i;
+  
+  X = ^{| g |};  // error {{use of undeclared identifier 'g'}}
+
+  X = ^{| i,i,i | };
+
+  X = ^{|i| i = 0; };
+
+}
+
+// TODO: global closures someday.
+void *A = ^{};
+void *B = ^(int){ A = 0; };
+
+
+// Closures can not take return types at this point.
+void test_retvals() {
+  // Explicit return value.
+  ^int{};   // error {{closure with explicit return type requires argument list}}
+  X = ^void(){};
+
+  // Optional specification of return type.
+  X = ^char{ return 'x'; };  // error {{closure with explicit return type requires argument list}}
+
+  X = ^/*missing declspec*/ *() { return (void*)0; };
+  X = ^void*() { return (void*)0; };
+  
+  //X = ^char(short c){ if (c) return c; else return (int)4; };
+  
+}
+
+#endif