rustc: Don't make the while loop body's basic block a child of the condition

As a child of the condition, when the body encounters a ret or break it
incorrectly re-runs the cleanups of the condition.
This commit is contained in:
Brian Anderson 2012-03-13 17:24:39 -07:00
parent b87cdd8572
commit aeb445b2ea
2 changed files with 14 additions and 4 deletions

View file

@ -2001,10 +2001,12 @@ fn trans_for(cx: block, local: @ast::local, seq: @ast::expr,
fn trans_while(cx: block, cond: @ast::expr, body: ast::blk)
-> block {
let next_cx = sub_block(cx, "while next");
let cond_cx = loop_scope_block(cx, cont_self, next_cx,
"while cond", body.span);
let body_cx = scope_block(cond_cx, "while loop body");
Br(cx, cond_cx.llbb);
let loop_cx = loop_scope_block(cx, cont_self, next_cx,
"while loop", body.span);
let cond_cx = scope_block(loop_cx, "while loop cond");
let body_cx = scope_block(loop_cx, "while loop body");
Br(cx, loop_cx.llbb);
Br(loop_cx, cond_cx.llbb);
let cond_res = trans_temp_expr(cond_cx, cond);
let cond_bcx = trans_block_cleanups(cond_res.bcx, cond_cx);
CondBr(cond_bcx, cond_res.val, body_cx.llbb, next_cx.llbb);

View file

@ -0,0 +1,8 @@
// Issue 1974
// Don't double free the condition allocation
fn main() {
let s = "hej";
while s != "" {
ret;
}
}