aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/6-ownership/alias_after_free.zc
blob: 56cc45ec52bc4b7478e67dbf1439de953a375f4f (plain) (blame)
1
2
3
4
5
6
7
// expect error: t: used after it was given away
// spec 6.6.3
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
char* tail(char* s) { return s + 1; }
fn main() { char* b = rt.new(4); b[0] = 97; b[1] = 98; b[2] = 0; char* t = tail(b); rt.free(b); rt.put_s(t); return 0; }
// zc0: skip