Fix false-positive of redundant_clone and move to clippy::perf
This commit is contained in:
parent
737f0a6bb5
commit
301ef6bb2a
5 changed files with 412 additions and 75 deletions
|
@ -864,6 +864,7 @@ pub fn register_plugins(reg: &mut rustc_driver::plugin::Registry<'_>, conf: &Con
|
||||||
ranges::RANGE_MINUS_ONE,
|
ranges::RANGE_MINUS_ONE,
|
||||||
ranges::RANGE_PLUS_ONE,
|
ranges::RANGE_PLUS_ONE,
|
||||||
ranges::RANGE_ZIP_WITH_LEN,
|
ranges::RANGE_ZIP_WITH_LEN,
|
||||||
|
redundant_clone::REDUNDANT_CLONE,
|
||||||
redundant_field_names::REDUNDANT_FIELD_NAMES,
|
redundant_field_names::REDUNDANT_FIELD_NAMES,
|
||||||
redundant_pattern_matching::REDUNDANT_PATTERN_MATCHING,
|
redundant_pattern_matching::REDUNDANT_PATTERN_MATCHING,
|
||||||
redundant_static_lifetimes::REDUNDANT_STATIC_LIFETIMES,
|
redundant_static_lifetimes::REDUNDANT_STATIC_LIFETIMES,
|
||||||
|
@ -1169,6 +1170,7 @@ pub fn register_plugins(reg: &mut rustc_driver::plugin::Registry<'_>, conf: &Con
|
||||||
methods::SINGLE_CHAR_PATTERN,
|
methods::SINGLE_CHAR_PATTERN,
|
||||||
misc::CMP_OWNED,
|
misc::CMP_OWNED,
|
||||||
mutex_atomic::MUTEX_ATOMIC,
|
mutex_atomic::MUTEX_ATOMIC,
|
||||||
|
redundant_clone::REDUNDANT_CLONE,
|
||||||
slow_vector_initialization::SLOW_VECTOR_INITIALIZATION,
|
slow_vector_initialization::SLOW_VECTOR_INITIALIZATION,
|
||||||
trivially_copy_pass_by_ref::TRIVIALLY_COPY_PASS_BY_REF,
|
trivially_copy_pass_by_ref::TRIVIALLY_COPY_PASS_BY_REF,
|
||||||
types::BOX_VEC,
|
types::BOX_VEC,
|
||||||
|
@ -1188,7 +1190,6 @@ pub fn register_plugins(reg: &mut rustc_driver::plugin::Registry<'_>, conf: &Con
|
||||||
mutex_atomic::MUTEX_INTEGER,
|
mutex_atomic::MUTEX_INTEGER,
|
||||||
needless_borrow::NEEDLESS_BORROW,
|
needless_borrow::NEEDLESS_BORROW,
|
||||||
path_buf_push_overwrite::PATH_BUF_PUSH_OVERWRITE,
|
path_buf_push_overwrite::PATH_BUF_PUSH_OVERWRITE,
|
||||||
redundant_clone::REDUNDANT_CLONE,
|
|
||||||
]);
|
]);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -9,12 +9,19 @@ use rustc::hir::{def_id, Body, FnDecl, HirId};
|
||||||
use rustc::lint::{LateContext, LateLintPass, LintArray, LintPass};
|
use rustc::lint::{LateContext, LateLintPass, LintArray, LintPass};
|
||||||
use rustc::mir::{
|
use rustc::mir::{
|
||||||
self, traversal,
|
self, traversal,
|
||||||
visit::{MutatingUseContext, PlaceContext, Visitor},
|
visit::{MutatingUseContext, PlaceContext, Visitor as _},
|
||||||
TerminatorKind,
|
|
||||||
};
|
};
|
||||||
use rustc::ty::{self, Ty};
|
use rustc::ty::{self, fold::TypeVisitor, Ty};
|
||||||
use rustc::{declare_lint_pass, declare_tool_lint};
|
use rustc::{declare_lint_pass, declare_tool_lint};
|
||||||
|
use rustc_data_structures::{
|
||||||
|
bit_set::{BitSet, HybridBitSet},
|
||||||
|
fx::FxHashMap,
|
||||||
|
transitive_relation::TransitiveRelation,
|
||||||
|
};
|
||||||
use rustc_errors::Applicability;
|
use rustc_errors::Applicability;
|
||||||
|
use rustc_mir::dataflow::{
|
||||||
|
do_dataflow, BitDenotation, BottomValue, DataflowResults, DataflowResultsCursor, DebugFormatted, GenKillSet,
|
||||||
|
};
|
||||||
use std::convert::TryFrom;
|
use std::convert::TryFrom;
|
||||||
use syntax::source_map::{BytePos, Span};
|
use syntax::source_map::{BytePos, Span};
|
||||||
|
|
||||||
|
@ -36,17 +43,7 @@ declare_clippy_lint! {
|
||||||
///
|
///
|
||||||
/// **Known problems:**
|
/// **Known problems:**
|
||||||
///
|
///
|
||||||
/// * Suggestions made by this lint could require NLL to be enabled.
|
/// False-negatives: analysis performed by this lint is conservative and limited.
|
||||||
/// * False-positive if there is a borrow preventing the value from moving out.
|
|
||||||
///
|
|
||||||
/// ```rust
|
|
||||||
/// # fn foo(x: String) {}
|
|
||||||
/// let x = String::new();
|
|
||||||
///
|
|
||||||
/// let y = &x;
|
|
||||||
///
|
|
||||||
/// foo(x.clone()); // This lint suggests to remove this `clone()`
|
|
||||||
/// ```
|
|
||||||
///
|
///
|
||||||
/// **Example:**
|
/// **Example:**
|
||||||
/// ```rust
|
/// ```rust
|
||||||
|
@ -68,7 +65,7 @@ declare_clippy_lint! {
|
||||||
/// Path::new("/a/b").join("c").to_path_buf();
|
/// Path::new("/a/b").join("c").to_path_buf();
|
||||||
/// ```
|
/// ```
|
||||||
pub REDUNDANT_CLONE,
|
pub REDUNDANT_CLONE,
|
||||||
nursery,
|
perf,
|
||||||
"`clone()` of an owned value that is going to be dropped immediately"
|
"`clone()` of an owned value that is going to be dropped immediately"
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -88,6 +85,22 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for RedundantClone {
|
||||||
let def_id = cx.tcx.hir().body_owner_def_id(body.id());
|
let def_id = cx.tcx.hir().body_owner_def_id(body.id());
|
||||||
let mir = cx.tcx.optimized_mir(def_id);
|
let mir = cx.tcx.optimized_mir(def_id);
|
||||||
|
|
||||||
|
let dead_unwinds = BitSet::new_empty(mir.basic_blocks().len());
|
||||||
|
let maybe_storage_live_result = do_dataflow(
|
||||||
|
cx.tcx,
|
||||||
|
mir,
|
||||||
|
def_id,
|
||||||
|
&[],
|
||||||
|
&dead_unwinds,
|
||||||
|
MaybeStorageLive::new(mir),
|
||||||
|
|bd, p| DebugFormatted::new(&bd.body.local_decls[p]),
|
||||||
|
);
|
||||||
|
let mut possible_borrower = {
|
||||||
|
let mut vis = PossibleBorrowerVisitor::new(cx, mir);
|
||||||
|
vis.visit_body(mir);
|
||||||
|
vis.into_map(cx, maybe_storage_live_result)
|
||||||
|
};
|
||||||
|
|
||||||
for (bb, bbdata) in mir.basic_blocks().iter_enumerated() {
|
for (bb, bbdata) in mir.basic_blocks().iter_enumerated() {
|
||||||
let terminator = bbdata.terminator();
|
let terminator = bbdata.terminator();
|
||||||
|
|
||||||
|
@ -117,15 +130,16 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for RedundantClone {
|
||||||
// _1 in MIR `{ _2 = &_1; clone(move _2); }` or `{ _2 = _1; to_path_buf(_2); } (from_deref)
|
// _1 in MIR `{ _2 = &_1; clone(move _2); }` or `{ _2 = _1; to_path_buf(_2); } (from_deref)
|
||||||
// In case of `from_deref`, `arg` is already a reference since it is `deref`ed in the previous
|
// In case of `from_deref`, `arg` is already a reference since it is `deref`ed in the previous
|
||||||
// block.
|
// block.
|
||||||
let (cloned, cannot_move_out) = unwrap_or_continue!(find_stmt_assigns_to(
|
let (cloned, cannot_move_out) = unwrap_or_continue!(find_stmt_assigns_to(cx, mir, arg, from_borrow, bb));
|
||||||
cx,
|
|
||||||
mir,
|
|
||||||
arg,
|
|
||||||
from_borrow,
|
|
||||||
bbdata.statements.iter()
|
|
||||||
));
|
|
||||||
|
|
||||||
if from_borrow && cannot_move_out {
|
let loc = mir::Location {
|
||||||
|
block: bb,
|
||||||
|
statement_index: bbdata.statements.len(),
|
||||||
|
};
|
||||||
|
|
||||||
|
if from_borrow
|
||||||
|
&& (cannot_move_out || possible_borrower.only_borrowers(&[arg][..], cloned, loc) != Some(true))
|
||||||
|
{
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -151,14 +165,13 @@ impl<'a, 'tcx> LateLintPass<'a, 'tcx> for RedundantClone {
|
||||||
}
|
}
|
||||||
};
|
};
|
||||||
|
|
||||||
let (local, cannot_move_out) = unwrap_or_continue!(find_stmt_assigns_to(
|
let (local, cannot_move_out) =
|
||||||
cx,
|
unwrap_or_continue!(find_stmt_assigns_to(cx, mir, pred_arg, true, ps[0]));
|
||||||
mir,
|
let loc = mir::Location {
|
||||||
pred_arg,
|
block: bb,
|
||||||
true,
|
statement_index: mir.basic_blocks()[bb].statements.len(),
|
||||||
mir[ps[0]].statements.iter()
|
};
|
||||||
));
|
if cannot_move_out || possible_borrower.only_borrowers(&[arg, cloned][..], local, loc) != Some(true) {
|
||||||
if cannot_move_out {
|
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
local
|
local
|
||||||
|
@ -224,7 +237,7 @@ fn is_call_with_ref_arg<'tcx>(
|
||||||
kind: &'tcx mir::TerminatorKind<'tcx>,
|
kind: &'tcx mir::TerminatorKind<'tcx>,
|
||||||
) -> Option<(def_id::DefId, mir::Local, Ty<'tcx>, Option<&'tcx mir::Place<'tcx>>)> {
|
) -> Option<(def_id::DefId, mir::Local, Ty<'tcx>, Option<&'tcx mir::Place<'tcx>>)> {
|
||||||
if_chain! {
|
if_chain! {
|
||||||
if let TerminatorKind::Call { func, args, destination, .. } = kind;
|
if let mir::TerminatorKind::Call { func, args, destination, .. } = kind;
|
||||||
if args.len() == 1;
|
if args.len() == 1;
|
||||||
if let mir::Operand::Move(mir::Place { base: mir::PlaceBase::Local(local), .. }) = &args[0];
|
if let mir::Operand::Move(mir::Place { base: mir::PlaceBase::Local(local), .. }) = &args[0];
|
||||||
if let ty::FnDef(def_id, _) = func.ty(&*mir, cx.tcx).kind;
|
if let ty::FnDef(def_id, _) = func.ty(&*mir, cx.tcx).kind;
|
||||||
|
@ -241,42 +254,35 @@ fn is_call_with_ref_arg<'tcx>(
|
||||||
type CannotMoveOut = bool;
|
type CannotMoveOut = bool;
|
||||||
|
|
||||||
/// Finds the first `to = (&)from`, and returns
|
/// Finds the first `to = (&)from`, and returns
|
||||||
/// ``Some((from, [`true` if `from` cannot be moved out]))``.
|
/// ``Some((from, whether `from` cannot be moved out))``.
|
||||||
fn find_stmt_assigns_to<'a, 'tcx: 'a>(
|
fn find_stmt_assigns_to<'tcx>(
|
||||||
cx: &LateContext<'_, 'tcx>,
|
cx: &LateContext<'_, 'tcx>,
|
||||||
mir: &mir::Body<'tcx>,
|
mir: &mir::Body<'tcx>,
|
||||||
to: mir::Local,
|
to_local: mir::Local,
|
||||||
by_ref: bool,
|
by_ref: bool,
|
||||||
stmts: impl DoubleEndedIterator<Item = &'a mir::Statement<'tcx>>,
|
bb: mir::BasicBlock,
|
||||||
) -> Option<(mir::Local, CannotMoveOut)> {
|
) -> Option<(mir::Local, CannotMoveOut)> {
|
||||||
stmts
|
let rvalue = mir.basic_blocks()[bb].statements.iter().rev().find_map(|stmt| {
|
||||||
.rev()
|
if let mir::StatementKind::Assign(box (
|
||||||
.find_map(|stmt| {
|
mir::Place {
|
||||||
if let mir::StatementKind::Assign(box (
|
base: mir::PlaceBase::Local(local),
|
||||||
mir::Place {
|
..
|
||||||
base: mir::PlaceBase::Local(local),
|
},
|
||||||
..
|
v,
|
||||||
},
|
)) = &stmt.kind
|
||||||
v,
|
{
|
||||||
)) = &stmt.kind
|
return if *local == to_local { Some(v) } else { None };
|
||||||
{
|
}
|
||||||
if *local == to {
|
|
||||||
return Some(v);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
None
|
None
|
||||||
})
|
})?;
|
||||||
.and_then(|v| {
|
|
||||||
if by_ref {
|
match (by_ref, &*rvalue) {
|
||||||
if let mir::Rvalue::Ref(_, _, ref place) = v {
|
(true, mir::Rvalue::Ref(_, _, place)) | (false, mir::Rvalue::Use(mir::Operand::Copy(place))) => {
|
||||||
return base_local_and_movability(cx, mir, place);
|
base_local_and_movability(cx, mir, place)
|
||||||
}
|
},
|
||||||
} else if let mir::Rvalue::Use(mir::Operand::Copy(ref place)) = v {
|
_ => None,
|
||||||
return base_local_and_movability(cx, mir, place);
|
}
|
||||||
}
|
|
||||||
None
|
|
||||||
})
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Extracts and returns the undermost base `Local` of given `place`. Returns `place` itself
|
/// Extracts and returns the undermost base `Local` of given `place`. Returns `place` itself
|
||||||
|
@ -288,8 +294,6 @@ fn base_local_and_movability<'tcx>(
|
||||||
mir: &mir::Body<'tcx>,
|
mir: &mir::Body<'tcx>,
|
||||||
place: &mir::Place<'tcx>,
|
place: &mir::Place<'tcx>,
|
||||||
) -> Option<(mir::Local, CannotMoveOut)> {
|
) -> Option<(mir::Local, CannotMoveOut)> {
|
||||||
use rustc::mir::Place;
|
|
||||||
use rustc::mir::PlaceBase;
|
|
||||||
use rustc::mir::PlaceRef;
|
use rustc::mir::PlaceRef;
|
||||||
|
|
||||||
// Dereference. You cannot move things out from a borrowed value.
|
// Dereference. You cannot move things out from a borrowed value.
|
||||||
|
@ -301,13 +305,15 @@ fn base_local_and_movability<'tcx>(
|
||||||
base: place_base,
|
base: place_base,
|
||||||
mut projection,
|
mut projection,
|
||||||
} = place.as_ref();
|
} = place.as_ref();
|
||||||
if let PlaceBase::Local(local) = place_base {
|
if let mir::PlaceBase::Local(local) = place_base {
|
||||||
while let [base @ .., elem] = projection {
|
while let [base @ .., elem] = projection {
|
||||||
projection = base;
|
projection = base;
|
||||||
deref = matches!(elem, mir::ProjectionElem::Deref);
|
deref |= matches!(elem, mir::ProjectionElem::Deref);
|
||||||
field = !field
|
field |= matches!(elem, mir::ProjectionElem::Field(..))
|
||||||
&& matches!(elem, mir::ProjectionElem::Field(..))
|
&& has_drop(
|
||||||
&& has_drop(cx, Place::ty_from(place_base, projection, &mir.local_decls, cx.tcx).ty);
|
cx,
|
||||||
|
mir::Place::ty_from(place_base, projection, &mir.local_decls, cx.tcx).ty,
|
||||||
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
Some((*local, deref || field))
|
Some((*local, deref || field))
|
||||||
|
@ -353,3 +359,227 @@ impl<'tcx> mir::visit::Visitor<'tcx> for LocalUseVisitor {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[derive(Copy, Clone)]
|
||||||
|
struct MaybeStorageLive<'a, 'tcx> {
|
||||||
|
body: &'a mir::Body<'tcx>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<'a, 'tcx> MaybeStorageLive<'a, 'tcx> {
|
||||||
|
fn new(body: &'a mir::Body<'tcx>) -> Self {
|
||||||
|
MaybeStorageLive { body }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<'a, 'tcx> BitDenotation<'tcx> for MaybeStorageLive<'a, 'tcx> {
|
||||||
|
type Idx = mir::Local;
|
||||||
|
fn name() -> &'static str {
|
||||||
|
"maybe_storage_live"
|
||||||
|
}
|
||||||
|
fn bits_per_block(&self) -> usize {
|
||||||
|
self.body.local_decls.len()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn start_block_effect(&self, on_entry: &mut BitSet<mir::Local>) {
|
||||||
|
for arg in self.body.args_iter() {
|
||||||
|
on_entry.insert(arg);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn statement_effect(&self, trans: &mut GenKillSet<mir::Local>, loc: mir::Location) {
|
||||||
|
let stmt = &self.body[loc.block].statements[loc.statement_index];
|
||||||
|
|
||||||
|
match stmt.kind {
|
||||||
|
mir::StatementKind::StorageLive(l) => trans.gen(l),
|
||||||
|
mir::StatementKind::StorageDead(l) => trans.kill(l),
|
||||||
|
_ => (),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn terminator_effect(&self, _trans: &mut GenKillSet<mir::Local>, _loc: mir::Location) {}
|
||||||
|
|
||||||
|
fn propagate_call_return(
|
||||||
|
&self,
|
||||||
|
_in_out: &mut BitSet<mir::Local>,
|
||||||
|
_call_bb: mir::BasicBlock,
|
||||||
|
_dest_bb: mir::BasicBlock,
|
||||||
|
_dest_place: &mir::Place<'tcx>,
|
||||||
|
) {
|
||||||
|
// Nothing to do when a call returns successfully
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<'a, 'tcx> BottomValue for MaybeStorageLive<'a, 'tcx> {
|
||||||
|
/// bottom = dead
|
||||||
|
const BOTTOM_VALUE: bool = false;
|
||||||
|
}
|
||||||
|
|
||||||
|
struct PossibleBorrowerVisitor<'a, 'tcx> {
|
||||||
|
possible_borrower: TransitiveRelation<mir::Local>,
|
||||||
|
body: &'a mir::Body<'tcx>,
|
||||||
|
cx: &'a LateContext<'a, 'tcx>,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<'a, 'tcx> PossibleBorrowerVisitor<'a, 'tcx> {
|
||||||
|
fn new(cx: &'a LateContext<'a, 'tcx>, body: &'a mir::Body<'tcx>) -> Self {
|
||||||
|
Self {
|
||||||
|
possible_borrower: TransitiveRelation::default(),
|
||||||
|
cx,
|
||||||
|
body,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn into_map(
|
||||||
|
self,
|
||||||
|
cx: &LateContext<'a, 'tcx>,
|
||||||
|
maybe_live: DataflowResults<'tcx, MaybeStorageLive<'a, 'tcx>>,
|
||||||
|
) -> PossibleBorrower<'a, 'tcx> {
|
||||||
|
let mut map = FxHashMap::default();
|
||||||
|
for row in (1..self.body.local_decls.len()).map(mir::Local::from_usize) {
|
||||||
|
if is_copy(cx, self.body.local_decls[row].ty) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
|
||||||
|
let borrowers = self.possible_borrower.reachable_from(&row);
|
||||||
|
if !borrowers.is_empty() {
|
||||||
|
let mut bs = HybridBitSet::new_empty(self.body.local_decls.len());
|
||||||
|
for &c in borrowers {
|
||||||
|
if c != mir::Local::from_usize(0) {
|
||||||
|
bs.insert(c);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
if !bs.is_empty() {
|
||||||
|
map.insert(row, bs);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
let bs = BitSet::new_empty(self.body.local_decls.len());
|
||||||
|
PossibleBorrower {
|
||||||
|
map,
|
||||||
|
maybe_live: DataflowResultsCursor::new(maybe_live, self.body),
|
||||||
|
bitset: (bs.clone(), bs),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl<'a, 'tcx> mir::visit::Visitor<'tcx> for PossibleBorrowerVisitor<'a, 'tcx> {
|
||||||
|
fn visit_assign(&mut self, place: &mir::Place<'tcx>, rvalue: &mir::Rvalue<'_>, _location: mir::Location) {
|
||||||
|
if let mir::PlaceBase::Local(lhs) = place.base {
|
||||||
|
match rvalue {
|
||||||
|
mir::Rvalue::Ref(_, _, borrowed) => {
|
||||||
|
if let mir::PlaceBase::Local(borrowed_local) = borrowed.base {
|
||||||
|
self.possible_borrower.add(borrowed_local, lhs);
|
||||||
|
}
|
||||||
|
},
|
||||||
|
other => {
|
||||||
|
if !ContainsRegion.visit_ty(place.ty(&self.body.local_decls, self.cx.tcx).ty) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
rvalue_locals(other, |rhs| {
|
||||||
|
if lhs != rhs {
|
||||||
|
self.possible_borrower.add(rhs, lhs);
|
||||||
|
}
|
||||||
|
});
|
||||||
|
},
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn visit_terminator(&mut self, terminator: &mir::Terminator<'_>, _loc: mir::Location) {
|
||||||
|
if let mir::TerminatorKind::Call {
|
||||||
|
args,
|
||||||
|
destination:
|
||||||
|
Some((
|
||||||
|
mir::Place {
|
||||||
|
base: mir::PlaceBase::Local(dest),
|
||||||
|
..
|
||||||
|
},
|
||||||
|
_,
|
||||||
|
)),
|
||||||
|
..
|
||||||
|
} = &terminator.kind
|
||||||
|
{
|
||||||
|
// If the call returns something with some lifetime,
|
||||||
|
// let's conservatively assume the returned value contains lifetime of all the arguments.
|
||||||
|
let mut cr = ContainsRegion;
|
||||||
|
if !cr.visit_ty(&self.body.local_decls[*dest].ty) {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
|
for op in args {
|
||||||
|
match op {
|
||||||
|
mir::Operand::Copy(p) | mir::Operand::Move(p) => {
|
||||||
|
if let mir::PlaceBase::Local(arg) = p.base {
|
||||||
|
self.possible_borrower.add(arg, *dest);
|
||||||
|
}
|
||||||
|
},
|
||||||
|
_ => (),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
struct ContainsRegion;
|
||||||
|
|
||||||
|
impl TypeVisitor<'_> for ContainsRegion {
|
||||||
|
fn visit_region(&mut self, _: ty::Region<'_>) -> bool {
|
||||||
|
true
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn rvalue_locals(rvalue: &mir::Rvalue<'_>, mut visit: impl FnMut(mir::Local)) {
|
||||||
|
use rustc::mir::Rvalue::*;
|
||||||
|
|
||||||
|
let mut visit_op = |op: &mir::Operand<'_>| match op {
|
||||||
|
mir::Operand::Copy(p) | mir::Operand::Move(p) => {
|
||||||
|
if let mir::PlaceBase::Local(l) = p.base {
|
||||||
|
visit(l)
|
||||||
|
}
|
||||||
|
},
|
||||||
|
_ => (),
|
||||||
|
};
|
||||||
|
|
||||||
|
match rvalue {
|
||||||
|
Use(op) | Repeat(op, _) | Cast(_, op, _) | UnaryOp(_, op) => visit_op(op),
|
||||||
|
Aggregate(_, ops) => ops.iter().for_each(visit_op),
|
||||||
|
BinaryOp(_, lhs, rhs) | CheckedBinaryOp(_, lhs, rhs) => {
|
||||||
|
visit_op(lhs);
|
||||||
|
visit_op(rhs);
|
||||||
|
},
|
||||||
|
_ => (),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
struct PossibleBorrower<'a, 'tcx> {
|
||||||
|
map: FxHashMap<mir::Local, HybridBitSet<mir::Local>>,
|
||||||
|
maybe_live:
|
||||||
|
DataflowResultsCursor<'a, 'tcx, MaybeStorageLive<'a, 'tcx>, DataflowResults<'tcx, MaybeStorageLive<'a, 'tcx>>>,
|
||||||
|
bitset: (BitSet<mir::Local>, BitSet<mir::Local>),
|
||||||
|
}
|
||||||
|
|
||||||
|
impl PossibleBorrower<'_, '_> {
|
||||||
|
fn only_borrowers<'a>(
|
||||||
|
&mut self,
|
||||||
|
borrowers: impl IntoIterator<Item = &'a mir::Local>,
|
||||||
|
borrowed: mir::Local,
|
||||||
|
at: mir::Location,
|
||||||
|
) -> Option<bool> {
|
||||||
|
self.maybe_live.seek(at);
|
||||||
|
|
||||||
|
self.bitset.0.clear();
|
||||||
|
let maybe_live = &mut self.maybe_live;
|
||||||
|
for b in self.map.get(&borrowed)?.iter().filter(move |b| maybe_live.contains(*b)) {
|
||||||
|
self.bitset.0.insert(b);
|
||||||
|
}
|
||||||
|
|
||||||
|
self.bitset.1.clear();
|
||||||
|
for b in borrowers {
|
||||||
|
self.bitset.1.insert(*b);
|
||||||
|
}
|
||||||
|
|
||||||
|
Some(self.bitset.0 == self.bitset.1)
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
|
@ -1542,7 +1542,7 @@ pub const ALL_LINTS: [Lint; 318] = [
|
||||||
},
|
},
|
||||||
Lint {
|
Lint {
|
||||||
name: "redundant_clone",
|
name: "redundant_clone",
|
||||||
group: "nursery",
|
group: "perf",
|
||||||
desc: "`clone()` of an owned value that is going to be dropped immediately",
|
desc: "`clone()` of an owned value that is going to be dropped immediately",
|
||||||
deprecation: None,
|
deprecation: None,
|
||||||
module: "redundant_clone",
|
module: "redundant_clone",
|
||||||
|
|
|
@ -32,6 +32,18 @@ fn main() {
|
||||||
|
|
||||||
let tup_ref = &(String::from("foo"),);
|
let tup_ref = &(String::from("foo"),);
|
||||||
let _s = tup_ref.0.clone(); // this `.clone()` cannot be removed
|
let _s = tup_ref.0.clone(); // this `.clone()` cannot be removed
|
||||||
|
|
||||||
|
{
|
||||||
|
let x = String::new();
|
||||||
|
let y = &x;
|
||||||
|
|
||||||
|
let _ = x.clone(); // ok; `x` is borrowed by `y`
|
||||||
|
|
||||||
|
let _ = y.len();
|
||||||
|
}
|
||||||
|
|
||||||
|
let x = (String::new(),);
|
||||||
|
let _ = Some(String::new()).unwrap_or_else(|| x.0.clone()); // ok; closure borrows `x`
|
||||||
}
|
}
|
||||||
|
|
||||||
#[derive(Clone)]
|
#[derive(Clone)]
|
||||||
|
@ -56,3 +68,61 @@ fn cannot_move_from_type_with_drop() -> String {
|
||||||
let s = TypeWithDrop { x: String::new() };
|
let s = TypeWithDrop { x: String::new() };
|
||||||
s.x.clone() // removing this `clone()` summons E0509
|
s.x.clone() // removing this `clone()` summons E0509
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn borrower_propagation() {
|
||||||
|
let s = String::new();
|
||||||
|
let t = String::new();
|
||||||
|
|
||||||
|
{
|
||||||
|
fn b() -> bool {
|
||||||
|
unimplemented!()
|
||||||
|
}
|
||||||
|
let u = if b() { &s } else { &t };
|
||||||
|
|
||||||
|
// ok; `s` and `t` are possibly borrowed
|
||||||
|
let _ = s.clone();
|
||||||
|
let _ = t.clone();
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
let u = || s.len();
|
||||||
|
let v = [&t; 32];
|
||||||
|
let _ = s.clone(); // ok
|
||||||
|
let _ = t.clone(); // ok
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
let u = {
|
||||||
|
let u = Some(&s);
|
||||||
|
let _ = s.clone(); // ok
|
||||||
|
u
|
||||||
|
};
|
||||||
|
let _ = s.clone(); // ok
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
use std::convert::identity as id;
|
||||||
|
let u = id(id(&s));
|
||||||
|
let _ = s.clone(); // ok, `u` borrows `s`
|
||||||
|
}
|
||||||
|
|
||||||
|
let _ = s.clone();
|
||||||
|
let _ = t.clone();
|
||||||
|
|
||||||
|
#[derive(Clone)]
|
||||||
|
struct Foo {
|
||||||
|
x: usize,
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
let f = Foo { x: 123 };
|
||||||
|
let _x = Some(f.x);
|
||||||
|
let _f = f.clone();
|
||||||
|
}
|
||||||
|
|
||||||
|
{
|
||||||
|
let f = Foo { x: 123 };
|
||||||
|
let _x = &f.x;
|
||||||
|
let _f = f.clone(); // ok
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
|
@ -108,16 +108,52 @@ LL | let _ = tup.0.clone();
|
||||||
| ^^^^^
|
| ^^^^^
|
||||||
|
|
||||||
error: redundant clone
|
error: redundant clone
|
||||||
--> $DIR/redundant_clone.rs:41:22
|
--> $DIR/redundant_clone.rs:53:22
|
||||||
|
|
|
|
||||||
LL | (a.clone(), a.clone())
|
LL | (a.clone(), a.clone())
|
||||||
| ^^^^^^^^ help: remove this
|
| ^^^^^^^^ help: remove this
|
||||||
|
|
|
|
||||||
note: this value is dropped without further use
|
note: this value is dropped without further use
|
||||||
--> $DIR/redundant_clone.rs:41:21
|
--> $DIR/redundant_clone.rs:53:21
|
||||||
|
|
|
|
||||||
LL | (a.clone(), a.clone())
|
LL | (a.clone(), a.clone())
|
||||||
| ^
|
| ^
|
||||||
|
|
||||||
error: aborting due to 10 previous errors
|
error: redundant clone
|
||||||
|
--> $DIR/redundant_clone.rs:109:14
|
||||||
|
|
|
||||||
|
LL | let _ = s.clone();
|
||||||
|
| ^^^^^^^^ help: remove this
|
||||||
|
|
|
||||||
|
note: this value is dropped without further use
|
||||||
|
--> $DIR/redundant_clone.rs:109:13
|
||||||
|
|
|
||||||
|
LL | let _ = s.clone();
|
||||||
|
| ^
|
||||||
|
|
||||||
|
error: redundant clone
|
||||||
|
--> $DIR/redundant_clone.rs:110:14
|
||||||
|
|
|
||||||
|
LL | let _ = t.clone();
|
||||||
|
| ^^^^^^^^ help: remove this
|
||||||
|
|
|
||||||
|
note: this value is dropped without further use
|
||||||
|
--> $DIR/redundant_clone.rs:110:13
|
||||||
|
|
|
||||||
|
LL | let _ = t.clone();
|
||||||
|
| ^
|
||||||
|
|
||||||
|
error: redundant clone
|
||||||
|
--> $DIR/redundant_clone.rs:120:19
|
||||||
|
|
|
||||||
|
LL | let _f = f.clone();
|
||||||
|
| ^^^^^^^^ help: remove this
|
||||||
|
|
|
||||||
|
note: this value is dropped without further use
|
||||||
|
--> $DIR/redundant_clone.rs:120:18
|
||||||
|
|
|
||||||
|
LL | let _f = f.clone();
|
||||||
|
| ^
|
||||||
|
|
||||||
|
error: aborting due to 13 previous errors
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue