-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Add [manual_ilog2
] lint
#13331
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: master
Are you sure you want to change the base?
Add [manual_ilog2
] lint
#13331
Changes from all commits
b97f731
3781026
40cd0f8
a9a385c
51be384
bd65f17
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,102 @@ | ||
use clippy_config::msrvs::{self, Msrv}; | ||
use clippy_config::Conf; | ||
use clippy_utils::diagnostics::span_lint_and_sugg; | ||
use clippy_utils::source::snippet_with_applicability; | ||
use rustc_ast::LitKind; | ||
use rustc_data_structures::packed::Pu128; | ||
use rustc_errors::Applicability; | ||
use rustc_hir::{BinOpKind, Expr, ExprKind}; | ||
use rustc_lint::{LateContext, LateLintPass}; | ||
use rustc_middle::ty; | ||
use rustc_session::impl_lint_pass; | ||
|
||
declare_clippy_lint! { | ||
/// ### What it does | ||
/// Checks for expressions like `31 - x.leading_zeros()` or `x.ilog(2)` which are manual | ||
/// reimplementations of `x.ilog2()` | ||
/// ### Why is this bad? | ||
/// Manual reimplementations of `ilog2` increase code complexity for little benefit. | ||
/// ### Example | ||
/// ```no_run | ||
/// let x: u32 = 5; | ||
/// let log = 31 - x.leading_zeros(); | ||
/// ``` | ||
/// Use instead: | ||
/// ```no_run | ||
/// let x: u32 = 5; | ||
/// let log = x.ilog2(); | ||
/// ``` | ||
#[clippy::version = "1.82.0"] | ||
pub MANUAL_ILOG2, | ||
complexity, | ||
"manually reimplementing `ilog2`" | ||
} | ||
|
||
pub struct ManualIlog2 { | ||
msrv: Msrv, | ||
} | ||
|
||
impl ManualIlog2 { | ||
#[must_use] | ||
pub fn new(conf: &Conf) -> Self { | ||
Self { | ||
msrv: conf.msrv.clone(), | ||
} | ||
} | ||
} | ||
|
||
impl_lint_pass!(ManualIlog2 => [MANUAL_ILOG2]); | ||
|
||
impl LateLintPass<'_> for ManualIlog2 { | ||
fn check_expr(&mut self, cx: &LateContext<'_>, expr: &Expr<'_>) { | ||
if !self.msrv.meets(msrvs::MANUAL_ILOG2) { | ||
return; | ||
} | ||
let mut applicability = Applicability::MachineApplicable; | ||
|
||
if let ExprKind::Binary(op, left, right) = expr.kind | ||
&& BinOpKind::Sub == op.node | ||
&& let ExprKind::Lit(lit) = left.kind | ||
&& let LitKind::Int(Pu128(val), _) = lit.node | ||
&& let ExprKind::MethodCall(method_name, reciever, _, _) = right.kind | ||
&& method_name.ident.as_str() == "leading_zeros" | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This will also need a check for an inherent method. |
||
{ | ||
let type_ = cx.typeck_results().expr_ty(reciever); | ||
let Some(bit_width) = (match type_.kind() { | ||
ty::Int(itype) => itype.bit_width(), | ||
ty::Uint(itype) => itype.bit_width(), | ||
_ => return, | ||
}) else { | ||
return; | ||
}; | ||
if val == u128::from(bit_width) - 1 { | ||
suggest_change(cx, reciever, expr, &mut applicability); | ||
} | ||
} | ||
|
||
if let ExprKind::MethodCall(method_name, reciever, args, _) = expr.kind | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Use |
||
&& method_name.ident.as_str() == "ilog" | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. The string check should be moved to after others. It requires locking the symbol table. |
||
&& args.len() == 1 | ||
&& let ExprKind::Lit(lit) = args[0].kind | ||
&& let LitKind::Int(Pu128(2), _) = lit.node | ||
&& cx.typeck_results().expr_ty(reciever).is_integral() | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This should be a check for an inherent method rather than just a type check (could be a trait function with the same name). You can add |
||
{ | ||
suggest_change(cx, reciever, expr, &mut applicability); | ||
} | ||
} | ||
|
||
extract_msrv_attr!(LateContext); | ||
} | ||
|
||
fn suggest_change(cx: &LateContext<'_>, reciever: &Expr<'_>, full_expr: &Expr<'_>, applicability: &mut Applicability) { | ||
let sugg = snippet_with_applicability(cx, reciever.span, "..", applicability); | ||
span_lint_and_sugg( | ||
cx, | ||
MANUAL_ILOG2, | ||
full_expr.span, | ||
"manually reimplementing `ilog2`", | ||
"consider using .ilog2()", | ||
format!("{sugg}.ilog2()"), | ||
*applicability, | ||
); | ||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
#![warn(clippy::manual_ilog2)] | ||
|
||
fn main() { | ||
let a: u32 = 5; | ||
let _ = a.ilog2(); | ||
let _ = a.ilog2(); | ||
|
||
let b: u64 = 543534; | ||
let _ = b.ilog2(); | ||
|
||
let _ = 64 - b.leading_zeros(); // No lint | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Is it check Suppose no need to check this additionally There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. The manual ilog2 implementation is |
||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
#![warn(clippy::manual_ilog2)] | ||
|
||
fn main() { | ||
let a: u32 = 5; | ||
let _ = 31 - a.leading_zeros(); | ||
let _ = a.ilog(2); | ||
|
||
let b: u64 = 543534; | ||
let _ = 63 - b.leading_zeros(); | ||
|
||
let _ = 64 - b.leading_zeros(); // No lint because manual ilog2 is BIT_WIDTH - 1 - x.leading_zeros() | ||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,23 @@ | ||
error: manually reimplementing `ilog2` | ||
--> tests/ui/manual_ilog2.rs:5:13 | ||
| | ||
LL | let _ = 31 - a.leading_zeros(); | ||
| ^^^^^^^^^^^^^^^^^^^^^^ help: consider using .ilog2(): `a.ilog2()` | ||
| | ||
= note: `-D clippy::manual-ilog2` implied by `-D warnings` | ||
= help: to override `-D warnings` add `#[allow(clippy::manual_ilog2)]` | ||
|
||
error: manually reimplementing `ilog2` | ||
--> tests/ui/manual_ilog2.rs:6:13 | ||
| | ||
LL | let _ = a.ilog(2); | ||
| ^^^^^^^^^ help: consider using .ilog2(): `a.ilog2()` | ||
|
||
error: manually reimplementing `ilog2` | ||
--> tests/ui/manual_ilog2.rs:9:13 | ||
| | ||
LL | let _ = 63 - b.leading_zeros(); | ||
| ^^^^^^^^^^^^^^^^^^^^^^ help: consider using .ilog2(): `b.ilog2()` | ||
|
||
error: aborting due to 3 previous errors | ||
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It's better to check the HIR tree first.