From 6bbac2edf7c50dac4d755a364b6dfd16471284d7 Mon Sep 17 00:00:00 2001 From: zinc 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_body.zc | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 tests/errors/borrows_body.zc (limited to 'tests/errors/borrows_body.zc') diff --git a/tests/errors/borrows_body.zc b/tests/errors/borrows_body.zc new file mode 100644 index 0000000..e6c92c6 --- /dev/null +++ b/tests/errors/borrows_body.zc @@ -0,0 +1,13 @@ +namespace; +include rt; + +// expect: first: returns a borrow of b, but its borrows clause doesn't name it +// the body is checked against the prototype's borrows clause. +char* first(char* a, char* b) borrows a; +fn main() { + char* t = rt.new(4); t[0] = 'x'; t[1] = 0; + char* u = rt.new(4); u[0] = 'y'; u[1] = 0; + let r = first(t, u); rt.put_c(r[0]); rt.free(u); rt.free(t); + return 0; +} +char* first(char* a, char* b) { return b; } -- cgit v1.2.3