Ignore never-initialized locals for unused_mut.

This commit filters out locals that have never been initialized for
consideration in the `unused_mut` lint.

This is intended to detect when the statement that would have
initialized the local was removed as unreachable code. In these cases,
we would not want to lint. This is the same behaviour as the AST borrow
checker.

This is achieved by taking advantage of an existing pass over the MIR
for the `unused_mut` lint and creating a set of those locals that were
never initialized.
This commit is contained in:
David Wood 2018-11-07 13:40:55 +01:00
parent 24e66c2898
commit 299a452a75
No known key found for this signature in database
GPG key ID: 01760B4F9F53F154
4 changed files with 136 additions and 28 deletions

View file

@ -0,0 +1,26 @@
// Copyright 2017 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.
// compile-pass
#![feature(nll)]
#![allow(unreachable_code)]
#![deny(unused_mut)]
pub fn foo() {
return;
let mut v = 0;
assert_eq!(v, 0);
v = 1;
assert_eq!(v, 1);
}
fn main() {}