2021-09-30 11:45:03 +00:00
|
|
|
use clippy_utils::diagnostics::{span_lint_and_sugg, span_lint_and_then};
|
2022-01-04 22:32:02 +00:00
|
|
|
use clippy_utils::macros::{FormatArgsArg, FormatArgsExpn};
|
2021-09-30 11:45:03 +00:00
|
|
|
use clippy_utils::source::snippet_opt;
|
|
|
|
use clippy_utils::ty::implements_trait;
|
|
|
|
use clippy_utils::{is_diag_trait_item, match_def_path, paths};
|
|
|
|
use if_chain::if_chain;
|
|
|
|
use rustc_errors::Applicability;
|
|
|
|
use rustc_hir::{Expr, ExprKind};
|
|
|
|
use rustc_lint::{LateContext, LateLintPass};
|
|
|
|
use rustc_middle::ty::adjustment::{Adjust, Adjustment};
|
|
|
|
use rustc_middle::ty::Ty;
|
|
|
|
use rustc_session::{declare_lint_pass, declare_tool_lint};
|
2021-11-02 21:08:09 +00:00
|
|
|
use rustc_span::{sym, ExpnData, ExpnKind, Span, Symbol};
|
2021-09-30 11:45:03 +00:00
|
|
|
|
|
|
|
declare_clippy_lint! {
|
|
|
|
/// ### What it does
|
|
|
|
/// Detects `format!` within the arguments of another macro that does
|
|
|
|
/// formatting such as `format!` itself, `write!` or `println!`. Suggests
|
|
|
|
/// inlining the `format!` call.
|
|
|
|
///
|
|
|
|
/// ### Why is this bad?
|
|
|
|
/// The recommended code is both shorter and avoids a temporary allocation.
|
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
/// ```rust
|
|
|
|
/// # use std::panic::Location;
|
|
|
|
/// println!("error: {}", format!("something failed at {}", Location::caller()));
|
|
|
|
/// ```
|
|
|
|
/// Use instead:
|
|
|
|
/// ```rust
|
|
|
|
/// # use std::panic::Location;
|
|
|
|
/// println!("error: something failed at {}", Location::caller());
|
|
|
|
/// ```
|
Added `clippy::version` attribute to all normal lints
So, some context for this, well, more a story. I'm not used to scripting, I've never really scripted anything, even if it's a valuable skill. I just never really needed it. Now, `@flip1995` correctly suggested using a script for this in `rust-clippy#7813`...
And I decided to write a script using nushell because why not? This was a mistake... I spend way more time on this than I would like to admit. It has definitely been more than 4 hours. It shouldn't take that long, but me being new to scripting and nushell just wasn't a good mixture... Anyway, here is the script that creates another script which adds the versions. Fun...
Just execute this on the `gh-pages` branch and the resulting `replacer.sh` in `clippy_lints` and it should all work.
```nu
mv v0.0.212 rust-1.00.0;
mv beta rust-1.57.0;
mv master rust-1.58.0;
let paths = (open ./rust-1.58.0/lints.json | select id id_span | flatten | select id path);
let versions = (
ls | where name =~ "rust-" | select name | format {name}/lints.json |
each { open $it | select id | insert version $it | str substring "5,11" version} |
group-by id | rotate counter-clockwise id version |
update version {get version | first 1} | flatten | select id version);
$paths | each { |row|
let version = ($versions | where id == ($row.id) | format {version})
let idu = ($row.id | str upcase)
$"sed -i '0,/($idu),/{s/pub ($idu),/#[clippy::version = "($version)"]\n pub ($idu),/}' ($row.path)"
} | str collect ";" | str find-replace --all '1.00.0' 'pre 1.29.0' | save "replacer.sh";
```
And this still has some problems, but at this point I just want to be done -.-
2021-10-21 19:06:26 +00:00
|
|
|
#[clippy::version = "1.58.0"]
|
2021-09-30 11:45:03 +00:00
|
|
|
pub FORMAT_IN_FORMAT_ARGS,
|
|
|
|
perf,
|
|
|
|
"`format!` used in a macro that does formatting"
|
|
|
|
}
|
|
|
|
|
|
|
|
declare_clippy_lint! {
|
|
|
|
/// ### What it does
|
|
|
|
/// Checks for [`ToString::to_string`](https://doc.rust-lang.org/std/string/trait.ToString.html#tymethod.to_string)
|
|
|
|
/// applied to a type that implements [`Display`](https://doc.rust-lang.org/std/fmt/trait.Display.html)
|
|
|
|
/// in a macro that does formatting.
|
|
|
|
///
|
|
|
|
/// ### Why is this bad?
|
|
|
|
/// Since the type implements `Display`, the use of `to_string` is
|
|
|
|
/// unnecessary.
|
|
|
|
///
|
|
|
|
/// ### Example
|
|
|
|
/// ```rust
|
|
|
|
/// # use std::panic::Location;
|
|
|
|
/// println!("error: something failed at {}", Location::caller().to_string());
|
|
|
|
/// ```
|
|
|
|
/// Use instead:
|
|
|
|
/// ```rust
|
|
|
|
/// # use std::panic::Location;
|
|
|
|
/// println!("error: something failed at {}", Location::caller());
|
|
|
|
/// ```
|
Added `clippy::version` attribute to all normal lints
So, some context for this, well, more a story. I'm not used to scripting, I've never really scripted anything, even if it's a valuable skill. I just never really needed it. Now, `@flip1995` correctly suggested using a script for this in `rust-clippy#7813`...
And I decided to write a script using nushell because why not? This was a mistake... I spend way more time on this than I would like to admit. It has definitely been more than 4 hours. It shouldn't take that long, but me being new to scripting and nushell just wasn't a good mixture... Anyway, here is the script that creates another script which adds the versions. Fun...
Just execute this on the `gh-pages` branch and the resulting `replacer.sh` in `clippy_lints` and it should all work.
```nu
mv v0.0.212 rust-1.00.0;
mv beta rust-1.57.0;
mv master rust-1.58.0;
let paths = (open ./rust-1.58.0/lints.json | select id id_span | flatten | select id path);
let versions = (
ls | where name =~ "rust-" | select name | format {name}/lints.json |
each { open $it | select id | insert version $it | str substring "5,11" version} |
group-by id | rotate counter-clockwise id version |
update version {get version | first 1} | flatten | select id version);
$paths | each { |row|
let version = ($versions | where id == ($row.id) | format {version})
let idu = ($row.id | str upcase)
$"sed -i '0,/($idu),/{s/pub ($idu),/#[clippy::version = "($version)"]\n pub ($idu),/}' ($row.path)"
} | str collect ";" | str find-replace --all '1.00.0' 'pre 1.29.0' | save "replacer.sh";
```
And this still has some problems, but at this point I just want to be done -.-
2021-10-21 19:06:26 +00:00
|
|
|
#[clippy::version = "1.58.0"]
|
2021-09-30 11:45:03 +00:00
|
|
|
pub TO_STRING_IN_FORMAT_ARGS,
|
|
|
|
perf,
|
|
|
|
"`to_string` applied to a type that implements `Display` in format args"
|
|
|
|
}
|
|
|
|
|
|
|
|
declare_lint_pass!(FormatArgs => [FORMAT_IN_FORMAT_ARGS, TO_STRING_IN_FORMAT_ARGS]);
|
|
|
|
|
|
|
|
const FORMAT_MACRO_PATHS: &[&[&str]] = &[
|
|
|
|
&paths::FORMAT_ARGS_MACRO,
|
|
|
|
&paths::ASSERT_EQ_MACRO,
|
|
|
|
&paths::ASSERT_MACRO,
|
|
|
|
&paths::ASSERT_NE_MACRO,
|
|
|
|
&paths::EPRINT_MACRO,
|
|
|
|
&paths::EPRINTLN_MACRO,
|
|
|
|
&paths::PRINT_MACRO,
|
|
|
|
&paths::PRINTLN_MACRO,
|
|
|
|
&paths::WRITE_MACRO,
|
|
|
|
&paths::WRITELN_MACRO,
|
|
|
|
];
|
|
|
|
|
|
|
|
const FORMAT_MACRO_DIAG_ITEMS: &[Symbol] = &[sym::format_macro, sym::std_panic_macro];
|
|
|
|
|
|
|
|
impl<'tcx> LateLintPass<'tcx> for FormatArgs {
|
|
|
|
fn check_expr(&mut self, cx: &LateContext<'tcx>, expr: &'tcx Expr<'tcx>) {
|
|
|
|
if_chain! {
|
2022-01-04 22:32:02 +00:00
|
|
|
if let Some(format_args) = FormatArgsExpn::parse(cx, expr);
|
2021-09-30 11:45:03 +00:00
|
|
|
let expr_expn_data = expr.span.ctxt().outer_expn_data();
|
|
|
|
let outermost_expn_data = outermost_expn_data(expr_expn_data);
|
|
|
|
if let Some(macro_def_id) = outermost_expn_data.macro_def_id;
|
|
|
|
if FORMAT_MACRO_PATHS
|
|
|
|
.iter()
|
|
|
|
.any(|path| match_def_path(cx, macro_def_id, path))
|
|
|
|
|| FORMAT_MACRO_DIAG_ITEMS
|
|
|
|
.iter()
|
|
|
|
.any(|diag_item| cx.tcx.is_diagnostic_item(*diag_item, macro_def_id));
|
|
|
|
if let ExpnKind::Macro(_, name) = outermost_expn_data.kind;
|
|
|
|
if let Some(args) = format_args.args();
|
|
|
|
then {
|
|
|
|
for (i, arg) in args.iter().enumerate() {
|
2022-01-04 22:32:02 +00:00
|
|
|
if arg.format_trait != sym::Display {
|
2021-09-30 11:45:03 +00:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if arg.has_string_formatting() {
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if is_aliased(&args, i) {
|
|
|
|
continue;
|
|
|
|
}
|
2022-01-04 22:32:02 +00:00
|
|
|
check_format_in_format_args(cx, outermost_expn_data.call_site, name, arg.value);
|
|
|
|
check_to_string_in_format_args(cx, name, arg.value);
|
2021-09-30 11:45:03 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn outermost_expn_data(expn_data: ExpnData) -> ExpnData {
|
|
|
|
if expn_data.call_site.from_expansion() {
|
|
|
|
outermost_expn_data(expn_data.call_site.ctxt().outer_expn_data())
|
|
|
|
} else {
|
|
|
|
expn_data
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-01-04 22:32:02 +00:00
|
|
|
fn check_format_in_format_args(cx: &LateContext<'_>, call_site: Span, name: Symbol, arg: &Expr<'_>) {
|
|
|
|
let expn_data = arg.span.ctxt().outer_expn_data();
|
|
|
|
if expn_data.call_site.from_expansion() {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
let Some(mac_id) = expn_data.macro_def_id else { return };
|
|
|
|
if !cx.tcx.is_diagnostic_item(sym::format_macro, mac_id) {
|
|
|
|
return;
|
2021-09-30 11:45:03 +00:00
|
|
|
}
|
2022-01-04 22:32:02 +00:00
|
|
|
span_lint_and_then(
|
|
|
|
cx,
|
|
|
|
FORMAT_IN_FORMAT_ARGS,
|
|
|
|
call_site,
|
|
|
|
&format!("`format!` in `{}!` args", name),
|
|
|
|
|diag| {
|
|
|
|
diag.help(&format!(
|
|
|
|
"combine the `format!(..)` arguments with the outer `{}!(..)` call",
|
|
|
|
name
|
|
|
|
));
|
|
|
|
diag.help("or consider changing `format!` to `format_args!`");
|
|
|
|
},
|
|
|
|
);
|
2021-09-30 11:45:03 +00:00
|
|
|
}
|
|
|
|
|
2022-01-04 22:32:02 +00:00
|
|
|
fn check_to_string_in_format_args(cx: &LateContext<'_>, name: Symbol, value: &Expr<'_>) {
|
2021-09-30 11:45:03 +00:00
|
|
|
if_chain! {
|
|
|
|
if !value.span.from_expansion();
|
|
|
|
if let ExprKind::MethodCall(_, _, [receiver], _) = value.kind;
|
|
|
|
if let Some(method_def_id) = cx.typeck_results().type_dependent_def_id(value.hir_id);
|
|
|
|
if is_diag_trait_item(cx, method_def_id, sym::ToString);
|
|
|
|
let receiver_ty = cx.typeck_results().expr_ty(receiver);
|
|
|
|
if let Some(display_trait_id) = cx.tcx.get_diagnostic_item(sym::Display);
|
|
|
|
if let Some(receiver_snippet) = snippet_opt(cx, receiver.span);
|
|
|
|
then {
|
|
|
|
let (n_needed_derefs, target) = count_needed_derefs(
|
|
|
|
receiver_ty,
|
|
|
|
cx.typeck_results().expr_adjustments(receiver).iter(),
|
|
|
|
);
|
|
|
|
if implements_trait(cx, target, display_trait_id, &[]) {
|
|
|
|
if n_needed_derefs == 0 {
|
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
TO_STRING_IN_FORMAT_ARGS,
|
|
|
|
value.span.with_lo(receiver.span.hi()),
|
|
|
|
&format!("`to_string` applied to a type that implements `Display` in `{}!` args", name),
|
|
|
|
"remove this",
|
|
|
|
String::new(),
|
|
|
|
Applicability::MachineApplicable,
|
|
|
|
);
|
|
|
|
} else {
|
|
|
|
span_lint_and_sugg(
|
|
|
|
cx,
|
|
|
|
TO_STRING_IN_FORMAT_ARGS,
|
|
|
|
value.span,
|
|
|
|
&format!("`to_string` applied to a type that implements `Display` in `{}!` args", name),
|
|
|
|
"use this",
|
|
|
|
format!("{:*>width$}{}", "", receiver_snippet, width = n_needed_derefs),
|
|
|
|
Applicability::MachineApplicable,
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Returns true if `args[i]` "refers to" or "is referred to by" another argument.
|
|
|
|
fn is_aliased(args: &[FormatArgsArg<'_>], i: usize) -> bool {
|
|
|
|
let value = args[i].value;
|
|
|
|
args.iter()
|
|
|
|
.enumerate()
|
|
|
|
.any(|(j, arg)| i != j && std::ptr::eq(value, arg.value))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn count_needed_derefs<'tcx, I>(mut ty: Ty<'tcx>, mut iter: I) -> (usize, Ty<'tcx>)
|
|
|
|
where
|
|
|
|
I: Iterator<Item = &'tcx Adjustment<'tcx>>,
|
|
|
|
{
|
|
|
|
let mut n_total = 0;
|
|
|
|
let mut n_needed = 0;
|
|
|
|
loop {
|
|
|
|
if let Some(Adjustment {
|
|
|
|
kind: Adjust::Deref(overloaded_deref),
|
|
|
|
target,
|
|
|
|
}) = iter.next()
|
|
|
|
{
|
|
|
|
n_total += 1;
|
|
|
|
if overloaded_deref.is_some() {
|
|
|
|
n_needed = n_total;
|
|
|
|
}
|
|
|
|
ty = target;
|
|
|
|
} else {
|
|
|
|
return (n_needed, ty);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|