Skip to content

Commit d578f6a

Browse files
committed
Auto merge of rust-lang#13122 - rshearman:fix-9854, r=blyxyas
Fix `mut_mutex_lock` when reference not ultimately mutable When there is are multiple references where one of the references isn't mutable then this results in a false-positive for `mut_mutex_lock` as it only checks the mutability of the first reference level. Fix this by using `peel_mid_ty_refs_is_mutable` which correctly determines whether the reference is ultimately mutable and thus whether `Mutex::get_lock()` can actually be used. Fixes rust-lang#9854 changelog: [`mut_mutex_lock`]: No longer lints if the mutex is behind multiple references and one of those references isn't mutable
2 parents 71c7d44 + c88cb08 commit d578f6a

File tree

4 files changed

+34
-4
lines changed

4 files changed

+34
-4
lines changed

clippy_lints/src/methods/mut_mutex_lock.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
use clippy_utils::diagnostics::span_lint_and_sugg;
22
use clippy_utils::expr_custom_deref_adjustment;
3-
use clippy_utils::ty::is_type_diagnostic_item;
3+
use clippy_utils::ty::{is_type_diagnostic_item, peel_mid_ty_refs_is_mutable};
44
use rustc_errors::Applicability;
55
use rustc_hir::{Expr, Mutability};
66
use rustc_lint::LateContext;
7-
use rustc_middle::ty;
87
use rustc_span::{Span, sym};
98

109
use super::MUT_MUTEX_LOCK;
1110

1211
pub(super) fn check<'tcx>(cx: &LateContext<'tcx>, ex: &'tcx Expr<'tcx>, recv: &'tcx Expr<'tcx>, name_span: Span) {
1312
if matches!(expr_custom_deref_adjustment(cx, recv), None | Some(Mutability::Mut))
14-
&& let ty::Ref(_, _, Mutability::Mut) = cx.typeck_results().expr_ty(recv).kind()
13+
&& let (_, ref_depth, Mutability::Mut) = peel_mid_ty_refs_is_mutable(cx.typeck_results().expr_ty(recv))
14+
&& ref_depth >= 1
1515
&& let Some(method_id) = cx.typeck_results().type_dependent_def_id(ex.hir_id)
1616
&& let Some(impl_id) = cx.tcx.impl_of_method(method_id)
1717
&& is_type_diagnostic_item(cx, cx.tcx.type_of(impl_id).instantiate_identity(), sym::Mutex)

tests/ui/mut_mutex_lock.fixed

+12
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,11 @@ fn mut_mutex_lock() {
99

1010
let mut value = value_mutex.get_mut().unwrap();
1111
*value += 1;
12+
13+
let mut value_mutex = Mutex::new(42_u8);
14+
let mut_ref_mut_ref_mutex = &mut &mut value_mutex;
15+
let mut value = mut_ref_mut_ref_mutex.get_mut().unwrap();
16+
*value += 1;
1217
}
1318

1419
fn no_owned_mutex_lock() {
@@ -24,4 +29,11 @@ fn issue9415() {
2429
*guard += 1;
2530
}
2631

32+
fn mut_ref_ref_mutex_lock() {
33+
let mutex = Mutex::new(42_u8);
34+
let mut_ref_ref_mutex = &mut &mutex;
35+
let mut guard = mut_ref_ref_mutex.lock().unwrap();
36+
*guard += 1;
37+
}
38+
2739
fn main() {}

tests/ui/mut_mutex_lock.rs

+12
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,11 @@ fn mut_mutex_lock() {
99

1010
let mut value = value_mutex.lock().unwrap();
1111
*value += 1;
12+
13+
let mut value_mutex = Mutex::new(42_u8);
14+
let mut_ref_mut_ref_mutex = &mut &mut value_mutex;
15+
let mut value = mut_ref_mut_ref_mutex.lock().unwrap();
16+
*value += 1;
1217
}
1318

1419
fn no_owned_mutex_lock() {
@@ -24,4 +29,11 @@ fn issue9415() {
2429
*guard += 1;
2530
}
2631

32+
fn mut_ref_ref_mutex_lock() {
33+
let mutex = Mutex::new(42_u8);
34+
let mut_ref_ref_mutex = &mut &mutex;
35+
let mut guard = mut_ref_ref_mutex.lock().unwrap();
36+
*guard += 1;
37+
}
38+
2739
fn main() {}

tests/ui/mut_mutex_lock.stderr

+7-1
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,11 @@ LL | let mut value = value_mutex.lock().unwrap();
77
= note: `-D clippy::mut-mutex-lock` implied by `-D warnings`
88
= help: to override `-D warnings` add `#[allow(clippy::mut_mutex_lock)]`
99

10-
error: aborting due to 1 previous error
10+
error: calling `&mut Mutex::lock` unnecessarily locks an exclusive (mutable) reference
11+
--> tests/ui/mut_mutex_lock.rs:15:43
12+
|
13+
LL | let mut value = mut_ref_mut_ref_mutex.lock().unwrap();
14+
| ^^^^ help: change this to: `get_mut`
15+
16+
error: aborting due to 2 previous errors
1117

0 commit comments

Comments
 (0)