tests/conformance/6-ownership/overwrite_frees.zc


1
2
3
4
5
6

// expect: 0/
// spec 6.8.5: overwriting a variable that still owns frees the old object first
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int* a = rt.new(1); a[0] = 1; a = rt.new(1); pn(a[0]); return 0; }
// zc0: skip