From 6a74253d60821df84ea18e84441f0d83298f0592 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Thu, 30 Jun 2011 10:41:06 -0700 Subject: [PATCH] Don't warn about unused for-loop index variables --- src/comp/middle/tstate/pre_post_conditions.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs index ff3b6b8cf231..ee056f8ddb63 100644 --- a/src/comp/middle/tstate/pre_post_conditions.rs +++ b/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,