Properly cleanup slice literals. Closes #2705.

This commit is contained in:
Michael Sullivan 2012-06-26 12:47:06 -07:00
parent f17ca3f73e
commit 51468b65a4
2 changed files with 22 additions and 0 deletions

View file

@ -152,8 +152,15 @@ fn trans_evec(bcx: block, args: [@ast::expr]/~,
}
ast::vstore_slice(_) {
let n = vec::len(args);
// Make a fake type to use for the cleanup
let ty = ty::mk_evec(bcx.tcx(),
{ty: unit_ty, mutbl: ast::m_mutbl},
ty::vstore_fixed(n));
let n = C_uint(ccx, n);
let vp = base::arrayalloca(bcx, llunitty, n);
add_clean(bcx, vp, ty);
let len = Mul(bcx, n, unit_sz);
let p = base::alloca(bcx, T_struct([T_ptr(llunitty),

View file

@ -0,0 +1,15 @@
// Make sure that destructors get run on slice literals
class foo {
let x: @mut int;
new(x: @mut int) { self.x = x; }
drop { *self.x += 1; }
}
fn main() {
let x = @mut 0;
{
let l = [foo(x)]/&;
assert *l[0].x == 0;
}
assert *x == 1;
}