---

catamorphism · catamorphism · commit 0569d6570b1f · 2011-06-30T12:37:30.000-07:00
yaml --- r: 3504 b: refs/heads/master c: 6a74253 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: d8db9a0fe1356ebdd702665e1844822a8a884b23
+refs/heads/master: 6a74253d60821df84ea18e84441f0d83298f0592
diff --git a/trunk/src/comp/middle/tstate/pre_post_conditions.rs b/trunk/src/comp/middle/tstate/pre_post_conditions.rs
@@ -176,6 +176,10 @@ fn find_pre_post_loop(&fn_ctxt fcx, &@local l, &@expr index, &block body,
     find_pre_post_block(fcx, body);
     auto v_init = rec(id=l.node.id, c=ninit(l.node.ident));
     relax_precond_block(fcx, bit_num(fcx, v_init) as node_id, body);
+    
+    // Hack: for-loop index variables are frequently ignored,
+    // so we pretend they're used
+    use_var(fcx, l.node.id);
 
     auto loop_precond =
         seq_preconds(fcx,

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: d8db9a0fe1356ebdd702665e1844822a8a884b23`
	`2`	`+refs/heads/master: 6a74253d60821df84ea18e84441f0d83298f0592`