rust/clippy_lints/src/if_let_mutex.rs

153 lines
4.6 KiB
Rust
Raw Normal View History

use crate::utils::{match_type, paths, span_lint_and_help, SpanlessEq};
2020-04-15 15:22:28 -05:00
use if_chain::if_chain;
use rustc_hir::intravisit::{self as visit, NestedVisitorMap, Visitor};
use rustc_hir::{Expr, ExprKind, MatchSource};
use rustc_lint::{LateContext, LateLintPass};
2020-03-30 13:53:27 -05:00
use rustc_middle::hir::map::Map;
use rustc_session::{declare_lint_pass, declare_tool_lint};
declare_clippy_lint! {
/// **What it does:** Checks for `Mutex::lock` calls in `if let` expression
/// with lock calls in any of the else blocks.
///
/// **Why is this bad?** The Mutex lock remains held for the whole
/// `if let ... else` block and deadlocks.
///
/// **Known problems:** None.
///
/// **Example:**
///
2020-03-17 20:51:43 -05:00
/// ```rust,ignore
/// if let Ok(thing) = mutex.lock() {
/// do_thing();
/// } else {
/// mutex.lock();
/// }
/// ```
2020-03-17 20:51:43 -05:00
/// Should be written
/// ```rust,ignore
/// let locked = mutex.lock();
/// if let Ok(thing) = locked {
/// do_thing(thing);
/// } else {
/// use_locked(locked);
/// }
/// ```
pub IF_LET_MUTEX,
correctness,
2020-03-05 17:02:22 -06:00
"locking a `Mutex` in an `if let` block can cause deadlocks"
}
declare_lint_pass!(IfLetMutex => [IF_LET_MUTEX]);
impl LateLintPass<'_, '_> for IfLetMutex {
fn check_expr(&mut self, cx: &LateContext<'_, '_>, ex: &'_ Expr<'_>) {
let mut arm_visit = ArmVisitor {
2020-04-15 15:22:28 -05:00
mutex_lock_called: false,
found_mutex: None,
cx,
};
2020-03-18 17:33:59 -05:00
let mut op_visit = OppVisitor {
2020-04-15 15:22:28 -05:00
mutex_lock_called: false,
found_mutex: None,
cx,
};
if let ExprKind::Match(
ref op,
ref arms,
MatchSource::IfLetDesugar {
contains_else_clause: true,
},
) = ex.kind
{
op_visit.visit_expr(op);
2020-04-15 15:22:28 -05:00
if op_visit.mutex_lock_called {
for arm in *arms {
arm_visit.visit_arm(arm);
}
if arm_visit.mutex_lock_called && arm_visit.same_mutex(cx, op_visit.found_mutex.unwrap()) {
span_lint_and_help(
cx,
IF_LET_MUTEX,
ex.span,
"calling `Mutex::lock` inside the scope of another `Mutex::lock` causes a deadlock",
None,
"move the lock call outside of the `if let ...` expression",
);
}
}
}
}
}
/// Checks if `Mutex::lock` is called in the `if let _ = expr.
2020-03-18 17:33:59 -05:00
pub struct OppVisitor<'tcx, 'l> {
mutex_lock_called: bool,
found_mutex: Option<&'tcx Expr<'tcx>>,
cx: &'tcx LateContext<'tcx, 'l>,
}
2020-03-18 17:33:59 -05:00
impl<'tcx, 'l> Visitor<'tcx> for OppVisitor<'tcx, 'l> {
type Map = Map<'tcx>;
fn visit_expr(&mut self, expr: &'tcx Expr<'_>) {
2020-04-15 15:22:28 -05:00
if_chain! {
if let ExprKind::MethodCall(path, _span, args) = &expr.kind;
if path.ident.to_string() == "lock";
let ty = self.cx.tables.expr_ty(&args[0]);
2020-04-15 15:22:28 -05:00
if match_type(self.cx, ty, &paths::MUTEX);
then {
self.found_mutex = Some(&args[0]);
2020-04-15 15:22:28 -05:00
self.mutex_lock_called = true;
return;
}
}
visit::walk_expr(self, expr);
}
fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
NestedVisitorMap::None
}
}
/// Checks if `Mutex::lock` is called in any of the branches.
pub struct ArmVisitor<'tcx, 'l> {
mutex_lock_called: bool,
found_mutex: Option<&'tcx Expr<'tcx>>,
cx: &'tcx LateContext<'tcx, 'l>,
}
impl<'tcx, 'l> Visitor<'tcx> for ArmVisitor<'tcx, 'l> {
type Map = Map<'tcx>;
fn visit_expr(&mut self, expr: &'tcx Expr<'tcx>) {
2020-04-15 15:22:28 -05:00
if_chain! {
if let ExprKind::MethodCall(path, _span, args) = &expr.kind;
if path.ident.to_string() == "lock";
let ty = self.cx.tables.expr_ty(&args[0]);
2020-04-15 15:22:28 -05:00
if match_type(self.cx, ty, &paths::MUTEX);
then {
self.found_mutex = Some(&args[0]);
2020-04-15 15:22:28 -05:00
self.mutex_lock_called = true;
return;
}
}
visit::walk_expr(self, expr);
}
2020-03-17 20:51:43 -05:00
fn nested_visit_map(&mut self) -> NestedVisitorMap<Self::Map> {
NestedVisitorMap::None
2020-03-17 20:51:43 -05:00
}
}
impl<'tcx, 'l> ArmVisitor<'tcx, 'l> {
fn same_mutex(&self, cx: &LateContext<'_, '_>, op_mutex: &Expr<'_>) -> bool {
if let Some(arm_mutex) = self.found_mutex {
SpanlessEq::new(cx).eq_expr(op_mutex, arm_mutex)
} else {
false
}
}
}