correct lint

This commit is contained in:
lyj 2021-06-03 14:56:34 +08:00
parent 84c511facf
commit c0f3c2fe27
7 changed files with 127 additions and 10 deletions

View File

@ -2611,6 +2611,7 @@ Released 2018-09-13
[`range_step_by_zero`]: https://rust-lang.github.io/rust-clippy/master/index.html#range_step_by_zero [`range_step_by_zero`]: https://rust-lang.github.io/rust-clippy/master/index.html#range_step_by_zero
[`range_zip_with_len`]: https://rust-lang.github.io/rust-clippy/master/index.html#range_zip_with_len [`range_zip_with_len`]: https://rust-lang.github.io/rust-clippy/master/index.html#range_zip_with_len
[`rc_buffer`]: https://rust-lang.github.io/rust-clippy/master/index.html#rc_buffer [`rc_buffer`]: https://rust-lang.github.io/rust-clippy/master/index.html#rc_buffer
[`rc_mutex`]: https://rust-lang.github.io/rust-clippy/master/index.html#rc_mutex
[`redundant_allocation`]: https://rust-lang.github.io/rust-clippy/master/index.html#redundant_allocation [`redundant_allocation`]: https://rust-lang.github.io/rust-clippy/master/index.html#redundant_allocation
[`redundant_clone`]: https://rust-lang.github.io/rust-clippy/master/index.html#redundant_clone [`redundant_clone`]: https://rust-lang.github.io/rust-clippy/master/index.html#redundant_clone
[`redundant_closure`]: https://rust-lang.github.io/rust-clippy/master/index.html#redundant_closure [`redundant_closure`]: https://rust-lang.github.io/rust-clippy/master/index.html#redundant_closure

View File

@ -931,6 +931,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
types::LINKEDLIST, types::LINKEDLIST,
types::OPTION_OPTION, types::OPTION_OPTION,
types::RC_BUFFER, types::RC_BUFFER,
types::RC_MUTEX,
types::REDUNDANT_ALLOCATION, types::REDUNDANT_ALLOCATION,
types::TYPE_COMPLEXITY, types::TYPE_COMPLEXITY,
types::VEC_BOX, types::VEC_BOX,
@ -1027,6 +1028,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
LintId::of(strings::STRING_TO_STRING), LintId::of(strings::STRING_TO_STRING),
LintId::of(strings::STR_TO_STRING), LintId::of(strings::STR_TO_STRING),
LintId::of(types::RC_BUFFER), LintId::of(types::RC_BUFFER),
LintId::of(types::RC_MUTEX),
LintId::of(unnecessary_self_imports::UNNECESSARY_SELF_IMPORTS), LintId::of(unnecessary_self_imports::UNNECESSARY_SELF_IMPORTS),
LintId::of(unwrap_in_result::UNWRAP_IN_RESULT), LintId::of(unwrap_in_result::UNWRAP_IN_RESULT),
LintId::of(verbose_file_reads::VERBOSE_FILE_READS), LintId::of(verbose_file_reads::VERBOSE_FILE_READS),

View File

