From 6bbac2edf7c50dac4d755a364b6dfd16471284d7 Mon Sep 17 00:00:00 2001
From: zinc <zinc@downsta.ir>
Date: Thu, 15 Oct 2026 09:56:19 +0330
Subject: analyzer: check borrow returns of forward-called functions at the
 unit's end; borrows clause for prototypes, definitions, externs and function
 types, checked against the body

---
 tests/errors/borrows_extern.zc | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/errors/borrows_extern.zc

(limited to 'tests/errors/borrows_extern.zc')

diff --git a/tests/errors/borrows_extern.zc b/tests/errors/borrows_extern.zc
new file mode 100644
index 0000000..e9285d4
--- /dev/null
+++ b/tests/errors/borrows_extern.zc
@@ -0,0 +1,11 @@
+namespace;
+include rt;
+
+// expect: r: used after it was given away; r borrows t, and t was freed on line 9 (t declared on line 8)
+// an extern declares its borrow return by parameter position.
+extern char* strchr(char*, int) borrows 0;
+fn main() {
+	char* t = rt.new(4); t[0] = 'x'; t[1] = 0;
+	let r = strchr(t, 'x'); rt.free(t); rt.put_c(r[0]);
+	return 0;
+}
-- 
cgit v1.2.3