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#118852 - Zalathar:no-spans, r=cjgillot coverage: Skip instrumenting a function if no spans were extracted from MIR The immediate symptoms of rust-lang#118643 were fixed by rust-lang#118666, but some users reported that their builds now encounter another coverage-related ICE: ``` error: internal compiler error: compiler/rustc_codegen_llvm/src/coverageinfo/mapgen.rs:98:17: A used function should have had coverage mapping data but did not: (...) ``` I was able to reproduce at least one cause of this error: if no relevant spans could be extracted from a function, but the function contains `CoverageKind::SpanMarker` statements, then codegen still thinks the function is instrumented and complains about the fact that it has no coverage spans. This PR prevents that from happening in two ways: - If we didn't extract any relevant spans from MIR, skip instrumenting the entire function and don't create a `FunctionCoverateInfo` for it. - If coverage codegen sees a `CoverageKind::SpanMarker` statement, skip it early and avoid creating `func_coverage`. --- Fixes rust-lang#118850.
- Loading branch information
Showing
6 changed files
with
93 additions
and
7 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,8 @@ | ||
Function name: no_spans_if_not::main | ||
Raw bytes (9): 0x[01, 01, 00, 01, 01, 0b, 01, 02, 02] | ||
Number of files: 1 | ||
- file 0 => global file 1 | ||
Number of expressions: 0 | ||
Number of file 0 mappings: 1 | ||
- Code(Counter(0)) at (prev + 11, 1) to (start + 2, 2) | ||
|
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,30 @@ | ||
LL| |// edition: 2021 | ||
LL| | | ||
LL| |// If the span extractor can't find any relevant spans for a function, | ||
LL| |// but the function contains coverage span-marker statements (e.g. inserted | ||
LL| |// for `if !`), coverage codegen may think that it is instrumented and | ||
LL| |// consequently complain that it has no spans. | ||
LL| |// | ||
LL| |// Regression test for <https://github.com/rust-lang/rust/issues/118850>, | ||
LL| |// "A used function should have had coverage mapping data but did not". | ||
LL| | | ||
LL| 1|fn main() { | ||
LL| 1| affected_function(); | ||
LL| 1|} | ||
LL| | | ||
LL| |macro_rules! macro_that_defines_a_function { | ||
LL| | (fn $name:ident () $body:tt) => { | ||
LL| | fn $name () $body | ||
LL| | } | ||
LL| |} | ||
LL| | | ||
LL| |macro_that_defines_a_function! { | ||
LL| | fn affected_function() { | ||
LL| | if !false { | ||
LL| | () | ||
LL| | } else { | ||
LL| | () | ||
LL| | } | ||
LL| | } | ||
LL| |} | ||
|
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,29 @@ | ||
// edition: 2021 | ||
|
||
// If the span extractor can't find any relevant spans for a function, | ||
// but the function contains coverage span-marker statements (e.g. inserted | ||
// for `if !`), coverage codegen may think that it is instrumented and | ||
// consequently complain that it has no spans. | ||
// | ||
// Regression test for <https://github.com/rust-lang/rust/issues/118850>, | ||
// "A used function should have had coverage mapping data but did not". | ||
|
||
fn main() { | ||
affected_function(); | ||
} | ||
|
||
macro_rules! macro_that_defines_a_function { | ||
(fn $name:ident () $body:tt) => { | ||
fn $name () $body | ||
} | ||
} | ||
|
||
macro_that_defines_a_function! { | ||
fn affected_function() { | ||
if !false { | ||
() | ||
} else { | ||
() | ||
} | ||
} | ||
} |