tests/errors/use_after_free_borrow.zc


1
2
3
4
5
6
7
8
9
10

namespace;
include rt;

// expect: r: used after it was given away; r borrows t, and t was freed on line 8 (t declared on line 6)
fn main() {
	char* t = rt.new(4); t[0] = 65;
	char* r = t + 1;
	rt.free(t);
	return r[0];
}