defer: any single statement (if/else, loops, switch, unchecked, unbounded), not just an expression or a block

1 files changed, 19 insertions, 0 deletions

diff --git a/tests/conformance/4-statements/defer_statement_forms.zc b/tests/conformance/4-statements/defer_statement_forms.zc
new file mode 100644
index 0000000..00ddc35
--- /dev/null
+++ b/tests/conformance/4-statements/defer_statement_forms.zc
@@ -0,0 +1,19 @@
+// expect: 0 6 20 10 11 5 2 2 /0 6 21 10 11 3 1 2 /9 8 7 1 /
+// spec 4.14.1: defer takes any single statement: if/else chains, loops, switch, unchecked and blocks
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(32); }
+int f(int c) {
+	int i = 0;
+	{
+		defer if (c) pn(1); else pn(2);
+		defer if (c > 1) { pn(3); } else if (c) { pn(4); } else { pn(5); }
+		defer while (i < 2) i++;
+		defer for (int k = 0; k < 2; k++) pn(10 + k);
+		defer switch (c) { case 0: pn(20); break; default: pn(21); }
+		defer { pn(6); };
+		pn(0);
+	}
+	return i;
+}
+fn main() { int c = 1; pn(f(0)); rt.put_c(10); pn(f(2)); rt.put_c(10); { defer if (c) { pn(1); } pn(9); defer unchecked { pn(7); } pn(8); } rt.put_c(10); return 0; }
+// zc0: skip