forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of rust-lang#127157 - Zalathar:unexpand, r=cjgillot coverage: Avoid getting extra unexpansion info when we don't need it Several callers of `unexpand_into_body_span_with_visible_macro` would immediately discard the additional macro-related information, which is wasteful. We can avoid this by having them instead call a simpler method that just returns the span they care about. This PR also moves the relevant functions out of `coverage::spans::from_mir` and into a new submodule `coverage::unexpand`, so that calling them from `coverage::mappings` is less awkward. There should be no actual changes to coverage-instrumentation output, as demonstrated by the absence of test updates.
- Loading branch information
Showing
5 changed files
with
68 additions
and
66 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,60 @@ | ||
use rustc_span::{ExpnKind, MacroKind, Span, Symbol}; | ||
|
||
/// Walks through the expansion ancestors of `original_span` to find a span that | ||
/// is contained in `body_span` and has the same [syntax context] as `body_span`. | ||
pub(crate) fn unexpand_into_body_span(original_span: Span, body_span: Span) -> Option<Span> { | ||
// Because we don't need to return any extra ancestor information, | ||
// we can just delegate directly to `find_ancestor_inside_same_ctxt`. | ||
original_span.find_ancestor_inside_same_ctxt(body_span) | ||
} | ||
|
||
/// Walks through the expansion ancestors of `original_span` to find a span that | ||
/// is contained in `body_span` and has the same [syntax context] as `body_span`. | ||
/// | ||
/// If the returned span represents a bang-macro invocation (e.g. `foo!(..)`), | ||
/// the returned symbol will be the name of that macro (e.g. `foo`). | ||
pub(crate) fn unexpand_into_body_span_with_visible_macro( | ||
original_span: Span, | ||
body_span: Span, | ||
) -> Option<(Span, Option<Symbol>)> { | ||
let (span, prev) = unexpand_into_body_span_with_prev(original_span, body_span)?; | ||
|
||
let visible_macro = prev | ||
.map(|prev| match prev.ctxt().outer_expn_data().kind { | ||
ExpnKind::Macro(MacroKind::Bang, name) => Some(name), | ||
_ => None, | ||
}) | ||
.flatten(); | ||
|
||
Some((span, visible_macro)) | ||
} | ||
|
||
/// Walks through the expansion ancestors of `original_span` to find a span that | ||
/// is contained in `body_span` and has the same [syntax context] as `body_span`. | ||
/// The ancestor that was traversed just before the matching span (if any) is | ||
/// also returned. | ||
/// | ||
/// For example, a return value of `Some((ancestor, Some(prev)))` means that: | ||
/// - `ancestor == original_span.find_ancestor_inside_same_ctxt(body_span)` | ||
/// - `prev.parent_callsite() == ancestor` | ||
/// | ||
/// [syntax context]: rustc_span::SyntaxContext | ||
fn unexpand_into_body_span_with_prev( | ||
original_span: Span, | ||
body_span: Span, | ||
) -> Option<(Span, Option<Span>)> { | ||
let mut prev = None; | ||
let mut curr = original_span; | ||
|
||
while !body_span.contains(curr) || !curr.eq_ctxt(body_span) { | ||
prev = Some(curr); | ||
curr = curr.parent_callsite()?; | ||
} | ||
|
||
debug_assert_eq!(Some(curr), original_span.find_ancestor_inside_same_ctxt(body_span)); | ||
if let Some(prev) = prev { | ||
debug_assert_eq!(Some(curr), prev.parent_callsite()); | ||
} | ||
|
||
Some((curr, prev)) | ||
} |