|
1 | 1 | use clippy_utils::diagnostics::span_lint_and_sugg; |
2 | | -use clippy_utils::macros::root_macro_call_first_node; |
| 2 | +use clippy_utils::macros::root_macro_call; |
3 | 3 | use clippy_utils::source::snippet_with_applicability; |
4 | 4 | use clippy_utils::{is_in_cfg_test, is_in_test_function}; |
5 | 5 | use rustc_errors::Applicability; |
6 | 6 | use rustc_hir::{Expr, ExprKind, Node}; |
7 | 7 | use rustc_lint::{LateContext, LateLintPass, LintContext}; |
8 | 8 | use rustc_session::impl_lint_pass; |
9 | | -use rustc_span::sym; |
| 9 | +use rustc_span::{sym, Span}; |
10 | 10 |
|
11 | 11 | declare_clippy_lint! { |
12 | 12 | /// ### What it does |
@@ -34,82 +34,93 @@ declare_clippy_lint! { |
34 | 34 | #[derive(Copy, Clone)] |
35 | 35 | pub struct DbgMacro { |
36 | 36 | allow_dbg_in_tests: bool, |
| 37 | + /// Keep tracking of the previous `dbg!` macro call site in order to |
| 38 | + /// skip any other expressions from the same expansion, including nested macro calls. |
| 39 | + prev_dbg_call_site: Span, |
37 | 40 | } |
38 | 41 |
|
39 | 42 | impl_lint_pass!(DbgMacro => [DBG_MACRO]); |
40 | 43 |
|
41 | 44 | impl DbgMacro { |
42 | 45 | pub fn new(allow_dbg_in_tests: bool) -> Self { |
43 | | - DbgMacro { allow_dbg_in_tests } |
| 46 | + DbgMacro { |
| 47 | + allow_dbg_in_tests, |
| 48 | + prev_dbg_call_site: Span::default(), |
| 49 | + } |
44 | 50 | } |
45 | 51 | } |
46 | 52 |
|
47 | 53 | impl LateLintPass<'_> for DbgMacro { |
48 | 54 | fn check_expr(&mut self, cx: &LateContext<'_>, expr: &Expr<'_>) { |
49 | | - let Some(macro_call) = root_macro_call_first_node(cx, expr) else { |
| 55 | + let Some(macro_call) = |
| 56 | + root_macro_call(expr.span).filter(|mc| cx.tcx.is_diagnostic_item(sym::dbg_macro, mc.def_id)) |
| 57 | + else { |
50 | 58 | return; |
51 | 59 | }; |
52 | | - if cx.tcx.is_diagnostic_item(sym::dbg_macro, macro_call.def_id) { |
53 | | - // allows `dbg!` in test code if allow-dbg-in-test is set to true in clippy.toml |
54 | | - if self.allow_dbg_in_tests |
55 | | - && (is_in_test_function(cx.tcx, expr.hir_id) || is_in_cfg_test(cx.tcx, expr.hir_id)) |
56 | | - { |
57 | | - return; |
58 | | - } |
59 | | - let mut applicability = Applicability::MachineApplicable; |
60 | | - |
61 | | - let (sugg_span, suggestion) = match expr.peel_drop_temps().kind { |
62 | | - // dbg!() |
63 | | - ExprKind::Block(..) => { |
64 | | - // If the `dbg!` macro is a "free" statement and not contained within other expressions, |
65 | | - // remove the whole statement. |
66 | | - if let Node::Stmt(_) = cx.tcx.parent_hir_node(expr.hir_id) |
67 | | - && let Some(semi_span) = cx.sess().source_map().mac_call_stmt_semi_span(macro_call.span) |
68 | | - { |
69 | | - (macro_call.span.to(semi_span), String::new()) |
70 | | - } else { |
71 | | - (macro_call.span, String::from("()")) |
72 | | - } |
73 | | - }, |
74 | | - // dbg!(1) |
75 | | - ExprKind::Match(val, ..) => ( |
76 | | - macro_call.span, |
77 | | - snippet_with_applicability(cx, val.span.source_callsite(), "..", &mut applicability).to_string(), |
78 | | - ), |
79 | | - // dbg!(2, 3) |
80 | | - ExprKind::Tup( |
81 | | - [ |
82 | | - Expr { |
83 | | - kind: ExprKind::Match(first, ..), |
84 | | - .. |
85 | | - }, |
86 | | - .., |
87 | | - Expr { |
88 | | - kind: ExprKind::Match(last, ..), |
89 | | - .. |
90 | | - }, |
91 | | - ], |
92 | | - ) => { |
93 | | - let snippet = snippet_with_applicability( |
94 | | - cx, |
95 | | - first.span.source_callsite().to(last.span.source_callsite()), |
96 | | - "..", |
97 | | - &mut applicability, |
98 | | - ); |
99 | | - (macro_call.span, format!("({snippet})")) |
100 | | - }, |
101 | | - _ => return, |
102 | | - }; |
| 60 | + // skip previous checked exprs |
| 61 | + if self.prev_dbg_call_site.contains(macro_call.span) { |
| 62 | + return; |
| 63 | + } |
| 64 | + self.prev_dbg_call_site = macro_call.span; |
103 | 65 |
|
104 | | - span_lint_and_sugg( |
105 | | - cx, |
106 | | - DBG_MACRO, |
107 | | - sugg_span, |
108 | | - "the `dbg!` macro is intended as a debugging tool", |
109 | | - "remove the invocation before committing it to a version control system", |
110 | | - suggestion, |
111 | | - applicability, |
112 | | - ); |
| 66 | + // allows `dbg!` in test code if allow-dbg-in-test is set to true in clippy.toml |
| 67 | + if self.allow_dbg_in_tests && (is_in_test_function(cx.tcx, expr.hir_id) || is_in_cfg_test(cx.tcx, expr.hir_id)) |
| 68 | + { |
| 69 | + return; |
113 | 70 | } |
| 71 | + let mut applicability = Applicability::MachineApplicable; |
| 72 | + |
| 73 | + let (sugg_span, suggestion) = match expr.peel_drop_temps().kind { |
| 74 | + // dbg!() |
| 75 | + ExprKind::Block(..) => { |
| 76 | + // If the `dbg!` macro is a "free" statement and not contained within other expressions, |
| 77 | + // remove the whole statement. |
| 78 | + if let Some(Node::Stmt(_)) = cx.tcx.hir().find_parent(expr.hir_id) |
| 79 | + && let Some(semi_span) = cx.sess().source_map().mac_call_stmt_semi_span(macro_call.span) |
| 80 | + { |
| 81 | + (macro_call.span.to(semi_span), String::new()) |
| 82 | + } else { |
| 83 | + (macro_call.span, String::from("()")) |
| 84 | + } |
| 85 | + }, |
| 86 | + // dbg!(1) |
| 87 | + ExprKind::Match(val, ..) => ( |
| 88 | + macro_call.span, |
| 89 | + snippet_with_applicability(cx, val.span.source_callsite(), "..", &mut applicability).to_string(), |
| 90 | + ), |
| 91 | + // dbg!(2, 3) |
| 92 | + ExprKind::Tup( |
| 93 | + [ |
| 94 | + Expr { |
| 95 | + kind: ExprKind::Match(first, ..), |
| 96 | + .. |
| 97 | + }, |
| 98 | + .., |
| 99 | + Expr { |
| 100 | + kind: ExprKind::Match(last, ..), |
| 101 | + .. |
| 102 | + }, |
| 103 | + ], |
| 104 | + ) => { |
| 105 | + let snippet = snippet_with_applicability( |
| 106 | + cx, |
| 107 | + first.span.source_callsite().to(last.span.source_callsite()), |
| 108 | + "..", |
| 109 | + &mut applicability, |
| 110 | + ); |
| 111 | + (macro_call.span, format!("({snippet})")) |
| 112 | + }, |
| 113 | + _ => return, |
| 114 | + }; |
| 115 | + |
| 116 | + span_lint_and_sugg( |
| 117 | + cx, |
| 118 | + DBG_MACRO, |
| 119 | + sugg_span, |
| 120 | + "the `dbg!` macro is intended as a debugging tool", |
| 121 | + "remove the invocation before committing it to a version control system", |
| 122 | + suggestion, |
| 123 | + applicability, |
| 124 | + ); |
114 | 125 | } |
115 | 126 | } |
0 commit comments