@ -3,11 +3,11 @@
mod linked_list; mod linked_list;
mod option_option; mod option_option;
mod rc_buffer; mod rc_buffer;
mod rc_mutex;
mod redundant_allocation; mod redundant_allocation;
mod type_complexity; mod type_complexity;
mod utils; mod utils;
mod vec_box; mod vec_box;
mod rc_mutex;
use rustc_hir as hir; use rustc_hir as hir;
use rustc_hir::intravisit::FnKind; use rustc_hir::intravisit::FnKind;
@ -252,10 +252,42 @@
} }
declare_clippy_lint! { declare_clippy_lint! {
/// TODO /// **What it does:** Checks for `Rc<Mutex<T>>`.
///
/// **Why is this bad?** `Rc<Mutex<T>>` may introduce a deadlock in single thread. Consider
/// using `Rc<RefCell<T>>` instead.
/// ```rust
/// fn main() {
/// use std::rc::Rc;
/// use std::sync::Mutex;
///
/// let a: Rc<Mutex<i32>> = Rc::new(Mutex::new(1));
/// let a_clone = a.clone();
/// let mut data = a.lock().unwrap();
/// println!("{:?}", *a_clone.lock().unwrap());
/// *data = 10;
/// }
/// ```
///
/// **Known problems:** `Rc<RefCell<T>>` may panic in runtime.
///
/// **Example:**
/// ```rust,ignore
/// use std::rc::Rc;
/// use std::sync::Mutex;
/// fn foo(interned: Rc<Mutex<i32>>) { ... }
/// ```
///
/// Better:
///
/// ```rust,ignore
/// use std::rc::Rc;
/// use std::cell::RefCell
/// fn foo(interned: Rc<RefCell<i32>>) { ... }
/// ```
pub RC_MUTEX, pub RC_MUTEX,
restriction, restriction,
"usage of Mutex inside Rc" "usage of `Rc<Mutex<T>>`"
} }
pub struct Types { pub struct Types {
@ -263,7 +295,7 @@ pub struct Types {
type_complexity_threshold: u64, type_complexity_threshold: u64,
} }
impl_lint_pass!(Types => [BOX_VEC, VEC_BOX, OPTION_OPTION, LINKEDLIST, BORROWED_BOX, REDUNDANT_ALLOCATION, RC_BUFFER, TYPE_COMPLEXITY,RC_MUTEX]); impl_lint_pass!(Types => [BOX_VEC, VEC_BOX, OPTION_OPTION, LINKEDLIST, BORROWED_BOX, REDUNDANT_ALLOCATION, RC_BUFFER, RC_MUTEX, TYPE_COMPLEXITY]);
impl<'tcx> LateLintPass<'tcx> for Types { impl<'tcx> LateLintPass<'tcx> for Types {
fn check_fn(&mut self, cx: &LateContext<'_>, _: FnKind<'_>, decl: &FnDecl<'_>, _: &Body<'_>, _: Span, id: HirId) { fn check_fn(&mut self, cx: &LateContext<'_>, _: FnKind<'_>, decl: &FnDecl<'_>, _: &Body<'_>, _: Span, id: HirId) {

View File

@ -1,20 +1,24 @@
use clippy_utils::diagnostics::span_lint_and_sugg; use clippy_utils::diagnostics::span_lint_and_sugg;
use clippy_utils::{ get_qpath_generic_tys,is_ty_param_diagnostic_item};
use clippy_utils::source::snippet_with_applicability; use clippy_utils::source::snippet_with_applicability;
use clippy_utils::{get_qpath_generic_tys, is_ty_param_diagnostic_item};
use if_chain::if_chain;
use rustc_errors::Applicability; use rustc_errors::Applicability;
use rustc_hir::{self as hir, def_id::DefId, QPath}; use rustc_hir::{self as hir, def_id::DefId, QPath, TyKind};
use rustc_lint::LateContext; use rustc_lint::LateContext;
use rustc_span::symbol::sym; use rustc_span::symbol::sym;
// use rustc_middle::ty::Adt;
use super::RC_MUTEX; use super::RC_MUTEX;
pub(super) fn check(cx: &LateContext<'_>, hir_ty: &hir::Ty<'_>, qpath: &QPath<'_>, def_id: DefId) -> bool { pub(super) fn check(cx: &LateContext<'_>, hir_ty: &hir::Ty<'_>, qpath: &QPath<'_>, def_id: DefId) -> bool {
if cx.tcx.is_diagnostic_item(sym::Rc, def_id) { if_chain! {
if let Some(ty) = is_ty_param_diagnostic_item(cx, qpath, sym!(mutex_type)) { if cx.tcx.is_diagnostic_item(sym::Rc, def_id) ;
if let Some(ty) = is_ty_param_diagnostic_item(cx, qpath, sym!(mutex_type)) ;
if let TyKind::Path(ref qpath_inner)=ty.kind;
then{
let mut applicability = Applicability::MachineApplicable; let mut applicability = Applicability::MachineApplicable;
let inner_span = match get_qpath_generic_tys(qpath).skip(1).next() { let inner_span = match get_qpath_generic_tys(qpath_inner).next() {
Some(ty) => ty.span, Some(ty) => ty.span,
None => return false, None => return false,
}; };

28
tests/ui/rc_mutex.fixed Normal file
View File

@ -0,0 +1,28 @@
// run-rustfix
#![warn(clippy::rc_mutex)]
#![allow(unused_imports)]
#![allow(clippy::boxed_local, clippy::needless_pass_by_value)]
#![allow(clippy::blacklisted_name, unused_variables, dead_code)]
use std::cell::RefCell;
use std::rc::Rc;
use std::sync::Mutex;
pub struct MyStruct {}
pub struct SubT<T> {
foo: T,
}
pub enum MyEnum {
One,
Two,
}
pub fn test1<T>(foo: Rc<RefCell<T>>) {}
pub fn test2(foo: Rc<RefCell<MyEnum>>) {}
pub fn test3(foo: Rc<RefCell<SubT<usize>>>) {}
fn main() {}

28
tests/ui/rc_mutex.rs Normal file
View File

@ -0,0 +1,28 @@
// run-rustfix
#![warn(clippy::rc_mutex)]
#![allow(unused_imports)]
#![allow(clippy::boxed_local, clippy::needless_pass_by_value)]
#![allow(clippy::blacklisted_name, unused_variables, dead_code)]
use std::cell::RefCell;
use std::rc::Rc;
use std::sync::Mutex;
pub struct MyStruct {}
pub struct SubT<T> {
foo: T,
}
pub enum MyEnum {
One,
Two,
}
pub fn test1<T>(foo: Rc<Mutex<T>>) {}
pub fn test2(foo: Rc<Mutex<MyEnum>>) {}
pub fn test3(foo: Rc<Mutex<SubT<usize>>>) {}
fn main() {}

22
tests/ui/rc_mutex.stderr Normal file
View File

@ -0,0 +1,22 @@
error: you seem to be trying to use `Rc<Mutex<T>>`. Consider using `Rc<RefCell<T>>`
--> $DIR/rc_mutex.rs:22:22
|
LL | pub fn test1<T>(foo: Rc<Mutex<T>>) {}
| ^^^^^^^^^^^^ help: try: `Rc<RefCell<T>>`
|
= note: `-D clippy::rc-mutex` implied by `-D warnings`
error: you seem to be trying to use `Rc<Mutex<T>>`. Consider using `Rc<RefCell<T>>`
--> $DIR/rc_mutex.rs:24:19
|
LL | pub fn test2(foo: Rc<Mutex<MyEnum>>) {}
| ^^^^^^^^^^^^^^^^^ help: try: `Rc<RefCell<MyEnum>>`
error: you seem to be trying to use `Rc<Mutex<T>>`. Consider using `Rc<RefCell<T>>`
--> $DIR/rc_mutex.rs:26:19
|
LL | pub fn test3(foo: Rc<Mutex<SubT<usize>>>) {}
| ^^^^^^^^^^^^^^^^^^^^^^ help: try: `Rc<RefCell<SubT<usize>>>`
error: aborting due to 3 previous errors