Add format_args_collector internal lint

This commit is contained in:
Alex Macleod 2023-02-02 15:11:31 +00:00
parent a2906a1598
commit dc23e42fb6
5 changed files with 34 additions and 20 deletions

View File

@ -533,6 +533,7 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
.collect(), .collect(),
)) ))
}); });
store.register_early_pass(|| Box::new(utils::format_args_collector::FormatArgsCollector));
store.register_late_pass(|_| Box::new(utils::dump_hir::DumpHir)); store.register_late_pass(|_| Box::new(utils::dump_hir::DumpHir));
store.register_late_pass(|_| Box::new(utils::author::Author)); store.register_late_pass(|_| Box::new(utils::author::Author));
let await_holding_invalid_types = conf.await_holding_invalid_types.clone(); let await_holding_invalid_types = conf.await_holding_invalid_types.clone();
@ -870,7 +871,6 @@ pub fn register_plugins(store: &mut rustc_lint::LintStore, sess: &Session, conf:
let allow_dbg_in_tests = conf.allow_dbg_in_tests; let allow_dbg_in_tests = conf.allow_dbg_in_tests;
store.register_late_pass(move |_| Box::new(dbg_macro::DbgMacro::new(allow_dbg_in_tests))); store.register_late_pass(move |_| Box::new(dbg_macro::DbgMacro::new(allow_dbg_in_tests)));
let allow_print_in_tests = conf.allow_print_in_tests; let allow_print_in_tests = conf.allow_print_in_tests;
store.register_early_pass(move || Box::new(write::Write::new(allow_print_in_tests)));
store.register_late_pass(move |_| Box::new(write::Write::new(allow_print_in_tests))); store.register_late_pass(move |_| Box::new(write::Write::new(allow_print_in_tests)));
let cargo_ignore_publish = conf.cargo_ignore_publish; let cargo_ignore_publish = conf.cargo_ignore_publish;
store.register_late_pass(move |_| { store.register_late_pass(move |_| {

View File

@ -0,0 +1,23 @@
use clippy_utils::macros::collect_ast_format_args;
use rustc_ast::{Expr, ExprKind};
use rustc_lint::{EarlyContext, EarlyLintPass};
use rustc_session::{declare_lint_pass, declare_tool_lint};
declare_clippy_lint! {
/// ### What it does
/// Collects [`rustc_ast::FormatArgs`] so that future late passes can call
/// [`clippy_utils::macros::find_format_args`]
pub FORMAT_ARGS_COLLECTOR,
internal_warn,
"collects `format_args` AST nodes for use in later lints"
}
declare_lint_pass!(FormatArgsCollector => [FORMAT_ARGS_COLLECTOR]);
impl EarlyLintPass for FormatArgsCollector {
fn check_expr(&mut self, _: &EarlyContext<'_>, expr: &Expr) {
if let ExprKind::FormatArgs(args) = &expr.kind {
collect_ast_format_args(expr.span, args);
}
}
}

View File

@ -1,5 +1,6 @@
pub mod author; pub mod author;
pub mod conf; pub mod conf;
pub mod dump_hir; pub mod dump_hir;
pub mod format_args_collector;
#[cfg(feature = "internal")] #[cfg(feature = "internal")]
pub mod internal_lints; pub mod internal_lints;

View File

@ -1,14 +1,12 @@
use clippy_utils::diagnostics::{span_lint, span_lint_and_then}; use clippy_utils::diagnostics::{span_lint, span_lint_and_then};
use clippy_utils::macros::{ use clippy_utils::macros::{find_format_args, format_arg_removal_span, root_macro_call_first_node, MacroCall};
find_format_args, format_arg_removal_span, populate_ast_format_args, root_macro_call_first_node, MacroCall,
};
use clippy_utils::source::{expand_past_previous_comma, snippet_opt}; use clippy_utils::source::{expand_past_previous_comma, snippet_opt};
use clippy_utils::{is_in_cfg_test, is_in_test_function}; use clippy_utils::{is_in_cfg_test, is_in_test_function};
use rustc_ast::token::LitKind; use rustc_ast::token::LitKind;
use rustc_ast::{FormatArgPosition, FormatArgs, FormatArgsPiece, FormatOptions, FormatPlaceholder, FormatTrait}; use rustc_ast::{FormatArgPosition, FormatArgs, FormatArgsPiece, FormatOptions, FormatPlaceholder, FormatTrait};
use rustc_errors::Applicability; use rustc_errors::Applicability;
use rustc_hir::{Expr, Impl, Item, ItemKind}; use rustc_hir::{Expr, Impl, Item, ItemKind};
use rustc_lint::{EarlyLintPass, LateContext, LateLintPass, LintContext}; use rustc_lint::{LateContext, LateLintPass, LintContext};
use rustc_session::{declare_tool_lint, impl_lint_pass}; use rustc_session::{declare_tool_lint, impl_lint_pass};
use rustc_span::{sym, BytePos}; use rustc_span::{sym, BytePos};
@ -260,12 +258,6 @@ pub fn new(allow_print_in_tests: bool) -> Self {
WRITE_LITERAL, WRITE_LITERAL,
]); ]);
impl EarlyLintPass for Write {
fn check_expr(&mut self, _: &rustc_lint::EarlyContext<'_>, expr: &rustc_ast::Expr) {
populate_ast_format_args(expr);
}
}
impl<'tcx> LateLintPass<'tcx> for Write { impl<'tcx> LateLintPass<'tcx> for Write {
fn check_item(&mut self, cx: &LateContext<'_>, item: &Item<'_>) { fn check_item(&mut self, cx: &LateContext<'_>, item: &Item<'_>) {
if is_debug_impl(cx, item) { if is_debug_impl(cx, item) {

View File

@ -19,7 +19,7 @@
use rustc_span::{sym, BytePos, ExpnData, ExpnId, ExpnKind, Pos, Span, SpanData, Symbol}; use rustc_span::{sym, BytePos, ExpnData, ExpnId, ExpnKind, Pos, Span, SpanData, Symbol};
use std::cell::RefCell; use std::cell::RefCell;
use std::iter::{once, zip}; use std::iter::{once, zip};
use std::ops::{ControlFlow, Deref}; use std::ops::ControlFlow;
use std::sync::atomic::{AtomicBool, Ordering}; use std::sync::atomic::{AtomicBool, Ordering};
const FORMAT_MACRO_DIAG_ITEMS: &[Symbol] = &[ const FORMAT_MACRO_DIAG_ITEMS: &[Symbol] = &[
@ -361,14 +361,12 @@ fn is_assert_arg(cx: &LateContext<'_>, expr: &Expr<'_>, assert_expn: ExpnId) ->
}; };
} }
/// Record [`rustc_ast::FormatArgs`] for use in late lint passes, this only needs to be called by /// Record [`rustc_ast::FormatArgs`] for use in late lint passes, this should only be called by
/// one lint pass. /// `FormatArgsCollector`
pub fn populate_ast_format_args(expr: &rustc_ast::Expr) { pub fn collect_ast_format_args(span: Span, format_args: &FormatArgs) {
if let rustc_ast::ExprKind::FormatArgs(args) = &expr.kind { AST_FORMAT_ARGS.with(|ast_format_args| {
AST_FORMAT_ARGS.with(|ast_format_args| { ast_format_args.borrow_mut().insert(span, format_args.clone());
ast_format_args.borrow_mut().insert(expr.span, args.deref().clone()); });
});
}
} }
/// Calls `callback` with an AST [`FormatArgs`] node if one is found /// Calls `callback` with an AST [`FormatArgs`] node if one is found