From 0ba10378340f0d975c7aa88ad258b4367b3d35c3 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Fri, 19 Aug 2011 01:15:30 -0700 Subject: [PATCH] Revert "Disable warnings for unused function arguments. Temporary hack." This reverts commit 1ec2211a98aac3f4444301f44eba608d2df818c1. --- src/comp/middle/tstate/pre_post_conditions.rs | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs index d03bbea5dde3..9c54b8f15a34 100644 --- a/src/comp/middle/tstate/pre_post_conditions.rs +++ b/src/comp/middle/tstate/pre_post_conditions.rs @@ -736,14 +736,9 @@ fn find_pre_post_fn(fcx: &fn_ctxt, f: &_fn) { use_var(fcx, tsconstr_to_node_id(fcx.enclosing.i_return)); use_var(fcx, tsconstr_to_node_id(fcx.enclosing.i_diverge)); - for a:arg in f.decl.inputs { - // FIXME: Hack to avoid warning spew - // Just pretend all arguments are used - use_var(fcx, a.id); - } - find_pre_post_block(fcx, f.body); + // Treat the tail expression as a return statement alt f.body.node.expr { some(tailexpr) { set_postcond_false(fcx.ccx, tailexpr.id); }