-use crate::utils::{higher, qpath_res, snippet, span_lint_and_then};
+use crate::utils::{path_to_local_id, snippet, span_lint_and_then, visitors::LocalUsedVisitor};
use if_chain::if_chain;
use rustc_errors::Applicability;
use rustc_hir as hir;
-use rustc_hir::def::Res;
-use rustc_hir::intravisit;
use rustc_hir::BindingAnnotation;
use rustc_lint::{LateContext, LateLintPass};
-use rustc_middle::hir::map::Map;
use rustc_session::{declare_lint_pass, declare_tool_lint};
declare_clippy_lint! {
if let hir::StmtKind::Local(ref local) = stmt.kind;
if let hir::PatKind::Binding(mode, canonical_id, ident, None) = local.pat.kind;
if let hir::StmtKind::Expr(ref if_) = expr.kind;
- if let Some((ref cond, ref then, ref else_)) = higher::if_block(&if_);
- if !used_in_expr(cx, canonical_id, cond);
+ if let hir::ExprKind::If(ref cond, ref then, ref else_) = if_.kind;
+ let mut used_visitor = LocalUsedVisitor::new(cx, canonical_id);
+ if !used_visitor.check_expr(cond);
if let hir::ExprKind::Block(ref then, _) = then.kind;
if let Some(value) = check_assign(cx, canonical_id, &*then);
- if !used_in_expr(cx, canonical_id, value);
+ if !used_visitor.check_expr(value);
then {
let span = stmt.span.to(if_.span);
- let has_interior_mutability = !cx.tables().node_type(canonical_id).is_freeze(
+ let has_interior_mutability = !cx.typeck_results().node_type(canonical_id).is_freeze(
cx.tcx.at(span),
cx.param_env,
);
}
}
-struct UsedVisitor<'a, 'tcx> {
- cx: &'a LateContext<'tcx>,
- id: hir::HirId,
- used: bool,
-}
-
-impl<'a, 'tcx> intravisit::Visitor<'tcx> for UsedVisitor<'a, 'tcx> {
- type Map = Map<'tcx>;
-
- fn visit_expr(&mut self, expr: &'tcx hir::Expr<'_>) {
- if_chain! {
- if let hir::ExprKind::Path(ref qpath) = expr.kind;
- if let Res::Local(local_id) = qpath_res(self.cx, qpath, expr.hir_id);
- if self.id == local_id;
- then {
- self.used = true;
- return;
- }
- }
- intravisit::walk_expr(self, expr);
- }
- fn nested_visit_map(&mut self) -> intravisit::NestedVisitorMap<Self::Map> {
- intravisit::NestedVisitorMap::None
- }
-}
-
fn check_assign<'tcx>(
cx: &LateContext<'tcx>,
decl: hir::HirId,
if let Some(expr) = block.stmts.iter().last();
if let hir::StmtKind::Semi(ref expr) = expr.kind;
if let hir::ExprKind::Assign(ref var, ref value, _) = expr.kind;
- if let hir::ExprKind::Path(ref qpath) = var.kind;
- if let Res::Local(local_id) = qpath_res(cx, qpath, var.hir_id);
- if decl == local_id;
+ if path_to_local_id(var, decl);
then {
- let mut v = UsedVisitor {
- cx,
- id: decl,
- used: false,
- };
-
- for s in block.stmts.iter().take(block.stmts.len()-1) {
- intravisit::walk_stmt(&mut v, s);
+ let mut v = LocalUsedVisitor::new(cx, decl);
- if v.used {
- return None;
- }
+ if block.stmts.iter().take(block.stmts.len()-1).any(|stmt| v.check_stmt(stmt)) {
+ return None;
}
return Some(value);
None
}
-
-fn used_in_expr<'tcx>(cx: &LateContext<'tcx>, id: hir::HirId, expr: &'tcx hir::Expr<'_>) -> bool {
- let mut v = UsedVisitor { cx, id, used: false };
- intravisit::walk_expr(&mut v, expr);
- v.used
-}