Merge the defer statement; todo: tick it, add its follow-ups

3 files changed, 35 insertions, 0 deletions

diff --git a/tests/errors/defer_freed_twice.zc b/tests/errors/defer_freed_twice.zc
new file mode 100644
index 0000000..d4fe08d
--- /dev/null
+++ b/tests/errors/defer_freed_twice.zc
@@ -0,0 +1,10 @@
+namespace;
+include rt;
+
+// expect: p: used after it was given away
+fn main() {
+	int* p = rt.new(int);
+	defer rt.free(p);
+	rt.free(p);
+	return 0;
+}
diff --git a/tests/errors/defer_moved.zc b/tests/errors/defer_moved.zc
new file mode 100644
index 0000000..d6086cd
--- /dev/null
+++ b/tests/errors/defer_moved.zc
@@ -0,0 +1,11 @@
+namespace;
+include rt;
+
+// expect: p: used after it was given away
+fn take(int* .d p) { rt.free(p); return 0; }
+fn main() {
+	int* p = rt.new(int);
+	defer rt.free(p);
+	take(p);
+	return 0;
+}
diff --git a/tests/errors/defer_moved_early.zc b/tests/errors/defer_moved_early.zc
new file mode 100644
index 0000000..2c6feb9
--- /dev/null
+++ b/tests/errors/defer_moved_early.zc
@@ -0,0 +1,14 @@
+namespace;
+include rt;
+
+// expect: p: used after it was given away
+fn take(int* .d p) { rt.free(p); return 0; }
+fn main(a) {
+	int* p = rt.new(int);
+	defer rt.free(p);
+	if (a) {
+		take(p);
+		return 1;
+	}
+	return 0;
+}