bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Rollup merge of #134672 - Zalathar:revert-coverage-attr, r=wesleywiser

Browse source 
Revert stabilization of the `#[coverage(..)]` attribute

Due to a process mixup, the PR to stabilize the `#[coverage(..)]` attribute (#130766) was merged while there are still outstanding concerns. The default action in that situation is to revert, and the feature is not sufficiently urgent or uncontroversial to justify special treatment, so this PR reverts that stabilization.

---

- A key point that came up in offline discussions is that unlike most user-facing features, this one never had a proper RFC, so parts of the normal stabilization process that implicitly rely on an RFC break down in this case.
- As the implementor and de-facto owner of the feature in its current form, I would like to think that I made good choices in designing and implementing it, but I don't feel comfortable proceeding to stabilization without further scrutiny.
- There hasn't been a clear opportunity for T-compiler to weigh in or express concerns prior to stabilization.
- The stabilization PR cites a T-lang FCP that occurred in the tracking issue, but due to the messy design and implementation history (and lack of a clear RFC), it's unclear what that FCP approval actually represents in this case.
  - At the very least, we should not proceed without a clear statement from T-lang or the relevant members about the team's stance on this feature, especially in light of the other concerns listed here.
- The existing user-facing documentation doesn't clearly reflect which parts of the feature are stable commitments, and which parts are subject to change. And there doesn't appear to be a clear consensus anywhere about where that line is actually drawn, or whether the chosen boundary is acceptable to the relevant teams and individuals.
  - For example, the [stabilization report comment](https://github.com/rust-lang/rust/issues/84605#issuecomment-2166514660) mentions that some aspects are subject to change, but that text isn't consistent with my earlier comments, and there doesn't appear to have been any explicit discussion or approval process.
  - [The current reference text](4dfaa4f/src/attributes/coverage-instrumentation.md) doesn't mention this distinction at all, and instead simply describes the current implementation behaviour.
- When the implementation was changed to its current form, the associated user-facing error messages were not updated, so they still refer to the attribute only being allowed on functions and closures.
  - On its own, this might have been reasonable to fix-forward in the absence of other concerns, but the fact that it never came up earlier highlights the breakdown in process that has occurred here.

---

Apologies to everyone who was excited for this stabilization to land, but unfortunately it simply isn't ready yet.
This commit is contained in:
Trevor Gross 2024-12-23 02:07:32 -05:00 • committed by GitHub
commit 8fc4ba2ac1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
128 changed files with 515 additions and 374 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_feature/src/accepted.rs
View file

@ -157,9 +157,6 @@ declare_features! (
(accepted, const_refs_to_static, "1.83.0", Some(119618)), (accepted, const_refs_to_static, "1.83.0", Some(119618)),
/// Allows implementing `Copy` for closures where possible (RFC 2132). /// Allows implementing `Copy` for closures where possible (RFC 2132).
(accepted, copy_closures, "1.26.0", Some(44490)), (accepted, copy_closures, "1.26.0", Some(44490)),
/// Allows function attribute `#[coverage(on/off)]`, to control coverage
/// instrumentation of that function.
(accepted, coverage_attribute, "CURRENT_RUSTC_VERSION", Some(84605)),
/// Allows `crate` in paths. /// Allows `crate` in paths.
(accepted, crate_in_paths, "1.30.0", Some(45477)), (accepted, crate_in_paths, "1.30.0", Some(45477)),
/// Allows users to provide classes for fenced code block using `class:classname`. /// Allows users to provide classes for fenced code block using `class:classname`.

3
compiler/rustc_feature/src/builtin_attrs.rs
View file

@ -480,9 +480,10 @@ pub const BUILTIN_ATTRIBUTES: &[BuiltinAttribute] = &[
template!(List: "address, kcfi, memory, thread"), DuplicatesOk, template!(List: "address, kcfi, memory, thread"), DuplicatesOk,
EncodeCrossCrate::No, experimental!(no_sanitize) EncodeCrossCrate::No, experimental!(no_sanitize)
), ),
ungated!( gated!(
coverage, Normal, template!(OneOf: &[sym::off, sym::on]), coverage, Normal, template!(OneOf: &[sym::off, sym::on]),
ErrorPreceding, EncodeCrossCrate::No, ErrorPreceding, EncodeCrossCrate::No,
coverage_attribute, experimental!(coverage)
), ),
ungated!( ungated!(

3
compiler/rustc_feature/src/unstable.rs
View file

@ -447,6 +447,9 @@ declare_features! (
(unstable, coroutine_clone, "1.65.0", Some(95360)), (unstable, coroutine_clone, "1.65.0", Some(95360)),
/// Allows defining coroutines. /// Allows defining coroutines.
(unstable, coroutines, "1.21.0", Some(43122)), (unstable, coroutines, "1.21.0", Some(43122)),
/// Allows function attribute `#[coverage(on/off)]`, to control coverage
/// instrumentation of that function.
(unstable, coverage_attribute, "1.74.0", Some(84605)),
/// Allows non-builtin attributes in inner attribute position. /// Allows non-builtin attributes in inner attribute position.
(unstable, custom_inner_attributes, "1.30.0", Some(54726)), (unstable, custom_inner_attributes, "1.30.0", Some(54726)),
/// Allows custom test frameworks with `#![test_runner]` and `#[test_case]`. /// Allows custom test frameworks with `#![test_runner]` and `#[test_case]`.

2
library/core/src/cmp.rs
View file

@ -348,7 +348,7 @@ pub trait Eq: PartialEq<Self> {
#[rustc_builtin_macro] #[rustc_builtin_macro]
#[stable(feature = "builtin_macro_prelude", since = "1.38.0")] #[stable(feature = "builtin_macro_prelude", since = "1.38.0")]
#[allow_internal_unstable(core_intrinsics, derive_eq, structural_match)] #[allow_internal_unstable(core_intrinsics, derive_eq, structural_match)]
#[cfg_attr(bootstrap, allow_internal_unstable(coverage_attribute))] #[allow_internal_unstable(coverage_attribute)]
pub macro Eq($item:item) { pub macro Eq($item:item) {
/* compiler built-in */ /* compiler built-in */
} }

2
library/core/src/lib.rs
View file

@ -107,13 +107,13 @@
// //
// Library features: // Library features:
// tidy-alphabetical-start // tidy-alphabetical-start
#![cfg_attr(bootstrap, feature(coverage_attribute))]
#![cfg_attr(bootstrap, feature(do_not_recommend))] #![cfg_attr(bootstrap, feature(do_not_recommend))]
#![feature(array_ptr_get)] #![feature(array_ptr_get)]
#![feature(asm_experimental_arch)] #![feature(asm_experimental_arch)]
#![feature(const_eval_select)] #![feature(const_eval_select)]
#![feature(const_typed_swap)] #![feature(const_typed_swap)]
#![feature(core_intrinsics)] #![feature(core_intrinsics)]
#![feature(coverage_attribute)]
#![feature(internal_impls_macro)] #![feature(internal_impls_macro)]
#![feature(ip)] #![feature(ip)]
#![feature(is_ascii_octdigit)] #![feature(is_ascii_octdigit)]

6
library/core/src/macros/mod.rs
View file

@ -1673,8 +1673,7 @@ pub(crate) mod builtin {
/// ///
/// [the reference]: ../../../reference/attributes/testing.html#the-test-attribute /// [the reference]: ../../../reference/attributes/testing.html#the-test-attribute
#[stable(feature = "rust1", since = "1.0.0")] #[stable(feature = "rust1", since = "1.0.0")]
#[allow_internal_unstable(test, rustc_attrs)] #[allow_internal_unstable(test, rustc_attrs, coverage_attribute)]
#[cfg_attr(bootstrap, allow_internal_unstable(coverage_attribute))]
#[rustc_builtin_macro] #[rustc_builtin_macro]
pub macro test($item:item) { pub macro test($item:item) {
/* compiler built-in */ /* compiler built-in */
@ -1687,8 +1686,7 @@ pub(crate) mod builtin {
soft, soft,
reason = "`bench` is a part of custom test frameworks which are unstable" reason = "`bench` is a part of custom test frameworks which are unstable"
)] )]
#[allow_internal_unstable(test, rustc_attrs)] #[allow_internal_unstable(test, rustc_attrs, coverage_attribute)]
#[cfg_attr(bootstrap, allow_internal_unstable(coverage_attribute))]
#[rustc_builtin_macro] #[rustc_builtin_macro]
pub macro bench($item:item) { pub macro bench($item:item) {
/* compiler built-in */ /* compiler built-in */

30
src/doc/unstable-book/src/language-features/coverage-attribute.md Normal file
View file

@ -0,0 +1,30 @@
# `coverage_attribute`
The tracking issue for this feature is: [#84605]
[#84605]: https://github.com/rust-lang/rust/issues/84605
---
The `coverage` attribute can be used to selectively disable coverage
instrumentation in an annotated function. This might be useful to:
- Avoid instrumentation overhead in a performance critical function
- Avoid generating coverage for a function that is not meant to be executed,
but still target 100% coverage for the rest of the program.
## Example
```rust
#![feature(coverage_attribute)]
// `foo()` will get coverage instrumentation (by default)
fn foo() {
// ...
}
#[coverage(off)]
fn bar() {
// ...
}
```

2
src/tools/rust-analyzer/crates/hir-expand/src/inert_attr_macro.rs
View file

@ -237,7 +237,7 @@ pub const INERT_ATTRIBUTES: &[BuiltinAttribute] = &[
template!(List: "address, kcfi, memory, thread"), DuplicatesOk, template!(List: "address, kcfi, memory, thread"), DuplicatesOk,
experimental!(no_sanitize) experimental!(no_sanitize)
), ),
ungated!(coverage, Normal, template!(Word, List: "on|off"), WarnFollowing), gated!(coverage, Normal, template!(Word, List: "on|off"), WarnFollowing, coverage_attribute, experimental!(coverage)),
ungated!( ungated!(
doc, Normal, template!(List: "hidden|inline|...", NameValueStr: "string"), DuplicatesOk doc, Normal, template!(List: "hidden|inline|...", NameValueStr: "string"), DuplicatesOk

110
tests/coverage/async.cov-map
View file

@ -1,20 +1,20 @@
Function name: async::c Function name: async::c
Raw bytes (9): 0x[01, 01, 00, 01, 01, 0a, 01, 00, 19] Raw bytes (9): 0x[01, 01, 00, 01, 01, 0b, 01, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 10, 1) to (start + 0, 25) - Code(Counter(0)) at (prev + 11, 1) to (start + 0, 25)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::c::{closure#0} Function name: async::c::{closure#0}
Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 0a, 19, 01, 0e, 05, 02, 09, 00, 0a, 02, 02, 09, 00, 0a, 01, 02, 01, 00, 02] Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 0b, 19, 01, 0e, 05, 02, 09, 00, 0a, 02, 02, 09, 00, 0a, 01, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 10, 25) to (start + 1, 14) - Code(Counter(0)) at (prev + 11, 25) to (start + 1, 14)
- Code(Counter(1)) at (prev + 2, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 2, 9) to (start + 0, 10)
- Code(Expression(0, Sub)) at (prev + 2, 9) to (start + 0, 10) - Code(Expression(0, Sub)) at (prev + 2, 9) to (start + 0, 10)
= (c0 - c1) = (c0 - c1)
@ -22,93 +22,93 @@ Number of file 0 mappings: 4
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: async::d Function name: async::d
Raw bytes (9): 0x[01, 01, 00, 01, 01, 12, 01, 00, 14] Raw bytes (9): 0x[01, 01, 00, 01, 01, 13, 01, 00, 14]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 18, 1) to (start + 0, 20) - Code(Counter(0)) at (prev + 19, 1) to (start + 0, 20)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::d::{closure#0} Function name: async::d::{closure#0}
Raw bytes (9): 0x[01, 01, 00, 01, 01, 12, 14, 00, 19] Raw bytes (9): 0x[01, 01, 00, 01, 01, 13, 14, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 18, 20) to (start + 0, 25) - Code(Counter(0)) at (prev + 19, 20) to (start + 0, 25)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::e (unused) Function name: async::e (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 14, 01, 00, 14] Raw bytes (9): 0x[01, 01, 00, 01, 00, 15, 01, 00, 14]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 20, 1) to (start + 0, 20) - Code(Zero) at (prev + 21, 1) to (start + 0, 20)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::e::{closure#0} (unused) Function name: async::e::{closure#0} (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 14, 14, 00, 19] Raw bytes (9): 0x[01, 01, 00, 01, 00, 15, 14, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 20, 20) to (start + 0, 25) - Code(Zero) at (prev + 21, 20) to (start + 0, 25)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::f Function name: async::f
Raw bytes (9): 0x[01, 01, 00, 01, 01, 16, 01, 00, 14] Raw bytes (9): 0x[01, 01, 00, 01, 01, 17, 01, 00, 14]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 22, 1) to (start + 0, 20) - Code(Counter(0)) at (prev + 23, 1) to (start + 0, 20)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::f::{closure#0} Function name: async::f::{closure#0}
Raw bytes (9): 0x[01, 01, 00, 01, 01, 16, 14, 00, 19] Raw bytes (9): 0x[01, 01, 00, 01, 01, 17, 14, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 22, 20) to (start + 0, 25) - Code(Counter(0)) at (prev + 23, 20) to (start + 0, 25)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::foo (unused) Function name: async::foo (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 18, 01, 00, 1e] Raw bytes (9): 0x[01, 01, 00, 01, 00, 19, 01, 00, 1e]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 24, 1) to (start + 0, 30) - Code(Zero) at (prev + 25, 1) to (start + 0, 30)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::foo::{closure#0} (unused) Function name: async::foo::{closure#0} (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 18, 1e, 00, 2d] Raw bytes (9): 0x[01, 01, 00, 01, 00, 19, 1e, 00, 2d]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 24, 30) to (start + 0, 45) - Code(Zero) at (prev + 25, 30) to (start + 0, 45)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::g Function name: async::g
Raw bytes (9): 0x[01, 01, 00, 01, 01, 1a, 01, 00, 17] Raw bytes (9): 0x[01, 01, 00, 01, 01, 1b, 01, 00, 17]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 26, 1) to (start + 0, 23) - Code(Counter(0)) at (prev + 27, 1) to (start + 0, 23)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::g::{closure#0} (unused) Function name: async::g::{closure#0} (unused)
Raw bytes (59): 0x[01, 01, 00, 0b, 00, 1a, 17, 01, 0c, 00, 02, 09, 00, 0a, 00, 00, 0e, 00, 17, 00, 00, 1b, 00, 1c, 00, 00, 20, 00, 22, 00, 01, 09, 00, 0a, 00, 00, 0e, 00, 17, 00, 00, 1b, 00, 1c, 00, 00, 20, 00, 22, 00, 01, 0e, 00, 10, 00, 02, 01, 00, 02] Raw bytes (59): 0x[01, 01, 00, 0b, 00, 1b, 17, 01, 0c, 00, 02, 09, 00, 0a, 00, 00, 0e, 00, 17, 00, 00, 1b, 00, 1c, 00, 00, 20, 00, 22, 00, 01, 09, 00, 0a, 00, 00, 0e, 00, 17, 00, 00, 1b, 00, 1c, 00, 00, 20, 00, 22, 00, 01, 0e, 00, 10, 00, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 11 Number of file 0 mappings: 11
- Code(Zero) at (prev + 26, 23) to (start + 1, 12) - Code(Zero) at (prev + 27, 23) to (start + 1, 12)
- Code(Zero) at (prev + 2, 9) to (start + 0, 10) - Code(Zero) at (prev + 2, 9) to (start + 0, 10)
- Code(Zero) at (prev + 0, 14) to (start + 0, 23) - Code(Zero) at (prev + 0, 14) to (start + 0, 23)
- Code(Zero) at (prev + 0, 27) to (start + 0, 28) - Code(Zero) at (prev + 0, 27) to (start + 0, 28)
@ -122,21 +122,21 @@ Number of file 0 mappings: 11
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::h Function name: async::h
Raw bytes (9): 0x[01, 01, 00, 01, 01, 22, 01, 00, 16] Raw bytes (9): 0x[01, 01, 00, 01, 01, 23, 01, 00, 16]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 34, 1) to (start + 0, 22) - Code(Counter(0)) at (prev + 35, 1) to (start + 0, 22)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::h::{closure#0} (unused) Function name: async::h::{closure#0} (unused)
Raw bytes (39): 0x[01, 01, 00, 07, 00, 22, 16, 03, 0c, 00, 04, 09, 00, 0a, 00, 00, 0e, 00, 19, 00, 00, 1a, 00, 1b, 00, 00, 20, 00, 22, 00, 01, 0e, 00, 10, 00, 02, 01, 00, 02] Raw bytes (39): 0x[01, 01, 00, 07, 00, 23, 16, 03, 0c, 00, 04, 09, 00, 0a, 00, 00, 0e, 00, 19, 00, 00, 1a, 00, 1b, 00, 00, 20, 00, 22, 00, 01, 0e, 00, 10, 00, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 7 Number of file 0 mappings: 7
- Code(Zero) at (prev + 34, 22) to (start + 3, 12) - Code(Zero) at (prev + 35, 22) to (start + 3, 12)
- Code(Zero) at (prev + 4, 9) to (start + 0, 10) - Code(Zero) at (prev + 4, 9) to (start + 0, 10)
- Code(Zero) at (prev + 0, 14) to (start + 0, 25) - Code(Zero) at (prev + 0, 14) to (start + 0, 25)
- Code(Zero) at (prev + 0, 26) to (start + 0, 27) - Code(Zero) at (prev + 0, 26) to (start + 0, 27)
@ -146,23 +146,23 @@ Number of file 0 mappings: 7
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::i Function name: async::i
Raw bytes (9): 0x[01, 01, 00, 01, 01, 2b, 01, 00, 13] Raw bytes (9): 0x[01, 01, 00, 01, 01, 2c, 01, 00, 13]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 43, 1) to (start + 0, 19) - Code(Counter(0)) at (prev + 44, 1) to (start + 0, 19)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::i::{closure#0} Function name: async::i::{closure#0}
Raw bytes (63): 0x[01, 01, 02, 07, 15, 0d, 11, 0b, 01, 2b, 13, 04, 0c, 09, 05, 09, 00, 0a, 01, 00, 0e, 00, 18, 05, 00, 1c, 00, 21, 09, 00, 27, 00, 30, 11, 01, 09, 00, 0a, 19, 00, 0e, 00, 17, 1d, 00, 1b, 00, 20, 11, 00, 24, 00, 26, 15, 01, 0e, 00, 10, 03, 02, 01, 00, 02] Raw bytes (63): 0x[01, 01, 02, 07, 15, 0d, 11, 0b, 01, 2c, 13, 04, 0c, 09, 05, 09, 00, 0a, 01, 00, 0e, 00, 18, 05, 00, 1c, 00, 21, 09, 00, 27, 00, 30, 11, 01, 09, 00, 0a, 19, 00, 0e, 00, 17, 1d, 00, 1b, 00, 20, 11, 00, 24, 00, 26, 15, 01, 0e, 00, 10, 03, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Expression(1, Add), rhs = Counter(5) - expression 0 operands: lhs = Expression(1, Add), rhs = Counter(5)
- expression 1 operands: lhs = Counter(3), rhs = Counter(4) - expression 1 operands: lhs = Counter(3), rhs = Counter(4)
Number of file 0 mappings: 11 Number of file 0 mappings: 11
- Code(Counter(0)) at (prev + 43, 19) to (start + 4, 12) - Code(Counter(0)) at (prev + 44, 19) to (start + 4, 12)
- Code(Counter(2)) at (prev + 5, 9) to (start + 0, 10) - Code(Counter(2)) at (prev + 5, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 24) - Code(Counter(0)) at (prev + 0, 14) to (start + 0, 24)
- Code(Counter(1)) at (prev + 0, 28) to (start + 0, 33) - Code(Counter(1)) at (prev + 0, 28) to (start + 0, 33)
@ -177,14 +177,14 @@ Number of file 0 mappings: 11
Highest counter ID seen: c7 Highest counter ID seen: c7
Function name: async::j Function name: async::j
Raw bytes (58): 0x[01, 01, 02, 07, 0d, 05, 09, 0a, 01, 36, 01, 00, 0d, 01, 0b, 0b, 00, 0c, 05, 01, 09, 00, 0a, 01, 00, 0e, 00, 1b, 05, 00, 1f, 00, 27, 09, 01, 09, 00, 0a, 11, 00, 0e, 00, 1a, 09, 00, 1e, 00, 20, 0d, 01, 0e, 00, 10, 03, 02, 01, 00, 02] Raw bytes (58): 0x[01, 01, 02, 07, 0d, 05, 09, 0a, 01, 37, 01, 00, 0d, 01, 0b, 0b, 00, 0c, 05, 01, 09, 00, 0a, 01, 00, 0e, 00, 1b, 05, 00, 1f, 00, 27, 09, 01, 09, 00, 0a, 11, 00, 0e, 00, 1a, 09, 00, 1e, 00, 20, 0d, 01, 0e, 00, 10, 03, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Expression(1, Add), rhs = Counter(3) - expression 0 operands: lhs = Expression(1, Add), rhs = Counter(3)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 10 Number of file 0 mappings: 10
- Code(Counter(0)) at (prev + 54, 1) to (start + 0, 13) - Code(Counter(0)) at (prev + 55, 1) to (start + 0, 13)
- Code(Counter(0)) at (prev + 11, 11) to (start + 0, 12) - Code(Counter(0)) at (prev + 11, 11) to (start + 0, 12)
- Code(Counter(1)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 14) to (start + 0, 27) - Code(Counter(0)) at (prev + 0, 14) to (start + 0, 27)
@ -198,13 +198,13 @@ Number of file 0 mappings: 10
Highest counter ID seen: c4 Highest counter ID seen: c4
Function name: async::j::c Function name: async::j::c
Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 38, 05, 01, 12, 05, 02, 0d, 00, 0e, 02, 02, 0d, 00, 0e, 01, 02, 05, 00, 06] Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 39, 05, 01, 12, 05, 02, 0d, 00, 0e, 02, 02, 0d, 00, 0e, 01, 02, 05, 00, 06]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 56, 5) to (start + 1, 18) - Code(Counter(0)) at (prev + 57, 5) to (start + 1, 18)
- Code(Counter(1)) at (prev + 2, 13) to (start + 0, 14) - Code(Counter(1)) at (prev + 2, 13) to (start + 0, 14)
- Code(Expression(0, Sub)) at (prev + 2, 13) to (start + 0, 14) - Code(Expression(0, Sub)) at (prev + 2, 13) to (start + 0, 14)
= (c0 - c1) = (c0 - c1)
@ -212,15 +212,6 @@ Number of file 0 mappings: 4
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: async::j::d Function name: async::j::d
Raw bytes (9): 0x[01, 01, 00, 01, 01, 3f, 05, 00, 17]
Number of files: 1
- file 0 => global file 1
Number of expressions: 0
Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 63, 5) to (start + 0, 23)
Highest counter ID seen: c0
Function name: async::j::f
Raw bytes (9): 0x[01, 01, 00, 01, 01, 40, 05, 00, 17] Raw bytes (9): 0x[01, 01, 00, 01, 01, 40, 05, 00, 17]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
@ -229,13 +220,22 @@ Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 64, 5) to (start + 0, 23) - Code(Counter(0)) at (prev + 64, 5) to (start + 0, 23)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::j::f
Raw bytes (9): 0x[01, 01, 00, 01, 01, 41, 05, 00, 17]
Number of files: 1
- file 0 => global file 1
Number of expressions: 0
Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 65, 5) to (start + 0, 23)
Highest counter ID seen: c0
Function name: async::k (unused) Function name: async::k (unused)
Raw bytes (29): 0x[01, 01, 00, 05, 00, 48, 01, 01, 0c, 00, 02, 0e, 00, 10, 00, 01, 0e, 00, 10, 00, 01, 0e, 00, 10, 00, 02, 01, 00, 02] Raw bytes (29): 0x[01, 01, 00, 05, 00, 49, 01, 01, 0c, 00, 02, 0e, 00, 10, 00, 01, 0e, 00, 10, 00, 01, 0e, 00, 10, 00, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Zero) at (prev + 72, 1) to (start + 1, 12) - Code(Zero) at (prev + 73, 1) to (start + 1, 12)
- Code(Zero) at (prev + 2, 14) to (start + 0, 16) - Code(Zero) at (prev + 2, 14) to (start + 0, 16)
- Code(Zero) at (prev + 1, 14) to (start + 0, 16) - Code(Zero) at (prev + 1, 14) to (start + 0, 16)
- Code(Zero) at (prev + 1, 14) to (start + 0, 16) - Code(Zero) at (prev + 1, 14) to (start + 0, 16)
@ -243,14 +243,14 @@ Number of file 0 mappings: 5
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::l Function name: async::l
Raw bytes (33): 0x[01, 01, 02, 01, 07, 05, 09, 05, 01, 50, 01, 01, 0c, 02, 02, 0e, 00, 10, 09, 01, 0e, 00, 10, 05, 01, 0e, 00, 10, 01, 02, 01, 00, 02] Raw bytes (33): 0x[01, 01, 02, 01, 07, 05, 09, 05, 01, 51, 01, 01, 0c, 02, 02, 0e, 00, 10, 09, 01, 0e, 00, 10, 05, 01, 0e, 00, 10, 01, 02, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Counter(0), rhs = Expression(1, Add) - expression 0 operands: lhs = Counter(0), rhs = Expression(1, Add)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 80, 1) to (start + 1, 12) - Code(Counter(0)) at (prev + 81, 1) to (start + 1, 12)
- Code(Expression(0, Sub)) at (prev + 2, 14) to (start + 0, 16) - Code(Expression(0, Sub)) at (prev + 2, 14) to (start + 0, 16)
= (c0 - (c1 + c2)) = (c0 - (c1 + c2))
- Code(Counter(2)) at (prev + 1, 14) to (start + 0, 16) - Code(Counter(2)) at (prev + 1, 14) to (start + 0, 16)
@ -259,29 +259,29 @@ Number of file 0 mappings: 5
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: async::m Function name: async::m
Raw bytes (9): 0x[01, 01, 00, 01, 01, 58, 01, 00, 19] Raw bytes (9): 0x[01, 01, 00, 01, 01, 59, 01, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 88, 1) to (start + 0, 25) - Code(Counter(0)) at (prev + 89, 1) to (start + 0, 25)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async::m::{closure#0} (unused) Function name: async::m::{closure#0} (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 58, 19, 00, 22] Raw bytes (9): 0x[01, 01, 00, 01, 00, 59, 19, 00, 22]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 88, 25) to (start + 0, 34) - Code(Zero) at (prev + 89, 25) to (start + 0, 34)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: async::main Function name: async::main
Raw bytes (9): 0x[01, 01, 00, 01, 01, 5a, 01, 08, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 5b, 01, 08, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 90, 1) to (start + 8, 2) - Code(Counter(0)) at (prev + 91, 1) to (start + 8, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0

1
tests/coverage/async.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |#![feature(custom_inner_attributes)] // for #![rustfmt::skip] LL| |#![feature(custom_inner_attributes)] // for #![rustfmt::skip]
LL| |#![allow(unused_assignments, dead_code)] LL| |#![allow(unused_assignments, dead_code)]
LL| |#![rustfmt::skip] LL| |#![rustfmt::skip]

1
tests/coverage/async.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
#![feature(custom_inner_attributes)] // for #![rustfmt::skip] #![feature(custom_inner_attributes)] // for #![rustfmt::skip]
#![allow(unused_assignments, dead_code)] #![allow(unused_assignments, dead_code)]
#![rustfmt::skip] #![rustfmt::skip]

24
tests/coverage/async2.cov-map
View file

@ -1,58 +1,58 @@
Function name: async2::async_func Function name: async2::async_func
Raw bytes (9): 0x[01, 01, 00, 01, 01, 0e, 01, 00, 17] Raw bytes (9): 0x[01, 01, 00, 01, 01, 0f, 01, 00, 17]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 14, 1) to (start + 0, 23) - Code(Counter(0)) at (prev + 15, 1) to (start + 0, 23)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async2::async_func::{closure#0} Function name: async2::async_func::{closure#0}
Raw bytes (24): 0x[01, 01, 00, 04, 01, 0e, 17, 03, 09, 05, 03, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02] Raw bytes (24): 0x[01, 01, 00, 04, 01, 0f, 17, 03, 09, 05, 03, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 14, 23) to (start + 3, 9) - Code(Counter(0)) at (prev + 15, 23) to (start + 3, 9)
- Code(Counter(1)) at (prev + 3, 10) to (start + 2, 6) - Code(Counter(1)) at (prev + 3, 10) to (start + 2, 6)
- Code(Zero) at (prev + 2, 5) to (start + 0, 6) - Code(Zero) at (prev + 2, 5) to (start + 0, 6)
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2) - Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: async2::async_func_just_println Function name: async2::async_func_just_println
Raw bytes (9): 0x[01, 01, 00, 01, 01, 16, 01, 00, 24] Raw bytes (9): 0x[01, 01, 00, 01, 01, 17, 01, 00, 24]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 22, 1) to (start + 0, 36) - Code(Counter(0)) at (prev + 23, 1) to (start + 0, 36)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async2::async_func_just_println::{closure#0} Function name: async2::async_func_just_println::{closure#0}
Raw bytes (9): 0x[01, 01, 00, 01, 01, 16, 24, 02, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 17, 24, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 22, 36) to (start + 2, 2) - Code(Counter(0)) at (prev + 23, 36) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async2::main Function name: async2::main
Raw bytes (9): 0x[01, 01, 00, 01, 01, 1a, 01, 07, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 1b, 01, 07, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 26, 1) to (start + 7, 2) - Code(Counter(0)) at (prev + 27, 1) to (start + 7, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: async2::non_async_func Function name: async2::non_async_func
Raw bytes (24): 0x[01, 01, 00, 04, 01, 06, 01, 03, 09, 05, 03, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02] Raw bytes (24): 0x[01, 01, 00, 04, 01, 07, 01, 03, 09, 05, 03, 0a, 02, 06, 00, 02, 05, 00, 06, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 6, 1) to (start + 3, 9) - Code(Counter(0)) at (prev + 7, 1) to (start + 3, 9)
- Code(Counter(1)) at (prev + 3, 10) to (start + 2, 6) - Code(Counter(1)) at (prev + 3, 10) to (start + 2, 6)
- Code(Zero) at (prev + 2, 5) to (start + 0, 6) - Code(Zero) at (prev + 2, 5) to (start + 0, 6)
- Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2) - Code(Counter(0)) at (prev + 1, 1) to (start + 0, 2)

1
tests/coverage/async2.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2018 LL| |//@ edition: 2018
LL| | LL| |
LL| |//@ aux-build: executor.rs LL| |//@ aux-build: executor.rs

1
tests/coverage/async2.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2018 //@ edition: 2018
//@ aux-build: executor.rs //@ aux-build: executor.rs

8
tests/coverage/async_block.cov-map
View file

@ -1,11 +1,11 @@
Function name: async_block::main Function name: async_block::main
Raw bytes (36): 0x[01, 01, 01, 01, 05, 06, 01, 06, 01, 00, 0b, 05, 01, 09, 00, 0a, 03, 00, 0e, 00, 13, 05, 00, 14, 01, 16, 05, 07, 0a, 02, 06, 01, 03, 01, 00, 02] Raw bytes (36): 0x[01, 01, 01, 01, 05, 06, 01, 07, 01, 00, 0b, 05, 01, 09, 00, 0a, 03, 00, 0e, 00, 13, 05, 00, 14, 01, 16, 05, 07, 0a, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 6, 1) to (start + 0, 11) - Code(Counter(0)) at (prev + 7, 1) to (start + 0, 11)
- Code(Counter(1)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 1, 9) to (start + 0, 10)
- Code(Expression(0, Add)) at (prev + 0, 14) to (start + 0, 19) - Code(Expression(0, Add)) at (prev + 0, 14) to (start + 0, 19)
= (c0 + c1) = (c0 + c1)
@ -15,13 +15,13 @@ Number of file 0 mappings: 6
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: async_block::main::{closure#0} Function name: async_block::main::{closure#0}
Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 08, 1c, 01, 17, 05, 01, 18, 02, 0e, 02, 02, 14, 02, 0e, 01, 03, 09, 00, 0a] Raw bytes (26): 0x[01, 01, 01, 01, 05, 04, 01, 09, 1c, 01, 17, 05, 01, 18, 02, 0e, 02, 02, 14, 02, 0e, 01, 03, 09, 00, 0a]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 8, 28) to (start + 1, 23) - Code(Counter(0)) at (prev + 9, 28) to (start + 1, 23)
- Code(Counter(1)) at (prev + 1, 24) to (start + 2, 14) - Code(Counter(1)) at (prev + 1, 24) to (start + 2, 14)
- Code(Expression(0, Sub)) at (prev + 2, 20) to (start + 2, 14) - Code(Expression(0, Sub)) at (prev + 2, 20) to (start + 2, 14)
= (c0 - c1) = (c0 - c1)

1
tests/coverage/async_block.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |
LL| |//@ aux-build: executor.rs LL| |//@ aux-build: executor.rs

1
tests/coverage/async_block.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ aux-build: executor.rs //@ aux-build: executor.rs

12
tests/coverage/attr/impl.cov-map
View file

@ -1,27 +1,27 @@
Function name: <impl::MyStruct>::off_on (unused) Function name: <impl::MyStruct>::off_on (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 0e, 05, 00, 13] Raw bytes (9): 0x[01, 01, 00, 01, 00, 0f, 05, 00, 13]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 14, 5) to (start + 0, 19) - Code(Zero) at (prev + 15, 5) to (start + 0, 19)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: <impl::MyStruct>::on_inherit (unused) Function name: <impl::MyStruct>::on_inherit (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 16, 05, 00, 17] Raw bytes (9): 0x[01, 01, 00, 01, 00, 17, 05, 00, 17]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 22, 5) to (start + 0, 23) - Code(Zero) at (prev + 23, 5) to (start + 0, 23)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: <impl::MyStruct>::on_on (unused) Function name: <impl::MyStruct>::on_on (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 19, 05, 00, 12] Raw bytes (9): 0x[01, 01, 00, 01, 00, 1a, 05, 00, 12]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 25, 5) to (start + 0, 18) - Code(Zero) at (prev + 26, 5) to (start + 0, 18)
Highest counter ID seen: (none) Highest counter ID seen: (none)

1
tests/coverage/attr/impl.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ reference: attributes.coverage.nesting LL| |//@ reference: attributes.coverage.nesting
LL| | LL| |

1
tests/coverage/attr/impl.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ reference: attributes.coverage.nesting //@ reference: attributes.coverage.nesting

12
tests/coverage/attr/module.cov-map
View file

@ -1,27 +1,27 @@
Function name: module::off::on (unused) Function name: module::off::on (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 0c, 05, 00, 0f] Raw bytes (9): 0x[01, 01, 00, 01, 00, 0d, 05, 00, 0f]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 12, 5) to (start + 0, 15) - Code(Zero) at (prev + 13, 5) to (start + 0, 15)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: module::on::inherit (unused) Function name: module::on::inherit (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 14, 05, 00, 14] Raw bytes (9): 0x[01, 01, 00, 01, 00, 15, 05, 00, 14]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 20, 5) to (start + 0, 20) - Code(Zero) at (prev + 21, 5) to (start + 0, 20)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: module::on::on (unused) Function name: module::on::on (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 17, 05, 00, 0f] Raw bytes (9): 0x[01, 01, 00, 01, 00, 18, 05, 00, 0f]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 23, 5) to (start + 0, 15) - Code(Zero) at (prev + 24, 5) to (start + 0, 15)
Highest counter ID seen: (none) Highest counter ID seen: (none)

1
tests/coverage/attr/module.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ reference: attributes.coverage.nesting LL| |//@ reference: attributes.coverage.nesting
LL| | LL| |

1
tests/coverage/attr/module.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ reference: attributes.coverage.nesting //@ reference: attributes.coverage.nesting

2
tests/coverage/attr/nested.coverage
View file

@ -1,4 +1,4 @@
LL| |#![feature(stmt_expr_attributes)] LL| |#![feature(coverage_attribute, stmt_expr_attributes)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ reference: attributes.coverage.nesting LL| |//@ reference: attributes.coverage.nesting
LL| | LL| |

2
tests/coverage/attr/nested.rs
View file

@ -1,4 +1,4 @@
#![feature(stmt_expr_attributes)] #![feature(coverage_attribute, stmt_expr_attributes)]
//@ edition: 2021 //@ edition: 2021
//@ reference: attributes.coverage.nesting //@ reference: attributes.coverage.nesting

12
tests/coverage/attr/off-on-sandwich.cov-map
View file

@ -1,30 +1,30 @@
Function name: off_on_sandwich::dense_a::dense_b Function name: off_on_sandwich::dense_a::dense_b
Raw bytes (14): 0x[01, 01, 00, 02, 01, 0f, 05, 02, 12, 01, 07, 05, 00, 06] Raw bytes (14): 0x[01, 01, 00, 02, 01, 10, 05, 02, 12, 01, 07, 05, 00, 06]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 15, 5) to (start + 2, 18) - Code(Counter(0)) at (prev + 16, 5) to (start + 2, 18)
- Code(Counter(0)) at (prev + 7, 5) to (start + 0, 6) - Code(Counter(0)) at (prev + 7, 5) to (start + 0, 6)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: off_on_sandwich::sparse_a::sparse_b::sparse_c Function name: off_on_sandwich::sparse_a::sparse_b::sparse_c
Raw bytes (14): 0x[01, 01, 00, 02, 01, 21, 09, 02, 17, 01, 0b, 09, 00, 0a] Raw bytes (14): 0x[01, 01, 00, 02, 01, 22, 09, 02, 17, 01, 0b, 09, 00, 0a]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 33, 9) to (start + 2, 23) - Code(Counter(0)) at (prev + 34, 9) to (start + 2, 23)
- Code(Counter(0)) at (prev + 11, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 11, 9) to (start + 0, 10)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: off_on_sandwich::sparse_a::sparse_b::sparse_c::sparse_d Function name: off_on_sandwich::sparse_a::sparse_b::sparse_c::sparse_d
Raw bytes (14): 0x[01, 01, 00, 02, 01, 24, 0d, 02, 1b, 01, 07, 0d, 00, 0e] Raw bytes (14): 0x[01, 01, 00, 02, 01, 25, 0d, 02, 1b, 01, 07, 0d, 00, 0e]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 36, 13) to (start + 2, 27) - Code(Counter(0)) at (prev + 37, 13) to (start + 2, 27)
- Code(Counter(0)) at (prev + 7, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 7, 13) to (start + 0, 14)
Highest counter ID seen: c0 Highest counter ID seen: c0

1
tests/coverage/attr/off-on-sandwich.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ reference: attributes.coverage.nesting LL| |//@ reference: attributes.coverage.nesting
LL| | LL| |

1
tests/coverage/attr/off-on-sandwich.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ reference: attributes.coverage.nesting //@ reference: attributes.coverage.nesting

1
tests/coverage/auxiliary/executor.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
use core::future::Future; use core::future::Future;

8
tests/coverage/await_ready.cov-map
View file

@ -1,19 +1,19 @@
Function name: await_ready::await_ready Function name: await_ready::await_ready
Raw bytes (9): 0x[01, 01, 00, 01, 01, 0d, 01, 00, 1e] Raw bytes (9): 0x[01, 01, 00, 01, 01, 0e, 01, 00, 1e]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 13, 1) to (start + 0, 30) - Code(Counter(0)) at (prev + 14, 1) to (start + 0, 30)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: await_ready::await_ready::{closure#0} Function name: await_ready::await_ready::{closure#0}
Raw bytes (14): 0x[01, 01, 00, 02, 01, 0d, 1e, 03, 0f, 05, 04, 01, 00, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 0e, 1e, 03, 0f, 05, 04, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 13, 30) to (start + 3, 15) - Code(Counter(0)) at (prev + 14, 30) to (start + 3, 15)
- Code(Counter(1)) at (prev + 4, 1) to (start + 0, 2) - Code(Counter(1)) at (prev + 4, 1) to (start + 0, 2)
Highest counter ID seen: c1 Highest counter ID seen: c1

1
tests/coverage/await_ready.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |#![coverage(off)] LL| |#![coverage(off)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |

1
tests/coverage/await_ready.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
#![coverage(off)] #![coverage(off)]
//@ edition: 2021 //@ edition: 2021

32
tests/coverage/bad_counter_ids.cov-map
View file

@ -1,88 +1,88 @@
Function name: bad_counter_ids::eq_bad Function name: bad_counter_ids::eq_bad
Raw bytes (14): 0x[01, 01, 00, 02, 01, 23, 01, 02, 1f, 00, 03, 01, 00, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 24, 01, 02, 1f, 00, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 35, 1) to (start + 2, 31) - Code(Counter(0)) at (prev + 36, 1) to (start + 2, 31)
- Code(Zero) at (prev + 3, 1) to (start + 0, 2) - Code(Zero) at (prev + 3, 1) to (start + 0, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: bad_counter_ids::eq_bad_message Function name: bad_counter_ids::eq_bad_message
Raw bytes (21): 0x[01, 01, 01, 01, 00, 03, 01, 28, 01, 02, 0f, 02, 02, 20, 00, 2b, 00, 01, 01, 00, 02] Raw bytes (21): 0x[01, 01, 01, 01, 00, 03, 01, 29, 01, 02, 0f, 02, 02, 20, 00, 2b, 00, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Zero - expression 0 operands: lhs = Counter(0), rhs = Zero
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 40, 1) to (start + 2, 15) - Code(Counter(0)) at (prev + 41, 1) to (start + 2, 15)
- Code(Expression(0, Sub)) at (prev + 2, 32) to (start + 0, 43) - Code(Expression(0, Sub)) at (prev + 2, 32) to (start + 0, 43)
= (c0 - Zero) = (c0 - Zero)
- Code(Zero) at (prev + 1, 1) to (start + 0, 2) - Code(Zero) at (prev + 1, 1) to (start + 0, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: bad_counter_ids::eq_good Function name: bad_counter_ids::eq_good
Raw bytes (14): 0x[01, 01, 00, 02, 01, 0f, 01, 02, 1f, 05, 03, 01, 00, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 10, 01, 02, 1f, 05, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 15, 1) to (start + 2, 31) - Code(Counter(0)) at (prev + 16, 1) to (start + 2, 31)
- Code(Counter(1)) at (prev + 3, 1) to (start + 0, 2) - Code(Counter(1)) at (prev + 3, 1) to (start + 0, 2)
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: bad_counter_ids::eq_good_message Function name: bad_counter_ids::eq_good_message
Raw bytes (19): 0x[01, 01, 00, 03, 01, 14, 01, 02, 0f, 00, 02, 20, 00, 2b, 05, 01, 01, 00, 02] Raw bytes (19): 0x[01, 01, 00, 03, 01, 15, 01, 02, 0f, 00, 02, 20, 00, 2b, 05, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 20, 1) to (start + 2, 15) - Code(Counter(0)) at (prev + 21, 1) to (start + 2, 15)
- Code(Zero) at (prev + 2, 32) to (start + 0, 43) - Code(Zero) at (prev + 2, 32) to (start + 0, 43)
- Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2) - Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2)
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: bad_counter_ids::ne_bad Function name: bad_counter_ids::ne_bad
Raw bytes (14): 0x[01, 01, 00, 02, 01, 2d, 01, 02, 1f, 00, 03, 01, 00, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 2e, 01, 02, 1f, 00, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 45, 1) to (start + 2, 31) - Code(Counter(0)) at (prev + 46, 1) to (start + 2, 31)
- Code(Zero) at (prev + 3, 1) to (start + 0, 2) - Code(Zero) at (prev + 3, 1) to (start + 0, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: bad_counter_ids::ne_bad_message Function name: bad_counter_ids::ne_bad_message
Raw bytes (19): 0x[01, 01, 00, 03, 01, 32, 01, 02, 0f, 05, 02, 20, 00, 2b, 00, 01, 01, 00, 02] Raw bytes (19): 0x[01, 01, 00, 03, 01, 33, 01, 02, 0f, 05, 02, 20, 00, 2b, 00, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 50, 1) to (start + 2, 15) - Code(Counter(0)) at (prev + 51, 1) to (start + 2, 15)
- Code(Counter(1)) at (prev + 2, 32) to (start + 0, 43) - Code(Counter(1)) at (prev + 2, 32) to (start + 0, 43)
- Code(Zero) at (prev + 1, 1) to (start + 0, 2) - Code(Zero) at (prev + 1, 1) to (start + 0, 2)
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: bad_counter_ids::ne_good Function name: bad_counter_ids::ne_good
Raw bytes (16): 0x[01, 01, 01, 01, 00, 02, 01, 19, 01, 02, 1f, 02, 03, 01, 00, 02] Raw bytes (16): 0x[01, 01, 01, 01, 00, 02, 01, 1a, 01, 02, 1f, 02, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Zero - expression 0 operands: lhs = Counter(0), rhs = Zero
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 25, 1) to (start + 2, 31) - Code(Counter(0)) at (prev + 26, 1) to (start + 2, 31)
- Code(Expression(0, Sub)) at (prev + 3, 1) to (start + 0, 2) - Code(Expression(0, Sub)) at (prev + 3, 1) to (start + 0, 2)
= (c0 - Zero) = (c0 - Zero)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: bad_counter_ids::ne_good_message Function name: bad_counter_ids::ne_good_message
Raw bytes (21): 0x[01, 01, 01, 01, 00, 03, 01, 1e, 01, 02, 0f, 00, 02, 20, 00, 2b, 02, 01, 01, 00, 02] Raw bytes (21): 0x[01, 01, 01, 01, 00, 03, 01, 1f, 01, 02, 0f, 00, 02, 20, 00, 2b, 02, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Zero - expression 0 operands: lhs = Counter(0), rhs = Zero
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 30, 1) to (start + 2, 15) - Code(Counter(0)) at (prev + 31, 1) to (start + 2, 15)
- Code(Zero) at (prev + 2, 32) to (start + 0, 43) - Code(Zero) at (prev + 2, 32) to (start + 0, 43)
- Code(Expression(0, Sub)) at (prev + 1, 1) to (start + 0, 2) - Code(Expression(0, Sub)) at (prev + 1, 1) to (start + 0, 2)
= (c0 - Zero) = (c0 - Zero)

1
tests/coverage/bad_counter_ids.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Copt-level=0 -Zmir-opt-level=3 LL| |//@ compile-flags: -Copt-level=0 -Zmir-opt-level=3
LL| | LL| |

1
tests/coverage/bad_counter_ids.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Copt-level=0 -Zmir-opt-level=3 //@ compile-flags: -Copt-level=0 -Zmir-opt-level=3

12
tests/coverage/branch/generics.cov-map
View file

@ -1,11 +1,11 @@
Function name: generics::print_size::<()> Function name: generics::print_size::<()>
Raw bytes (33): 0x[01, 01, 01, 01, 05, 05, 01, 05, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (33): 0x[01, 01, 01, 01, 05, 05, 01, 06, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 5, 1) to (start + 1, 36) - Code(Counter(0)) at (prev + 6, 1) to (start + 1, 36)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36)
true = c1 true = c1
false = (c0 - c1) false = (c0 - c1)
@ -16,13 +16,13 @@ Number of file 0 mappings: 5
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: generics::print_size::<u32> Function name: generics::print_size::<u32>
Raw bytes (33): 0x[01, 01, 01, 01, 05, 05, 01, 05, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (33): 0x[01, 01, 01, 01, 05, 05, 01, 06, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 5, 1) to (start + 1, 36) - Code(Counter(0)) at (prev + 6, 1) to (start + 1, 36)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36)
true = c1 true = c1
false = (c0 - c1) false = (c0 - c1)
@ -33,13 +33,13 @@ Number of file 0 mappings: 5
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: generics::print_size::<u64> Function name: generics::print_size::<u64>
Raw bytes (33): 0x[01, 01, 01, 01, 05, 05, 01, 05, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (33): 0x[01, 01, 01, 01, 05, 05, 01, 06, 01, 01, 24, 20, 05, 02, 01, 08, 00, 24, 05, 00, 25, 02, 06, 02, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 5, 1) to (start + 1, 36) - Code(Counter(0)) at (prev + 6, 1) to (start + 1, 36)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 8) to (start + 0, 36)
true = c1 true = c1
false = (c0 - c1) false = (c0 - c1)

1
tests/coverage/branch/generics.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/generics.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

4
tests/coverage/branch/guard.cov-map
View file

@ -1,5 +1,5 @@
Function name: guard::branch_match_guard Function name: guard::branch_match_guard
Raw bytes (89): 0x[01, 01, 08, 05, 0d, 05, 17, 0d, 11, 1f, 17, 05, 09, 0d, 11, 1f, 15, 05, 09, 0d, 01, 0b, 01, 01, 10, 02, 03, 0b, 00, 0c, 15, 01, 14, 02, 0a, 0d, 03, 0e, 00, 0f, 05, 00, 14, 00, 19, 20, 0d, 02, 00, 14, 00, 1e, 0d, 00, 1d, 02, 0a, 11, 03, 0e, 00, 0f, 02, 00, 14, 00, 19, 20, 11, 06, 00, 14, 00, 1e, 11, 00, 1d, 02, 0a, 0e, 03, 0e, 02, 0a, 1b, 04, 01, 00, 02] Raw bytes (89): 0x[01, 01, 08, 05, 0d, 05, 17, 0d, 11, 1f, 17, 05, 09, 0d, 11, 1f, 15, 05, 09, 0d, 01, 0c, 01, 01, 10, 02, 03, 0b, 00, 0c, 15, 01, 14, 02, 0a, 0d, 03, 0e, 00, 0f, 05, 00, 14, 00, 19, 20, 0d, 02, 00, 14, 00, 1e, 0d, 00, 1d, 02, 0a, 11, 03, 0e, 00, 0f, 02, 00, 14, 00, 19, 20, 11, 06, 00, 14, 00, 1e, 11, 00, 1d, 02, 0a, 0e, 03, 0e, 02, 0a, 1b, 04, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 8 Number of expressions: 8
@ -12,7 +12,7 @@ Number of expressions: 8
- expression 6 operands: lhs = Expression(7, Add), rhs = Counter(5) - expression 6 operands: lhs = Expression(7, Add), rhs = Counter(5)
- expression 7 operands: lhs = Counter(1), rhs = Counter(2) - expression 7 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 13 Number of file 0 mappings: 13
- Code(Counter(0)) at (prev + 11, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 12, 1) to (start + 1, 16)
- Code(Expression(0, Sub)) at (prev + 3, 11) to (start + 0, 12) - Code(Expression(0, Sub)) at (prev + 3, 11) to (start + 0, 12)
= (c1 - c3) = (c1 - c3)
- Code(Counter(5)) at (prev + 1, 20) to (start + 2, 10) - Code(Counter(5)) at (prev + 1, 20) to (start + 2, 10)

1
tests/coverage/branch/guard.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/guard.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

2
tests/coverage/branch/if-let.coverage
View file

@ -1,4 +1,4 @@
LL| |#![feature(let_chains)] LL| |#![feature(coverage_attribute, let_chains)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

2
tests/coverage/branch/if-let.rs
View file

@ -1,4 +1,4 @@
#![feature(let_chains)] #![feature(coverage_attribute, let_chains)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

16
tests/coverage/branch/if.cov-map
View file

@ -1,5 +1,5 @@
Function name: if::branch_and Function name: if::branch_and
Raw bytes (54): 0x[01, 01, 03, 05, 09, 09, 0d, 05, 0d, 08, 01, 2a, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 09, 00, 0d, 00, 0e, 20, 0d, 06, 00, 0d, 00, 0e, 0d, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 05, 03, 01, 00, 02] Raw bytes (54): 0x[01, 01, 03, 05, 09, 09, 0d, 05, 0d, 08, 01, 2b, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 09, 00, 0d, 00, 0e, 20, 0d, 06, 00, 0d, 00, 0e, 0d, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 05, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -7,7 +7,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(2), rhs = Counter(3) - expression 1 operands: lhs = Counter(2), rhs = Counter(3)
- expression 2 operands: lhs = Counter(1), rhs = Counter(3) - expression 2 operands: lhs = Counter(1), rhs = Counter(3)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 42, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 43, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9) - Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9)
true = c2 true = c2
@ -23,7 +23,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: if::branch_not Function name: if::branch_not
Raw bytes (116): 0x[01, 01, 07, 05, 09, 05, 0d, 05, 0d, 05, 11, 05, 11, 05, 15, 05, 15, 12, 01, 0b, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 09, 01, 09, 00, 11, 02, 01, 05, 00, 06, 05, 01, 08, 00, 0a, 20, 0a, 0d, 00, 08, 00, 0a, 0a, 00, 0b, 02, 06, 0d, 02, 05, 00, 06, 05, 01, 08, 00, 0b, 20, 11, 12, 00, 08, 00, 0b, 11, 00, 0c, 02, 06, 12, 02, 05, 00, 06, 05, 01, 08, 00, 0c, 20, 1a, 15, 00, 08, 00, 0c, 1a, 00, 0d, 02, 06, 15, 02, 05, 00, 06, 05, 01, 01, 00, 02] Raw bytes (116): 0x[01, 01, 07, 05, 09, 05, 0d, 05, 0d, 05, 11, 05, 11, 05, 15, 05, 15, 12, 01, 0c, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 09, 01, 09, 00, 11, 02, 01, 05, 00, 06, 05, 01, 08, 00, 0a, 20, 0a, 0d, 00, 08, 00, 0a, 0a, 00, 0b, 02, 06, 0d, 02, 05, 00, 06, 05, 01, 08, 00, 0b, 20, 11, 12, 00, 08, 00, 0b, 11, 00, 0c, 02, 06, 12, 02, 05, 00, 06, 05, 01, 08, 00, 0c, 20, 1a, 15, 00, 08, 00, 0c, 1a, 00, 0d, 02, 06, 15, 02, 05, 00, 06, 05, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 7 Number of expressions: 7
@ -35,7 +35,7 @@ Number of expressions: 7
- expression 5 operands: lhs = Counter(1), rhs = Counter(5) - expression 5 operands: lhs = Counter(1), rhs = Counter(5)
- expression 6 operands: lhs = Counter(1), rhs = Counter(5) - expression 6 operands: lhs = Counter(1), rhs = Counter(5)
Number of file 0 mappings: 18 Number of file 0 mappings: 18
- Code(Counter(0)) at (prev + 11, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 12, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9) - Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9)
true = c2 true = c2
@ -68,7 +68,7 @@ Number of file 0 mappings: 18
Highest counter ID seen: c5 Highest counter ID seen: c5
Function name: if::branch_not_as Function name: if::branch_not_as
Raw bytes (90): 0x[01, 01, 05, 05, 09, 05, 0d, 05, 0d, 05, 11, 05, 11, 0e, 01, 1c, 01, 01, 10, 05, 03, 08, 00, 14, 20, 02, 09, 00, 08, 00, 14, 02, 00, 15, 02, 06, 09, 02, 05, 00, 06, 05, 01, 08, 00, 15, 20, 0d, 0a, 00, 08, 00, 15, 0d, 00, 16, 02, 06, 0a, 02, 05, 00, 06, 05, 01, 08, 00, 16, 20, 12, 11, 00, 08, 00, 16, 12, 00, 17, 02, 06, 11, 02, 05, 00, 06, 05, 01, 01, 00, 02] Raw bytes (90): 0x[01, 01, 05, 05, 09, 05, 0d, 05, 0d, 05, 11, 05, 11, 0e, 01, 1d, 01, 01, 10, 05, 03, 08, 00, 14, 20, 02, 09, 00, 08, 00, 14, 02, 00, 15, 02, 06, 09, 02, 05, 00, 06, 05, 01, 08, 00, 15, 20, 0d, 0a, 00, 08, 00, 15, 0d, 00, 16, 02, 06, 0a, 02, 05, 00, 06, 05, 01, 08, 00, 16, 20, 12, 11, 00, 08, 00, 16, 12, 00, 17, 02, 06, 11, 02, 05, 00, 06, 05, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 5 Number of expressions: 5
@ -78,7 +78,7 @@ Number of expressions: 5
- expression 3 operands: lhs = Counter(1), rhs = Counter(4) - expression 3 operands: lhs = Counter(1), rhs = Counter(4)
- expression 4 operands: lhs = Counter(1), rhs = Counter(4) - expression 4 operands: lhs = Counter(1), rhs = Counter(4)
Number of file 0 mappings: 14 Number of file 0 mappings: 14
- Code(Counter(0)) at (prev + 28, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 29, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 20) - Code(Counter(1)) at (prev + 3, 8) to (start + 0, 20)
- Branch { true: Expression(0, Sub), false: Counter(2) } at (prev + 0, 8) to (start + 0, 20) - Branch { true: Expression(0, Sub), false: Counter(2) } at (prev + 0, 8) to (start + 0, 20)
true = (c1 - c2) true = (c1 - c2)
@ -104,7 +104,7 @@ Number of file 0 mappings: 14
Highest counter ID seen: c4 Highest counter ID seen: c4
Function name: if::branch_or Function name: if::branch_or
Raw bytes (60): 0x[01, 01, 06, 05, 09, 05, 17, 09, 0d, 09, 0d, 05, 17, 09, 0d, 08, 01, 34, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 02, 00, 0d, 00, 0e, 20, 0d, 12, 00, 0d, 00, 0e, 17, 00, 0f, 02, 06, 12, 02, 0c, 02, 06, 05, 03, 01, 00, 02] Raw bytes (60): 0x[01, 01, 06, 05, 09, 05, 17, 09, 0d, 09, 0d, 05, 17, 09, 0d, 08, 01, 35, 01, 01, 10, 05, 03, 08, 00, 09, 20, 09, 02, 00, 08, 00, 09, 02, 00, 0d, 00, 0e, 20, 0d, 12, 00, 0d, 00, 0e, 17, 00, 0f, 02, 06, 12, 02, 0c, 02, 06, 05, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 6 Number of expressions: 6
@ -115,7 +115,7 @@ Number of expressions: 6
- expression 4 operands: lhs = Counter(1), rhs = Expression(5, Add) - expression 4 operands: lhs = Counter(1), rhs = Expression(5, Add)
- expression 5 operands: lhs = Counter(2), rhs = Counter(3) - expression 5 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 52, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 53, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9) - Code(Counter(1)) at (prev + 3, 8) to (start + 0, 9)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 8) to (start + 0, 9)
true = c2 true = c2

1
tests/coverage/branch/if.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/if.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

16
tests/coverage/branch/lazy-boolean.cov-map
View file

@ -1,11 +1,11 @@
Function name: lazy_boolean::branch_and Function name: lazy_boolean::branch_and
Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 12, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0d, 00, 0e, 20, 09, 02, 00, 0d, 00, 0e, 09, 00, 12, 00, 13, 05, 01, 05, 01, 02] Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 13, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0d, 00, 0e, 20, 09, 02, 00, 0d, 00, 0e, 09, 00, 12, 00, 13, 05, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(1), rhs = Counter(2) - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 18, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 19, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10)
- Code(Counter(1)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(1)) at (prev + 0, 13) to (start + 0, 14)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14)
@ -16,13 +16,13 @@ Number of file 0 mappings: 6
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: lazy_boolean::branch_or Function name: lazy_boolean::branch_or
Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 1a, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0d, 00, 0e, 20, 09, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 05, 01, 05, 01, 02] Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 1b, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0d, 00, 0e, 20, 09, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 05, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(1), rhs = Counter(2) - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 26, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 27, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10)
- Code(Counter(1)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(1)) at (prev + 0, 13) to (start + 0, 14)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14)
@ -34,7 +34,7 @@ Number of file 0 mappings: 6
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: lazy_boolean::chain Function name: lazy_boolean::chain
Raw bytes (141): 0x[01, 01, 0f, 05, 09, 09, 0d, 0d, 11, 05, 15, 05, 15, 05, 3b, 15, 19, 05, 3b, 15, 19, 05, 37, 3b, 1d, 15, 19, 05, 37, 3b, 1d, 15, 19, 13, 01, 23, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0d, 00, 12, 20, 09, 02, 00, 0d, 00, 12, 09, 00, 16, 00, 1b, 20, 0d, 06, 00, 16, 00, 1b, 0d, 00, 1f, 00, 24, 20, 11, 0a, 00, 1f, 00, 24, 11, 00, 28, 00, 2d, 05, 01, 05, 00, 11, 05, 03, 09, 00, 0a, 05, 00, 0d, 00, 12, 20, 15, 12, 00, 0d, 00, 12, 12, 00, 16, 00, 1b, 20, 19, 1e, 00, 16, 00, 1b, 1e, 00, 1f, 00, 24, 20, 1d, 32, 00, 1f, 00, 24, 32, 00, 28, 00, 2d, 05, 01, 05, 01, 02] Raw bytes (141): 0x[01, 01, 0f, 05, 09, 09, 0d, 0d, 11, 05, 15, 05, 15, 05, 3b, 15, 19, 05, 3b, 15, 19, 05, 37, 3b, 1d, 15, 19, 05, 37, 3b, 1d, 15, 19, 13, 01, 24, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0d, 00, 12, 20, 09, 02, 00, 0d, 00, 12, 09, 00, 16, 00, 1b, 20, 0d, 06, 00, 16, 00, 1b, 0d, 00, 1f, 00, 24, 20, 11, 0a, 00, 1f, 00, 24, 11, 00, 28, 00, 2d, 05, 01, 05, 00, 11, 05, 03, 09, 00, 0a, 05, 00, 0d, 00, 12, 20, 15, 12, 00, 0d, 00, 12, 12, 00, 16, 00, 1b, 20, 19, 1e, 00, 16, 00, 1b, 1e, 00, 1f, 00, 24, 20, 1d, 32, 00, 1f, 00, 24, 32, 00, 28, 00, 2d, 05, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 15 Number of expressions: 15
@ -54,7 +54,7 @@ Number of expressions: 15
- expression 13 operands: lhs = Expression(14, Add), rhs = Counter(7) - expression 13 operands: lhs = Expression(14, Add), rhs = Counter(7)
- expression 14 operands: lhs = Counter(5), rhs = Counter(6) - expression 14 operands: lhs = Counter(5), rhs = Counter(6)
Number of file 0 mappings: 19 Number of file 0 mappings: 19
- Code(Counter(0)) at (prev + 35, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 36, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10)
- Code(Counter(1)) at (prev + 0, 13) to (start + 0, 18) - Code(Counter(1)) at (prev + 0, 13) to (start + 0, 18)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 18) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 18)
@ -91,7 +91,7 @@ Number of file 0 mappings: 19
Highest counter ID seen: c7 Highest counter ID seen: c7
Function name: lazy_boolean::nested_mixed Function name: lazy_boolean::nested_mixed
Raw bytes (137): 0x[01, 01, 0d, 05, 09, 05, 1f, 09, 0d, 09, 0d, 1f, 11, 09, 0d, 1f, 11, 09, 0d, 05, 15, 15, 19, 05, 19, 05, 33, 19, 1d, 13, 01, 30, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0e, 00, 13, 20, 09, 02, 00, 0e, 00, 13, 02, 00, 17, 00, 1d, 20, 0d, 06, 00, 17, 00, 1d, 1f, 00, 23, 00, 28, 20, 11, 1a, 00, 23, 00, 28, 1a, 00, 2c, 00, 33, 05, 01, 05, 00, 11, 05, 03, 09, 00, 0a, 05, 00, 0e, 00, 13, 20, 15, 22, 00, 0e, 00, 13, 15, 00, 17, 00, 1c, 20, 19, 26, 00, 17, 00, 1c, 2a, 00, 22, 00, 28, 20, 1d, 2e, 00, 22, 00, 28, 1d, 00, 2c, 00, 33, 05, 01, 05, 01, 02] Raw bytes (137): 0x[01, 01, 0d, 05, 09, 05, 1f, 09, 0d, 09, 0d, 1f, 11, 09, 0d, 1f, 11, 09, 0d, 05, 15, 15, 19, 05, 19, 05, 33, 19, 1d, 13, 01, 31, 01, 01, 10, 05, 04, 09, 00, 0a, 05, 00, 0e, 00, 13, 20, 09, 02, 00, 0e, 00, 13, 02, 00, 17, 00, 1d, 20, 0d, 06, 00, 17, 00, 1d, 1f, 00, 23, 00, 28, 20, 11, 1a, 00, 23, 00, 28, 1a, 00, 2c, 00, 33, 05, 01, 05, 00, 11, 05, 03, 09, 00, 0a, 05, 00, 0e, 00, 13, 20, 15, 22, 00, 0e, 00, 13, 15, 00, 17, 00, 1c, 20, 19, 26, 00, 17, 00, 1c, 2a, 00, 22, 00, 28, 20, 1d, 2e, 00, 22, 00, 28, 1d, 00, 2c, 00, 33, 05, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 13 Number of expressions: 13
@ -109,7 +109,7 @@ Number of expressions: 13
- expression 11 operands: lhs = Counter(1), rhs = Expression(12, Add) - expression 11 operands: lhs = Counter(1), rhs = Expression(12, Add)
- expression 12 operands: lhs = Counter(6), rhs = Counter(7) - expression 12 operands: lhs = Counter(6), rhs = Counter(7)
Number of file 0 mappings: 19 Number of file 0 mappings: 19
- Code(Counter(0)) at (prev + 48, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 49, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10) - Code(Counter(1)) at (prev + 4, 9) to (start + 0, 10)
- Code(Counter(1)) at (prev + 0, 14) to (start + 0, 19) - Code(Counter(1)) at (prev + 0, 14) to (start + 0, 19)
- Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 14) to (start + 0, 19) - Branch { true: Counter(2), false: Expression(0, Sub) } at (prev + 0, 14) to (start + 0, 19)

1
tests/coverage/branch/lazy-boolean.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/lazy-boolean.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

4
tests/coverage/branch/let-else.cov-map
View file

@ -1,11 +1,11 @@
Function name: let_else::let_else Function name: let_else::let_else
Raw bytes (43): 0x[01, 01, 01, 05, 09, 07, 01, 0b, 01, 01, 10, 20, 02, 09, 03, 09, 00, 10, 02, 00, 0e, 00, 0f, 05, 00, 13, 00, 18, 09, 01, 09, 01, 0f, 02, 04, 05, 00, 0b, 05, 01, 01, 00, 02] Raw bytes (43): 0x[01, 01, 01, 05, 09, 07, 01, 0c, 01, 01, 10, 20, 02, 09, 03, 09, 00, 10, 02, 00, 0e, 00, 0f, 05, 00, 13, 00, 18, 09, 01, 09, 01, 0f, 02, 04, 05, 00, 0b, 05, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(1), rhs = Counter(2) - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 7 Number of file 0 mappings: 7
- Code(Counter(0)) at (prev + 11, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 12, 1) to (start + 1, 16)
- Branch { true: Expression(0, Sub), false: Counter(2) } at (prev + 3, 9) to (start + 0, 16) - Branch { true: Expression(0, Sub), false: Counter(2) } at (prev + 3, 9) to (start + 0, 16)
true = (c1 - c2) true = (c1 - c2)
false = c2 false = c2

1
tests/coverage/branch/let-else.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/let-else.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

12
tests/coverage/branch/match-arms.cov-map
View file

@ -1,5 +1,5 @@
Function name: match_arms::guards Function name: match_arms::guards
Raw bytes (98): 0x[01, 01, 0d, 11, 19, 27, 19, 2b, 00, 2f, 11, 33, 0d, 05, 09, 1f, 25, 23, 21, 27, 1d, 2b, 00, 2f, 11, 33, 0d, 05, 09, 0c, 01, 2f, 01, 01, 10, 11, 03, 0b, 00, 10, 1d, 01, 11, 00, 29, 20, 1d, 05, 00, 17, 00, 1b, 21, 01, 11, 00, 29, 20, 21, 09, 00, 17, 00, 1b, 25, 01, 11, 00, 29, 20, 25, 0d, 00, 17, 00, 1b, 19, 01, 11, 00, 29, 20, 19, 02, 00, 17, 00, 1b, 06, 01, 0e, 00, 18, 1b, 03, 05, 01, 02] Raw bytes (98): 0x[01, 01, 0d, 11, 19, 27, 19, 2b, 00, 2f, 11, 33, 0d, 05, 09, 1f, 25, 23, 21, 27, 1d, 2b, 00, 2f, 11, 33, 0d, 05, 09, 0c, 01, 30, 01, 01, 10, 11, 03, 0b, 00, 10, 1d, 01, 11, 00, 29, 20, 1d, 05, 00, 17, 00, 1b, 21, 01, 11, 00, 29, 20, 21, 09, 00, 17, 00, 1b, 25, 01, 11, 00, 29, 20, 25, 0d, 00, 17, 00, 1b, 19, 01, 11, 00, 29, 20, 19, 02, 00, 17, 00, 1b, 06, 01, 0e, 00, 18, 1b, 03, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 13 Number of expressions: 13
@ -17,7 +17,7 @@ Number of expressions: 13
- expression 11 operands: lhs = Expression(12, Add), rhs = Counter(3) - expression 11 operands: lhs = Expression(12, Add), rhs = Counter(3)
- expression 12 operands: lhs = Counter(1), rhs = Counter(2) - expression 12 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 12 Number of file 0 mappings: 12
- Code(Counter(0)) at (prev + 47, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 48, 1) to (start + 1, 16)
- Code(Counter(4)) at (prev + 3, 11) to (start + 0, 16) - Code(Counter(4)) at (prev + 3, 11) to (start + 0, 16)
- Code(Counter(7)) at (prev + 1, 17) to (start + 0, 41) - Code(Counter(7)) at (prev + 1, 17) to (start + 0, 41)
- Branch { true: Counter(7), false: Counter(1) } at (prev + 0, 23) to (start + 0, 27) - Branch { true: Counter(7), false: Counter(1) } at (prev + 0, 23) to (start + 0, 27)
@ -42,7 +42,7 @@ Number of file 0 mappings: 12
Highest counter ID seen: c9 Highest counter ID seen: c9
Function name: match_arms::match_arms Function name: match_arms::match_arms
Raw bytes (45): 0x[01, 01, 03, 05, 07, 0b, 11, 09, 0d, 07, 01, 17, 01, 01, 10, 05, 03, 0b, 00, 10, 09, 01, 11, 00, 21, 0d, 01, 11, 00, 21, 11, 01, 11, 00, 21, 02, 01, 11, 00, 21, 05, 03, 05, 01, 02] Raw bytes (45): 0x[01, 01, 03, 05, 07, 0b, 11, 09, 0d, 07, 01, 18, 01, 01, 10, 05, 03, 0b, 00, 10, 09, 01, 11, 00, 21, 0d, 01, 11, 00, 21, 11, 01, 11, 00, 21, 02, 01, 11, 00, 21, 05, 03, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -50,7 +50,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Expression(2, Add), rhs = Counter(4) - expression 1 operands: lhs = Expression(2, Add), rhs = Counter(4)
- expression 2 operands: lhs = Counter(2), rhs = Counter(3) - expression 2 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 7 Number of file 0 mappings: 7
- Code(Counter(0)) at (prev + 23, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 24, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 11) to (start + 0, 16) - Code(Counter(1)) at (prev + 3, 11) to (start + 0, 16)
- Code(Counter(2)) at (prev + 1, 17) to (start + 0, 33) - Code(Counter(2)) at (prev + 1, 17) to (start + 0, 33)
- Code(Counter(3)) at (prev + 1, 17) to (start + 0, 33) - Code(Counter(3)) at (prev + 1, 17) to (start + 0, 33)
@ -61,7 +61,7 @@ Number of file 0 mappings: 7
Highest counter ID seen: c4 Highest counter ID seen: c4
Function name: match_arms::or_patterns Function name: match_arms::or_patterns
Raw bytes (57): 0x[01, 01, 04, 09, 0d, 05, 0b, 03, 11, 05, 03, 09, 01, 24, 01, 01, 10, 05, 03, 0b, 00, 10, 09, 01, 11, 00, 12, 0d, 00, 1e, 00, 1f, 03, 00, 24, 00, 2e, 11, 01, 11, 00, 12, 06, 00, 1e, 00, 1f, 0e, 00, 24, 00, 2e, 05, 03, 05, 01, 02] Raw bytes (57): 0x[01, 01, 04, 09, 0d, 05, 0b, 03, 11, 05, 03, 09, 01, 25, 01, 01, 10, 05, 03, 0b, 00, 10, 09, 01, 11, 00, 12, 0d, 00, 1e, 00, 1f, 03, 00, 24, 00, 2e, 11, 01, 11, 00, 12, 06, 00, 1e, 00, 1f, 0e, 00, 24, 00, 2e, 05, 03, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 4 Number of expressions: 4
@ -70,7 +70,7 @@ Number of expressions: 4
- expression 2 operands: lhs = Expression(0, Add), rhs = Counter(4) - expression 2 operands: lhs = Expression(0, Add), rhs = Counter(4)
- expression 3 operands: lhs = Counter(1), rhs = Expression(0, Add) - expression 3 operands: lhs = Counter(1), rhs = Expression(0, Add)
Number of file 0 mappings: 9 Number of file 0 mappings: 9
- Code(Counter(0)) at (prev + 36, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 37, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 11) to (start + 0, 16) - Code(Counter(1)) at (prev + 3, 11) to (start + 0, 16)
- Code(Counter(2)) at (prev + 1, 17) to (start + 0, 18) - Code(Counter(2)) at (prev + 1, 17) to (start + 0, 18)
- Code(Counter(3)) at (prev + 0, 30) to (start + 0, 31) - Code(Counter(3)) at (prev + 0, 30) to (start + 0, 31)

1
tests/coverage/branch/match-arms.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/match-arms.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

8
tests/coverage/branch/match-trivial.cov-map
View file

@ -1,19 +1,19 @@
Function name: match_trivial::_uninhabited (unused) Function name: match_trivial::_uninhabited (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 15, 01, 01, 10] Raw bytes (9): 0x[01, 01, 00, 01, 00, 16, 01, 01, 10]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 21, 1) to (start + 1, 16) - Code(Zero) at (prev + 22, 1) to (start + 1, 16)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: match_trivial::trivial Function name: match_trivial::trivial
Raw bytes (14): 0x[01, 01, 00, 02, 01, 1d, 01, 01, 10, 05, 03, 0b, 05, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 1e, 01, 01, 10, 05, 03, 0b, 05, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 29, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 30, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 11) to (start + 5, 2) - Code(Counter(1)) at (prev + 3, 11) to (start + 5, 2)
Highest counter ID seen: c1 Highest counter ID seen: c1

1
tests/coverage/branch/match-trivial.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/match-trivial.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

16
tests/coverage/branch/no-mir-spans.cov-map
View file

@ -1,35 +1,35 @@
Function name: no_mir_spans::while_cond Function name: no_mir_spans::while_cond
Raw bytes (16): 0x[01, 01, 00, 02, 01, 0f, 01, 00, 11, 20, 05, 09, 04, 0b, 00, 10] Raw bytes (16): 0x[01, 01, 00, 02, 01, 10, 01, 00, 11, 20, 05, 09, 04, 0b, 00, 10]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 15, 1) to (start + 0, 17) - Code(Counter(0)) at (prev + 16, 1) to (start + 0, 17)
- Branch { true: Counter(1), false: Counter(2) } at (prev + 4, 11) to (start + 0, 16) - Branch { true: Counter(1), false: Counter(2) } at (prev + 4, 11) to (start + 0, 16)
true = c1 true = c1
false = c2 false = c2
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: no_mir_spans::while_cond_not Function name: no_mir_spans::while_cond_not
Raw bytes (16): 0x[01, 01, 00, 02, 01, 18, 01, 00, 15, 20, 09, 05, 04, 0b, 00, 14] Raw bytes (16): 0x[01, 01, 00, 02, 01, 19, 01, 00, 15, 20, 09, 05, 04, 0b, 00, 14]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 24, 1) to (start + 0, 21) - Code(Counter(0)) at (prev + 25, 1) to (start + 0, 21)
- Branch { true: Counter(2), false: Counter(1) } at (prev + 4, 11) to (start + 0, 20) - Branch { true: Counter(2), false: Counter(1) } at (prev + 4, 11) to (start + 0, 20)
true = c2 true = c2
false = c1 false = c1
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: no_mir_spans::while_op_and Function name: no_mir_spans::while_op_and
Raw bytes (25): 0x[01, 01, 01, 05, 09, 03, 01, 21, 01, 00, 13, 20, 05, 0d, 05, 0b, 00, 10, 20, 02, 09, 00, 14, 00, 19] Raw bytes (25): 0x[01, 01, 01, 05, 09, 03, 01, 22, 01, 00, 13, 20, 05, 0d, 05, 0b, 00, 10, 20, 02, 09, 00, 14, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(1), rhs = Counter(2) - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 33, 1) to (start + 0, 19) - Code(Counter(0)) at (prev + 34, 1) to (start + 0, 19)
- Branch { true: Counter(1), false: Counter(3) } at (prev + 5, 11) to (start + 0, 16) - Branch { true: Counter(1), false: Counter(3) } at (prev + 5, 11) to (start + 0, 16)
true = c1 true = c1
false = c3 false = c3
@ -39,13 +39,13 @@ Number of file 0 mappings: 3
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: no_mir_spans::while_op_or Function name: no_mir_spans::while_op_or
Raw bytes (25): 0x[01, 01, 01, 09, 0d, 03, 01, 2c, 01, 00, 12, 20, 05, 09, 05, 0b, 00, 10, 20, 0d, 02, 00, 14, 00, 19] Raw bytes (25): 0x[01, 01, 01, 09, 0d, 03, 01, 2d, 01, 00, 12, 20, 05, 09, 05, 0b, 00, 10, 20, 0d, 02, 00, 14, 00, 19]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(2), rhs = Counter(3) - expression 0 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 44, 1) to (start + 0, 18) - Code(Counter(0)) at (prev + 45, 1) to (start + 0, 18)
- Branch { true: Counter(1), false: Counter(2) } at (prev + 5, 11) to (start + 0, 16) - Branch { true: Counter(1), false: Counter(2) } at (prev + 5, 11) to (start + 0, 16)
true = c1 true = c1
false = c2 false = c2

1
tests/coverage/branch/no-mir-spans.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch,no-mir-spans LL| |//@ compile-flags: -Zcoverage-options=branch,no-mir-spans
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/no-mir-spans.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch,no-mir-spans //@ compile-flags: -Zcoverage-options=branch,no-mir-spans
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

16
tests/coverage/branch/while.cov-map
View file

@ -1,11 +1,11 @@
Function name: while::while_cond Function name: while::while_cond
Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 0b, 01, 01, 10, 05, 03, 09, 00, 12, 03, 01, 0b, 00, 10, 20, 09, 05, 00, 0b, 00, 10, 09, 00, 11, 02, 06, 05, 03, 01, 00, 02] Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 0c, 01, 01, 10, 05, 03, 09, 00, 12, 03, 01, 0b, 00, 10, 20, 09, 05, 00, 0b, 00, 10, 09, 00, 11, 02, 06, 05, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(1), rhs = Counter(2) - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 11, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 12, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 9) to (start + 0, 18) - Code(Counter(1)) at (prev + 3, 9) to (start + 0, 18)
- Code(Expression(0, Add)) at (prev + 1, 11) to (start + 0, 16) - Code(Expression(0, Add)) at (prev + 1, 11) to (start + 0, 16)
= (c1 + c2) = (c1 + c2)
@ -17,13 +17,13 @@ Number of file 0 mappings: 6
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: while::while_cond_not Function name: while::while_cond_not
Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 14, 01, 01, 10, 05, 03, 09, 00, 12, 03, 01, 0b, 00, 14, 20, 09, 05, 00, 0b, 00, 14, 09, 00, 15, 02, 06, 05, 03, 01, 00, 02] Raw bytes (38): 0x[01, 01, 01, 05, 09, 06, 01, 15, 01, 01, 10, 05, 03, 09, 00, 12, 03, 01, 0b, 00, 14, 20, 09, 05, 00, 0b, 00, 14, 09, 00, 15, 02, 06, 05, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(1), rhs = Counter(2) - expression 0 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 20, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 21, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 9) to (start + 0, 18) - Code(Counter(1)) at (prev + 3, 9) to (start + 0, 18)
- Code(Expression(0, Add)) at (prev + 1, 11) to (start + 0, 20) - Code(Expression(0, Add)) at (prev + 1, 11) to (start + 0, 20)
= (c1 + c2) = (c1 + c2)
@ -35,7 +35,7 @@ Number of file 0 mappings: 6
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: while::while_op_and Function name: while::while_op_and
Raw bytes (56): 0x[01, 01, 04, 05, 09, 03, 0d, 03, 0d, 05, 0d, 08, 01, 1d, 01, 01, 10, 05, 03, 09, 01, 12, 03, 02, 0b, 00, 10, 20, 0a, 0d, 00, 0b, 00, 10, 0a, 00, 14, 00, 19, 20, 09, 0e, 00, 14, 00, 19, 09, 00, 1a, 03, 06, 05, 04, 01, 00, 02] Raw bytes (56): 0x[01, 01, 04, 05, 09, 03, 0d, 03, 0d, 05, 0d, 08, 01, 1e, 01, 01, 10, 05, 03, 09, 01, 12, 03, 02, 0b, 00, 10, 20, 0a, 0d, 00, 0b, 00, 10, 0a, 00, 14, 00, 19, 20, 09, 0e, 00, 14, 00, 19, 09, 00, 1a, 03, 06, 05, 04, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 4 Number of expressions: 4
@ -44,7 +44,7 @@ Number of expressions: 4
- expression 2 operands: lhs = Expression(0, Add), rhs = Counter(3) - expression 2 operands: lhs = Expression(0, Add), rhs = Counter(3)
- expression 3 operands: lhs = Counter(1), rhs = Counter(3) - expression 3 operands: lhs = Counter(1), rhs = Counter(3)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 29, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 30, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 9) to (start + 1, 18) - Code(Counter(1)) at (prev + 3, 9) to (start + 1, 18)
- Code(Expression(0, Add)) at (prev + 2, 11) to (start + 0, 16) - Code(Expression(0, Add)) at (prev + 2, 11) to (start + 0, 16)
= (c1 + c2) = (c1 + c2)
@ -61,7 +61,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: while::while_op_or Function name: while::while_op_or
Raw bytes (58): 0x[01, 01, 05, 07, 0d, 05, 09, 05, 0d, 05, 0d, 09, 0d, 08, 01, 28, 01, 01, 10, 05, 03, 09, 01, 12, 03, 02, 0b, 00, 10, 20, 09, 0f, 00, 0b, 00, 10, 0f, 00, 14, 00, 19, 20, 0d, 05, 00, 14, 00, 19, 13, 00, 1a, 03, 06, 05, 04, 01, 00, 02] Raw bytes (58): 0x[01, 01, 05, 07, 0d, 05, 09, 05, 0d, 05, 0d, 09, 0d, 08, 01, 29, 01, 01, 10, 05, 03, 09, 01, 12, 03, 02, 0b, 00, 10, 20, 09, 0f, 00, 0b, 00, 10, 0f, 00, 14, 00, 19, 20, 0d, 05, 00, 14, 00, 19, 13, 00, 1a, 03, 06, 05, 04, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 5 Number of expressions: 5
@ -71,7 +71,7 @@ Number of expressions: 5
- expression 3 operands: lhs = Counter(1), rhs = Counter(3) - expression 3 operands: lhs = Counter(1), rhs = Counter(3)
- expression 4 operands: lhs = Counter(2), rhs = Counter(3) - expression 4 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 40, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 41, 1) to (start + 1, 16)
- Code(Counter(1)) at (prev + 3, 9) to (start + 1, 18) - Code(Counter(1)) at (prev + 3, 9) to (start + 1, 18)
- Code(Expression(0, Add)) at (prev + 2, 11) to (start + 0, 16) - Code(Expression(0, Add)) at (prev + 2, 11) to (start + 0, 16)
= ((c1 + c2) + c3) = ((c1 + c2) + c3)

1
tests/coverage/branch/while.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=branch LL| |//@ compile-flags: -Zcoverage-options=branch
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/branch/while.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=branch //@ compile-flags: -Zcoverage-options=branch
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

16
tests/coverage/closure_macro_async.cov-map
View file

@ -1,29 +1,29 @@
Function name: closure_macro_async::load_configuration_files Function name: closure_macro_async::load_configuration_files
Raw bytes (9): 0x[01, 01, 00, 01, 01, 20, 01, 02, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 21, 01, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 32, 1) to (start + 2, 2) - Code(Counter(0)) at (prev + 33, 1) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: closure_macro_async::test Function name: closure_macro_async::test
Raw bytes (9): 0x[01, 01, 00, 01, 01, 24, 01, 00, 2b] Raw bytes (9): 0x[01, 01, 00, 01, 01, 25, 01, 00, 2b]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 36, 1) to (start + 0, 43) - Code(Counter(0)) at (prev + 37, 1) to (start + 0, 43)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: closure_macro_async::test::{closure#0} Function name: closure_macro_async::test::{closure#0}
Raw bytes (36): 0x[01, 01, 01, 01, 05, 06, 01, 24, 2b, 01, 21, 02, 02, 09, 00, 0f, 01, 00, 12, 00, 54, 05, 00, 54, 00, 55, 02, 02, 09, 02, 0b, 01, 03, 01, 00, 02] Raw bytes (36): 0x[01, 01, 01, 01, 05, 06, 01, 25, 2b, 01, 21, 02, 02, 09, 00, 0f, 01, 00, 12, 00, 54, 05, 00, 54, 00, 55, 02, 02, 09, 02, 0b, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 36, 43) to (start + 1, 33) - Code(Counter(0)) at (prev + 37, 43) to (start + 1, 33)
- Code(Expression(0, Sub)) at (prev + 2, 9) to (start + 0, 15) - Code(Expression(0, Sub)) at (prev + 2, 9) to (start + 0, 15)
= (c0 - c1) = (c0 - c1)
- Code(Counter(0)) at (prev + 0, 18) to (start + 0, 84) - Code(Counter(0)) at (prev + 0, 18) to (start + 0, 84)
@ -34,7 +34,7 @@ Number of file 0 mappings: 6
Highest counter ID seen: c1 Highest counter ID seen: c1
Function name: closure_macro_async::test::{closure#0}::{closure#0} Function name: closure_macro_async::test::{closure#0}::{closure#0}
Raw bytes (35): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 05, 01, 13, 1c, 03, 21, 05, 04, 11, 01, 27, 02, 03, 11, 00, 16, 06, 00, 17, 00, 1e, 01, 02, 09, 00, 0a] Raw bytes (35): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 05, 01, 14, 1c, 03, 21, 05, 04, 11, 01, 27, 02, 03, 11, 00, 16, 06, 00, 17, 00, 1e, 01, 02, 09, 00, 0a]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -42,7 +42,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add) - expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add)
- expression 2 operands: lhs = Counter(1), rhs = Counter(2) - expression 2 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 19, 28) to (start + 3, 33) - Code(Counter(0)) at (prev + 20, 28) to (start + 3, 33)
- Code(Counter(1)) at (prev + 4, 17) to (start + 1, 39) - Code(Counter(1)) at (prev + 4, 17) to (start + 1, 39)
- Code(Expression(0, Sub)) at (prev + 3, 17) to (start + 0, 22) - Code(Expression(0, Sub)) at (prev + 3, 17) to (start + 0, 22)
= (c0 - c1) = (c0 - c1)

1
tests/coverage/closure_macro_async.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2018 LL| |//@ edition: 2018
LL| | LL| |
LL| |//@ aux-build: executor.rs LL| |//@ aux-build: executor.rs

1
tests/coverage/closure_macro_async.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2018 //@ edition: 2018
//@ aux-build: executor.rs //@ aux-build: executor.rs

16
tests/coverage/closure_unit_return.cov-map
View file

@ -1,38 +1,38 @@
Function name: closure_unit_return::explicit_unit Function name: closure_unit_return::explicit_unit
Raw bytes (14): 0x[01, 01, 00, 02, 01, 06, 01, 01, 10, 01, 05, 05, 02, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 07, 01, 01, 10, 01, 05, 05, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 6, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 7, 1) to (start + 1, 16)
- Code(Counter(0)) at (prev + 5, 5) to (start + 2, 2) - Code(Counter(0)) at (prev + 5, 5) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: closure_unit_return::explicit_unit::{closure#0} (unused) Function name: closure_unit_return::explicit_unit::{closure#0} (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 07, 16, 02, 06] Raw bytes (9): 0x[01, 01, 00, 01, 00, 08, 16, 02, 06]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 7, 22) to (start + 2, 6) - Code(Zero) at (prev + 8, 22) to (start + 2, 6)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: closure_unit_return::implicit_unit Function name: closure_unit_return::implicit_unit
Raw bytes (14): 0x[01, 01, 00, 02, 01, 0f, 01, 01, 10, 01, 05, 05, 02, 02] Raw bytes (14): 0x[01, 01, 00, 02, 01, 10, 01, 01, 10, 01, 05, 05, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 2 Number of file 0 mappings: 2
- Code(Counter(0)) at (prev + 15, 1) to (start + 1, 16) - Code(Counter(0)) at (prev + 16, 1) to (start + 1, 16)
- Code(Counter(0)) at (prev + 5, 5) to (start + 2, 2) - Code(Counter(0)) at (prev + 5, 5) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: closure_unit_return::implicit_unit::{closure#0} (unused) Function name: closure_unit_return::implicit_unit::{closure#0} (unused)
Raw bytes (9): 0x[01, 01, 00, 01, 00, 10, 16, 02, 06] Raw bytes (9): 0x[01, 01, 00, 01, 00, 11, 16, 02, 06]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Zero) at (prev + 16, 22) to (start + 2, 6) - Code(Zero) at (prev + 17, 22) to (start + 2, 6)
Highest counter ID seen: (none) Highest counter ID seen: (none)

1
tests/coverage/closure_unit_return.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |
LL| |// Regression test for an inconsistency between functions that return the value LL| |// Regression test for an inconsistency between functions that return the value

1
tests/coverage/closure_unit_return.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
// Regression test for an inconsistency between functions that return the value // Regression test for an inconsistency between functions that return the value

28
tests/coverage/condition/conditions.cov-map
View file

@ -1,5 +1,5 @@
Function name: conditions::assign_3_and_or Function name: conditions::assign_3_and_or
Raw bytes (65): 0x[01, 01, 05, 01, 05, 05, 09, 01, 09, 01, 13, 09, 0d, 09, 01, 1b, 01, 00, 2f, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 0a, 00, 17, 00, 18, 20, 0d, 0e, 00, 17, 00, 18, 01, 01, 05, 01, 02] Raw bytes (65): 0x[01, 01, 05, 01, 05, 05, 09, 01, 09, 01, 13, 09, 0d, 09, 01, 1c, 01, 00, 2f, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 0a, 00, 17, 00, 18, 20, 0d, 0e, 00, 17, 00, 18, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 5 Number of expressions: 5
@ -9,7 +9,7 @@ Number of expressions: 5
- expression 3 operands: lhs = Counter(0), rhs = Expression(4, Add) - expression 3 operands: lhs = Counter(0), rhs = Expression(4, Add)
- expression 4 operands: lhs = Counter(2), rhs = Counter(3) - expression 4 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 9 Number of file 0 mappings: 9
- Code(Counter(0)) at (prev + 27, 1) to (start + 0, 47) - Code(Counter(0)) at (prev + 28, 1) to (start + 0, 47)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14)
@ -28,7 +28,7 @@ Number of file 0 mappings: 9
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: conditions::assign_3_or_and Function name: conditions::assign_3_or_and
Raw bytes (63): 0x[01, 01, 04, 01, 05, 01, 0b, 05, 09, 09, 0d, 09, 01, 16, 01, 00, 2f, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 09, 00, 17, 00, 18, 20, 0d, 0e, 00, 17, 00, 18, 01, 01, 05, 01, 02] Raw bytes (63): 0x[01, 01, 04, 01, 05, 01, 0b, 05, 09, 09, 0d, 09, 01, 17, 01, 00, 2f, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 09, 00, 17, 00, 18, 20, 0d, 0e, 00, 17, 00, 18, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 4 Number of expressions: 4
@ -37,7 +37,7 @@ Number of expressions: 4
- expression 2 operands: lhs = Counter(1), rhs = Counter(2) - expression 2 operands: lhs = Counter(1), rhs = Counter(2)
- expression 3 operands: lhs = Counter(2), rhs = Counter(3) - expression 3 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 9 Number of file 0 mappings: 9
- Code(Counter(0)) at (prev + 22, 1) to (start + 0, 47) - Code(Counter(0)) at (prev + 23, 1) to (start + 0, 47)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14)
@ -56,14 +56,14 @@ Number of file 0 mappings: 9
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: conditions::assign_and Function name: conditions::assign_and
Raw bytes (47): 0x[01, 01, 02, 01, 05, 05, 09, 07, 01, 0c, 01, 00, 21, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 01, 01, 05, 01, 02] Raw bytes (47): 0x[01, 01, 02, 01, 05, 05, 09, 07, 01, 0d, 01, 00, 21, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 7 Number of file 0 mappings: 7
- Code(Counter(0)) at (prev + 12, 1) to (start + 0, 33) - Code(Counter(0)) at (prev + 13, 1) to (start + 0, 33)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14)
@ -77,7 +77,7 @@ Number of file 0 mappings: 7
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: conditions::assign_or Function name: conditions::assign_or
Raw bytes (49): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 07, 01, 11, 01, 00, 20, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 01, 01, 05, 01, 02] Raw bytes (49): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 07, 01, 12, 01, 00, 20, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 20, 05, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 20, 09, 06, 00, 12, 00, 13, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -85,7 +85,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add) - expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add)
- expression 2 operands: lhs = Counter(1), rhs = Counter(2) - expression 2 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 7 Number of file 0 mappings: 7
- Code(Counter(0)) at (prev + 17, 1) to (start + 0, 32) - Code(Counter(0)) at (prev + 18, 1) to (start + 0, 32)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 0, 13) to (start + 0, 14)
@ -100,23 +100,23 @@ Number of file 0 mappings: 7
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: conditions::foo Function name: conditions::foo
Raw bytes (9): 0x[01, 01, 00, 01, 01, 20, 01, 02, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 21, 01, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 32, 1) to (start + 2, 2) - Code(Counter(0)) at (prev + 33, 1) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: conditions::func_call Function name: conditions::func_call
Raw bytes (37): 0x[01, 01, 02, 01, 05, 05, 09, 05, 01, 24, 01, 01, 0a, 20, 05, 02, 01, 09, 00, 0a, 05, 00, 0e, 00, 0f, 20, 09, 06, 00, 0e, 00, 0f, 01, 01, 01, 00, 02] Raw bytes (37): 0x[01, 01, 02, 01, 05, 05, 09, 05, 01, 25, 01, 01, 0a, 20, 05, 02, 01, 09, 00, 0a, 05, 00, 0e, 00, 0f, 20, 09, 06, 00, 0e, 00, 0f, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 5 Number of file 0 mappings: 5
- Code(Counter(0)) at (prev + 36, 1) to (start + 1, 10) - Code(Counter(0)) at (prev + 37, 1) to (start + 1, 10)
- Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 9) to (start + 0, 10) - Branch { true: Counter(1), false: Expression(0, Sub) } at (prev + 1, 9) to (start + 0, 10)
true = c1 true = c1
false = (c0 - c1) false = (c0 - c1)
@ -128,11 +128,11 @@ Number of file 0 mappings: 5
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: conditions::simple_assign Function name: conditions::simple_assign
Raw bytes (9): 0x[01, 01, 00, 01, 01, 07, 01, 03, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 08, 01, 03, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 7, 1) to (start + 3, 2) - Code(Counter(0)) at (prev + 8, 1) to (start + 3, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0

1
tests/coverage/condition/conditions.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ compile-flags: -Zcoverage-options=condition LL| |//@ compile-flags: -Zcoverage-options=condition
LL| |//@ llvm-cov-flags: --show-branches=count LL| |//@ llvm-cov-flags: --show-branches=count

1
tests/coverage/condition/conditions.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ compile-flags: -Zcoverage-options=condition //@ compile-flags: -Zcoverage-options=condition
//@ llvm-cov-flags: --show-branches=count //@ llvm-cov-flags: --show-branches=count

2
tests/coverage/coverage_attr_closure.coverage
View file

@ -1,4 +1,4 @@
LL| |#![feature(stmt_expr_attributes)] LL| |#![feature(coverage_attribute, stmt_expr_attributes)]
LL| |#![allow(dead_code)] LL| |#![allow(dead_code)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |

2
tests/coverage/coverage_attr_closure.rs
View file

@ -1,4 +1,4 @@
#![feature(stmt_expr_attributes)] #![feature(coverage_attribute, stmt_expr_attributes)]
#![allow(dead_code)] #![allow(dead_code)]
//@ edition: 2021 //@ edition: 2021

16
tests/coverage/fn_sig_into_try.cov-map
View file

@ -1,20 +1,20 @@
Function name: fn_sig_into_try::a Function name: fn_sig_into_try::a
Raw bytes (9): 0x[01, 01, 00, 01, 01, 09, 01, 05, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 0a, 01, 05, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 9, 1) to (start + 5, 2) - Code(Counter(0)) at (prev + 10, 1) to (start + 5, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: fn_sig_into_try::b Function name: fn_sig_into_try::b
Raw bytes (26): 0x[01, 01, 01, 01, 00, 04, 01, 10, 01, 03, 0f, 00, 03, 0f, 00, 10, 02, 01, 05, 00, 0c, 01, 01, 01, 00, 02] Raw bytes (26): 0x[01, 01, 01, 01, 00, 04, 01, 11, 01, 03, 0f, 00, 03, 0f, 00, 10, 02, 01, 05, 00, 0c, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Zero - expression 0 operands: lhs = Counter(0), rhs = Zero
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 16, 1) to (start + 3, 15) - Code(Counter(0)) at (prev + 17, 1) to (start + 3, 15)
- Code(Zero) at (prev + 3, 15) to (start + 0, 16) - Code(Zero) at (prev + 3, 15) to (start + 0, 16)
- Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12) - Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12)
= (c0 - Zero) = (c0 - Zero)
@ -22,13 +22,13 @@ Number of file 0 mappings: 4
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: fn_sig_into_try::c Function name: fn_sig_into_try::c
Raw bytes (26): 0x[01, 01, 01, 01, 00, 04, 01, 17, 01, 03, 17, 00, 03, 17, 00, 18, 02, 01, 05, 00, 0c, 01, 01, 01, 00, 02] Raw bytes (26): 0x[01, 01, 01, 01, 00, 04, 01, 18, 01, 03, 17, 00, 03, 17, 00, 18, 02, 01, 05, 00, 0c, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Zero - expression 0 operands: lhs = Counter(0), rhs = Zero
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 23, 1) to (start + 3, 23) - Code(Counter(0)) at (prev + 24, 1) to (start + 3, 23)
- Code(Zero) at (prev + 3, 23) to (start + 0, 24) - Code(Zero) at (prev + 3, 23) to (start + 0, 24)
- Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12) - Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12)
= (c0 - Zero) = (c0 - Zero)
@ -36,13 +36,13 @@ Number of file 0 mappings: 4
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: fn_sig_into_try::d Function name: fn_sig_into_try::d
Raw bytes (26): 0x[01, 01, 01, 01, 00, 04, 01, 1e, 01, 04, 0f, 00, 04, 0f, 00, 10, 02, 01, 05, 00, 0c, 01, 01, 01, 00, 02] Raw bytes (26): 0x[01, 01, 01, 01, 00, 04, 01, 1f, 01, 04, 0f, 00, 04, 0f, 00, 10, 02, 01, 05, 00, 0c, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 1 Number of expressions: 1
- expression 0 operands: lhs = Counter(0), rhs = Zero - expression 0 operands: lhs = Counter(0), rhs = Zero
Number of file 0 mappings: 4 Number of file 0 mappings: 4
- Code(Counter(0)) at (prev + 30, 1) to (start + 4, 15) - Code(Counter(0)) at (prev + 31, 1) to (start + 4, 15)
- Code(Zero) at (prev + 4, 15) to (start + 0, 16) - Code(Zero) at (prev + 4, 15) to (start + 0, 16)
- Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12) - Code(Expression(0, Sub)) at (prev + 1, 5) to (start + 0, 12)
= (c0 - Zero) = (c0 - Zero)

1
tests/coverage/fn_sig_into_try.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |
LL| |// Regression test for inconsistent handling of function signature spans that LL| |// Regression test for inconsistent handling of function signature spans that

1
tests/coverage/fn_sig_into_try.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
// Regression test for inconsistent handling of function signature spans that // Regression test for inconsistent handling of function signature spans that

4
tests/coverage/if_not.cov-map
View file

@ -1,5 +1,5 @@
Function name: if_not::if_not Function name: if_not::if_not
Raw bytes (60): 0x[01, 01, 03, 01, 05, 01, 09, 01, 0d, 0a, 01, 04, 01, 03, 0d, 02, 04, 05, 02, 06, 05, 02, 05, 00, 06, 01, 03, 09, 01, 0d, 06, 02, 05, 02, 06, 09, 02, 05, 00, 06, 01, 03, 09, 01, 0d, 0a, 02, 05, 02, 06, 0d, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (60): 0x[01, 01, 03, 01, 05, 01, 09, 01, 0d, 0a, 01, 05, 01, 03, 0d, 02, 04, 05, 02, 06, 05, 02, 05, 00, 06, 01, 03, 09, 01, 0d, 06, 02, 05, 02, 06, 09, 02, 05, 00, 06, 01, 03, 09, 01, 0d, 0a, 02, 05, 02, 06, 0d, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -7,7 +7,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(0), rhs = Counter(2) - expression 1 operands: lhs = Counter(0), rhs = Counter(2)
- expression 2 operands: lhs = Counter(0), rhs = Counter(3) - expression 2 operands: lhs = Counter(0), rhs = Counter(3)
Number of file 0 mappings: 10 Number of file 0 mappings: 10
- Code(Counter(0)) at (prev + 4, 1) to (start + 3, 13) - Code(Counter(0)) at (prev + 5, 1) to (start + 3, 13)
- Code(Expression(0, Sub)) at (prev + 4, 5) to (start + 2, 6) - Code(Expression(0, Sub)) at (prev + 4, 5) to (start + 2, 6)
= (c0 - c1) = (c0 - c1)
- Code(Counter(1)) at (prev + 2, 5) to (start + 0, 6) - Code(Counter(1)) at (prev + 2, 5) to (start + 0, 6)

1
tests/coverage/if_not.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |
LL| |#[rustfmt::skip] LL| |#[rustfmt::skip]

1
tests/coverage/if_not.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
#[rustfmt::skip] #[rustfmt::skip]

12
tests/coverage/let_else_loop.cov-map
View file

@ -1,32 +1,32 @@
Function name: let_else_loop::_if (unused) Function name: let_else_loop::_if (unused)
Raw bytes (19): 0x[01, 01, 00, 03, 00, 15, 01, 01, 0c, 00, 01, 0f, 00, 16, 00, 00, 20, 00, 27] Raw bytes (19): 0x[01, 01, 00, 03, 00, 16, 01, 01, 0c, 00, 01, 0f, 00, 16, 00, 00, 20, 00, 27]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Zero) at (prev + 21, 1) to (start + 1, 12) - Code(Zero) at (prev + 22, 1) to (start + 1, 12)
- Code(Zero) at (prev + 1, 15) to (start + 0, 22) - Code(Zero) at (prev + 1, 15) to (start + 0, 22)
- Code(Zero) at (prev + 0, 32) to (start + 0, 39) - Code(Zero) at (prev + 0, 32) to (start + 0, 39)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: let_else_loop::_loop_either_way (unused) Function name: let_else_loop::_loop_either_way (unused)
Raw bytes (19): 0x[01, 01, 00, 03, 00, 0e, 01, 01, 14, 00, 01, 1c, 00, 23, 00, 01, 05, 00, 0c] Raw bytes (19): 0x[01, 01, 00, 03, 00, 0f, 01, 01, 14, 00, 01, 1c, 00, 23, 00, 01, 05, 00, 0c]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Zero) at (prev + 14, 1) to (start + 1, 20) - Code(Zero) at (prev + 15, 1) to (start + 1, 20)
- Code(Zero) at (prev + 1, 28) to (start + 0, 35) - Code(Zero) at (prev + 1, 28) to (start + 0, 35)
- Code(Zero) at (prev + 1, 5) to (start + 0, 12) - Code(Zero) at (prev + 1, 5) to (start + 0, 12)
Highest counter ID seen: (none) Highest counter ID seen: (none)
Function name: let_else_loop::loopy Function name: let_else_loop::loopy
Raw bytes (19): 0x[01, 01, 00, 03, 01, 08, 01, 01, 14, 09, 01, 1c, 00, 23, 05, 01, 01, 00, 02] Raw bytes (19): 0x[01, 01, 00, 03, 01, 09, 01, 01, 14, 09, 01, 1c, 00, 23, 05, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 3 Number of file 0 mappings: 3
- Code(Counter(0)) at (prev + 8, 1) to (start + 1, 20) - Code(Counter(0)) at (prev + 9, 1) to (start + 1, 20)
- Code(Counter(2)) at (prev + 1, 28) to (start + 0, 35) - Code(Counter(2)) at (prev + 1, 28) to (start + 0, 35)
- Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2) - Code(Counter(1)) at (prev + 1, 1) to (start + 0, 2)
Highest counter ID seen: c2 Highest counter ID seen: c2

1
tests/coverage/let_else_loop.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |
LL| |// Regression test for <https://github.com/rust-lang/rust/issues/122738>. LL| |// Regression test for <https://github.com/rust-lang/rust/issues/122738>.

1
tests/coverage/let_else_loop.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
// Regression test for <https://github.com/rust-lang/rust/issues/122738>. // Regression test for <https://github.com/rust-lang/rust/issues/122738>.

8
tests/coverage/macro_in_closure.cov-map
View file

@ -1,18 +1,18 @@
Function name: macro_in_closure::NO_BLOCK::{closure#0} Function name: macro_in_closure::NO_BLOCK::{closure#0}
Raw bytes (9): 0x[01, 01, 00, 01, 01, 06, 1c, 00, 2d] Raw bytes (9): 0x[01, 01, 00, 01, 01, 07, 1c, 00, 2d]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 6, 28) to (start + 0, 45) - Code(Counter(0)) at (prev + 7, 28) to (start + 0, 45)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: macro_in_closure::WITH_BLOCK::{closure#0} Function name: macro_in_closure::WITH_BLOCK::{closure#0}
Raw bytes (9): 0x[01, 01, 00, 01, 01, 08, 1e, 02, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 09, 1e, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 8, 30) to (start + 2, 2) - Code(Counter(0)) at (prev + 9, 30) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0

1
tests/coverage/macro_in_closure.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| | LL| |
LL| |// If a closure body consists entirely of a single bang-macro invocation, the LL| |// If a closure body consists entirely of a single bang-macro invocation, the

1
tests/coverage/macro_in_closure.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
// If a closure body consists entirely of a single bang-macro invocation, the // If a closure body consists entirely of a single bang-macro invocation, the

4
tests/coverage/mcdc/condition-limit.cov-map
View file

@ -1,5 +1,5 @@
Function name: condition_limit::accept_7_conditions Function name: condition_limit::accept_7_conditions
Raw bytes (147): 0x[01, 01, 08, 01, 05, 05, 09, 09, 0d, 0d, 11, 11, 15, 15, 19, 19, 1d, 01, 1d, 12, 01, 06, 01, 02, 09, 28, 08, 07, 02, 08, 00, 27, 30, 05, 02, 01, 07, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 07, 06, 00, 00, 0d, 00, 0e, 09, 00, 12, 00, 13, 30, 0d, 0a, 06, 05, 00, 00, 12, 00, 13, 0d, 00, 17, 00, 18, 30, 11, 0e, 05, 04, 00, 00, 17, 00, 18, 11, 00, 1c, 00, 1d, 30, 15, 12, 04, 03, 00, 00, 1c, 00, 1d, 15, 00, 21, 00, 22, 30, 19, 16, 03, 02, 00, 00, 21, 00, 22, 19, 00, 26, 00, 27, 30, 1d, 1a, 02, 00, 00, 00, 26, 00, 27, 1d, 00, 28, 02, 06, 1e, 02, 05, 00, 06, 01, 01, 01, 00, 02] Raw bytes (147): 0x[01, 01, 08, 01, 05, 05, 09, 09, 0d, 0d, 11, 11, 15, 15, 19, 19, 1d, 01, 1d, 12, 01, 07, 01, 02, 09, 28, 08, 07, 02, 08, 00, 27, 30, 05, 02, 01, 07, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 07, 06, 00, 00, 0d, 00, 0e, 09, 00, 12, 00, 13, 30, 0d, 0a, 06, 05, 00, 00, 12, 00, 13, 0d, 00, 17, 00, 18, 30, 11, 0e, 05, 04, 00, 00, 17, 00, 18, 11, 00, 1c, 00, 1d, 30, 15, 12, 04, 03, 00, 00, 1c, 00, 1d, 15, 00, 21, 00, 22, 30, 19, 16, 03, 02, 00, 00, 21, 00, 22, 19, 00, 26, 00, 27, 30, 1d, 1a, 02, 00, 00, 00, 26, 00, 27, 1d, 00, 28, 02, 06, 1e, 02, 05, 00, 06, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 8 Number of expressions: 8
@ -12,7 +12,7 @@ Number of expressions: 8
- expression 6 operands: lhs = Counter(6), rhs = Counter(7) - expression 6 operands: lhs = Counter(6), rhs = Counter(7)
- expression 7 operands: lhs = Counter(0), rhs = Counter(7) - expression 7 operands: lhs = Counter(0), rhs = Counter(7)
Number of file 0 mappings: 18 Number of file 0 mappings: 18
- Code(Counter(0)) at (prev + 6, 1) to (start + 2, 9) - Code(Counter(0)) at (prev + 7, 1) to (start + 2, 9)
- MCDCDecision { bitmap_idx: 8, conditions_num: 7 } at (prev + 2, 8) to (start + 0, 39) - MCDCDecision { bitmap_idx: 8, conditions_num: 7 } at (prev + 2, 8) to (start + 0, 39)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 7, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 7, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1

1
tests/coverage/mcdc/condition-limit.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ min-llvm-version: 19 LL| |//@ min-llvm-version: 19
LL| |//@ compile-flags: -Zcoverage-options=mcdc LL| |//@ compile-flags: -Zcoverage-options=mcdc

1
tests/coverage/mcdc/condition-limit.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ min-llvm-version: 19 //@ min-llvm-version: 19
//@ compile-flags: -Zcoverage-options=mcdc //@ compile-flags: -Zcoverage-options=mcdc

28
tests/coverage/mcdc/if.cov-map
View file

@ -1,5 +1,5 @@
Function name: if::mcdc_check_a Function name: if::mcdc_check_a
Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 0e, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 0f, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -7,7 +7,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
- expression 2 operands: lhs = Counter(0), rhs = Counter(2) - expression 2 operands: lhs = Counter(0), rhs = Counter(2)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 14, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 15, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -23,7 +23,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: if::mcdc_check_b Function name: if::mcdc_check_b
Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 16, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 17, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -31,7 +31,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
- expression 2 operands: lhs = Counter(0), rhs = Counter(2) - expression 2 operands: lhs = Counter(0), rhs = Counter(2)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 22, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 23, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -47,7 +47,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: if::mcdc_check_both Function name: if::mcdc_check_both
Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 1e, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 1f, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -55,7 +55,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
- expression 2 operands: lhs = Counter(0), rhs = Counter(2) - expression 2 operands: lhs = Counter(0), rhs = Counter(2)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 30, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 31, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -71,7 +71,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: if::mcdc_check_neither Function name: if::mcdc_check_neither
Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 06, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (62): 0x[01, 01, 03, 01, 05, 05, 09, 01, 09, 08, 01, 07, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0d, 00, 0e, 30, 09, 06, 02, 00, 00, 00, 0d, 00, 0e, 09, 00, 0f, 02, 06, 0a, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -79,7 +79,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
- expression 2 operands: lhs = Counter(0), rhs = Counter(2) - expression 2 operands: lhs = Counter(0), rhs = Counter(2)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 6, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 7, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -95,7 +95,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: if::mcdc_check_not_tree_decision Function name: if::mcdc_check_not_tree_decision
Raw bytes (85): 0x[01, 01, 07, 01, 05, 01, 17, 05, 09, 05, 09, 17, 0d, 05, 09, 01, 0d, 0a, 01, 30, 01, 03, 0a, 28, 05, 03, 03, 08, 00, 15, 30, 05, 02, 01, 02, 03, 00, 09, 00, 0a, 02, 00, 0e, 00, 0f, 30, 09, 06, 03, 02, 00, 00, 0e, 00, 0f, 17, 00, 14, 00, 15, 30, 0d, 12, 02, 00, 00, 00, 14, 00, 15, 0d, 00, 16, 02, 06, 1a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (85): 0x[01, 01, 07, 01, 05, 01, 17, 05, 09, 05, 09, 17, 0d, 05, 09, 01, 0d, 0a, 01, 31, 01, 03, 0a, 28, 05, 03, 03, 08, 00, 15, 30, 05, 02, 01, 02, 03, 00, 09, 00, 0a, 02, 00, 0e, 00, 0f, 30, 09, 06, 03, 02, 00, 00, 0e, 00, 0f, 17, 00, 14, 00, 15, 30, 0d, 12, 02, 00, 00, 00, 14, 00, 15, 0d, 00, 16, 02, 06, 1a, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 7 Number of expressions: 7
@ -107,7 +107,7 @@ Number of expressions: 7
- expression 5 operands: lhs = Counter(1), rhs = Counter(2) - expression 5 operands: lhs = Counter(1), rhs = Counter(2)
- expression 6 operands: lhs = Counter(0), rhs = Counter(3) - expression 6 operands: lhs = Counter(0), rhs = Counter(3)
Number of file 0 mappings: 10 Number of file 0 mappings: 10
- Code(Counter(0)) at (prev + 48, 1) to (start + 3, 10) - Code(Counter(0)) at (prev + 49, 1) to (start + 3, 10)
- MCDCDecision { bitmap_idx: 5, conditions_num: 3 } at (prev + 3, 8) to (start + 0, 21) - MCDCDecision { bitmap_idx: 5, conditions_num: 3 } at (prev + 3, 8) to (start + 0, 21)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 3 } at (prev + 0, 9) to (start + 0, 10) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 3 } at (prev + 0, 9) to (start + 0, 10)
true = c1 true = c1
@ -129,7 +129,7 @@ Number of file 0 mappings: 10
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: if::mcdc_check_tree_decision Function name: if::mcdc_check_tree_decision
Raw bytes (87): 0x[01, 01, 08, 01, 05, 05, 09, 05, 09, 05, 1f, 09, 0d, 09, 0d, 01, 1f, 09, 0d, 0a, 01, 26, 01, 03, 09, 28, 04, 03, 03, 08, 00, 15, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0e, 00, 0f, 30, 09, 0a, 02, 00, 03, 00, 0e, 00, 0f, 0a, 00, 13, 00, 14, 30, 0d, 0e, 03, 00, 00, 00, 13, 00, 14, 1f, 00, 16, 02, 06, 1a, 02, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (87): 0x[01, 01, 08, 01, 05, 05, 09, 05, 09, 05, 1f, 09, 0d, 09, 0d, 01, 1f, 09, 0d, 0a, 01, 27, 01, 03, 09, 28, 04, 03, 03, 08, 00, 15, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 05, 00, 0e, 00, 0f, 30, 09, 0a, 02, 00, 03, 00, 0e, 00, 0f, 0a, 00, 13, 00, 14, 30, 0d, 0e, 03, 00, 00, 00, 13, 00, 14, 1f, 00, 16, 02, 06, 1a, 02, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 8 Number of expressions: 8
@ -142,7 +142,7 @@ Number of expressions: 8
- expression 6 operands: lhs = Counter(0), rhs = Expression(7, Add) - expression 6 operands: lhs = Counter(0), rhs = Expression(7, Add)
- expression 7 operands: lhs = Counter(2), rhs = Counter(3) - expression 7 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 10 Number of file 0 mappings: 10
- Code(Counter(0)) at (prev + 38, 1) to (start + 3, 9) - Code(Counter(0)) at (prev + 39, 1) to (start + 3, 9)
- MCDCDecision { bitmap_idx: 4, conditions_num: 3 } at (prev + 3, 8) to (start + 0, 21) - MCDCDecision { bitmap_idx: 4, conditions_num: 3 } at (prev + 3, 8) to (start + 0, 21)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -164,7 +164,7 @@ Number of file 0 mappings: 10
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: if::mcdc_nested_if Function name: if::mcdc_nested_if
Raw bytes (120): 0x[01, 01, 0b, 01, 05, 01, 2b, 05, 09, 05, 09, 2b, 0d, 05, 09, 0d, 11, 2b, 11, 05, 09, 01, 2b, 05, 09, 0e, 01, 3a, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 00, 02, 00, 08, 00, 09, 02, 00, 0d, 00, 0e, 30, 09, 26, 02, 00, 00, 00, 0d, 00, 0e, 2b, 01, 09, 01, 0d, 28, 06, 02, 01, 0c, 00, 12, 30, 0d, 12, 01, 02, 00, 00, 0c, 00, 0d, 0d, 00, 11, 00, 12, 30, 11, 1a, 02, 00, 00, 00, 11, 00, 12, 11, 00, 13, 02, 0a, 1e, 02, 09, 00, 0a, 26, 01, 0c, 02, 06, 01, 03, 01, 00, 02] Raw bytes (120): 0x[01, 01, 0b, 01, 05, 01, 2b, 05, 09, 05, 09, 2b, 0d, 05, 09, 0d, 11, 2b, 11, 05, 09, 01, 2b, 05, 09, 0e, 01, 3b, 01, 01, 09, 28, 03, 02, 01, 08, 00, 0e, 30, 05, 02, 01, 00, 02, 00, 08, 00, 09, 02, 00, 0d, 00, 0e, 30, 09, 26, 02, 00, 00, 00, 0d, 00, 0e, 2b, 01, 09, 01, 0d, 28, 06, 02, 01, 0c, 00, 12, 30, 0d, 12, 01, 02, 00, 00, 0c, 00, 0d, 0d, 00, 11, 00, 12, 30, 11, 1a, 02, 00, 00, 00, 11, 00, 12, 11, 00, 13, 02, 0a, 1e, 02, 09, 00, 0a, 26, 01, 0c, 02, 06, 01, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 11 Number of expressions: 11
@ -180,7 +180,7 @@ Number of expressions: 11
- expression 9 operands: lhs = Counter(0), rhs = Expression(10, Add) - expression 9 operands: lhs = Counter(0), rhs = Expression(10, Add)
- expression 10 operands: lhs = Counter(1), rhs = Counter(2) - expression 10 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 14 Number of file 0 mappings: 14
- Code(Counter(0)) at (prev + 58, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 59, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 14)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 0, false_next_id: 2 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 0, false_next_id: 2 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1

1
tests/coverage/mcdc/if.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ min-llvm-version: 19 LL| |//@ min-llvm-version: 19
LL| |//@ compile-flags: -Zcoverage-options=mcdc LL| |//@ compile-flags: -Zcoverage-options=mcdc

1
tests/coverage/mcdc/if.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ min-llvm-version: 19 //@ min-llvm-version: 19
//@ compile-flags: -Zcoverage-options=mcdc //@ compile-flags: -Zcoverage-options=mcdc

4
tests/coverage/mcdc/inlined_expressions.cov-map
View file

@ -1,12 +1,12 @@
Function name: inlined_expressions::inlined_instance Function name: inlined_expressions::inlined_instance
Raw bytes (50): 0x[01, 01, 02, 01, 05, 05, 09, 06, 01, 07, 01, 01, 06, 28, 03, 02, 01, 05, 00, 0b, 30, 05, 02, 01, 02, 00, 00, 05, 00, 06, 05, 00, 0a, 00, 0b, 30, 09, 06, 02, 00, 00, 00, 0a, 00, 0b, 01, 01, 01, 00, 02] Raw bytes (50): 0x[01, 01, 02, 01, 05, 05, 09, 06, 01, 08, 01, 01, 06, 28, 03, 02, 01, 05, 00, 0b, 30, 05, 02, 01, 02, 00, 00, 05, 00, 06, 05, 00, 0a, 00, 0b, 30, 09, 06, 02, 00, 00, 00, 0a, 00, 0b, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 7, 1) to (start + 1, 6) - Code(Counter(0)) at (prev + 8, 1) to (start + 1, 6)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 5) to (start + 0, 11) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 5) to (start + 0, 11)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 5) to (start + 0, 6) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 5) to (start + 0, 6)
true = c1 true = c1

1
tests/coverage/mcdc/inlined_expressions.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ min-llvm-version: 19 LL| |//@ min-llvm-version: 19
LL| |//@ compile-flags: -Zcoverage-options=mcdc -Copt-level=z -Cllvm-args=--inline-threshold=0 LL| |//@ compile-flags: -Zcoverage-options=mcdc -Copt-level=z -Cllvm-args=--inline-threshold=0

1
tests/coverage/mcdc/inlined_expressions.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ min-llvm-version: 19 //@ min-llvm-version: 19
//@ compile-flags: -Zcoverage-options=mcdc -Copt-level=z -Cllvm-args=--inline-threshold=0 //@ compile-flags: -Zcoverage-options=mcdc -Copt-level=z -Cllvm-args=--inline-threshold=0

16
tests/coverage/mcdc/nested_if.cov-map
View file

@ -1,5 +1,5 @@
Function name: nested_if::doubly_nested_if_in_condition Function name: nested_if::doubly_nested_if_in_condition
Raw bytes (168): 0x[01, 01, 0e, 01, 05, 05, 09, 05, 09, 05, 13, 09, 19, 19, 1d, 05, 1f, 09, 1d, 09, 0d, 2b, 05, 01, 15, 33, 05, 37, 15, 01, 11, 14, 01, 0e, 01, 01, 09, 28, 09, 02, 01, 08, 00, 4e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 11, 15, 02, 00, 00, 00, 0d, 00, 4e, 05, 00, 10, 00, 11, 28, 06, 02, 00, 10, 00, 36, 30, 09, 0a, 01, 00, 02, 00, 10, 00, 11, 30, 0d, 21, 02, 00, 00, 00, 15, 00, 36, 0a, 00, 18, 00, 19, 28, 03, 02, 00, 18, 00, 1e, 30, 19, 0e, 01, 02, 00, 00, 18, 00, 19, 19, 00, 1d, 00, 1e, 30, 1d, 16, 02, 00, 00, 00, 1d, 00, 1e, 1d, 00, 21, 00, 25, 1a, 00, 2f, 00, 34, 23, 00, 39, 00, 3e, 21, 00, 48, 00, 4c, 11, 00, 4f, 02, 06, 26, 02, 0c, 02, 06, 2e, 03, 01, 00, 02] Raw bytes (168): 0x[01, 01, 0e, 01, 05, 05, 09, 05, 09, 05, 13, 09, 19, 19, 1d, 05, 1f, 09, 1d, 09, 0d, 2b, 05, 01, 15, 33, 05, 37, 15, 01, 11, 14, 01, 0f, 01, 01, 09, 28, 09, 02, 01, 08, 00, 4e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 11, 15, 02, 00, 00, 00, 0d, 00, 4e, 05, 00, 10, 00, 11, 28, 06, 02, 00, 10, 00, 36, 30, 09, 0a, 01, 00, 02, 00, 10, 00, 11, 30, 0d, 21, 02, 00, 00, 00, 15, 00, 36, 0a, 00, 18, 00, 19, 28, 03, 02, 00, 18, 00, 1e, 30, 19, 0e, 01, 02, 00, 00, 18, 00, 19, 19, 00, 1d, 00, 1e, 30, 1d, 16, 02, 00, 00, 00, 1d, 00, 1e, 1d, 00, 21, 00, 25, 1a, 00, 2f, 00, 34, 23, 00, 39, 00, 3e, 21, 00, 48, 00, 4c, 11, 00, 4f, 02, 06, 26, 02, 0c, 02, 06, 2e, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 14 Number of expressions: 14
@ -18,7 +18,7 @@ Number of expressions: 14
- expression 12 operands: lhs = Expression(13, Add), rhs = Counter(5) - expression 12 operands: lhs = Expression(13, Add), rhs = Counter(5)
- expression 13 operands: lhs = Counter(0), rhs = Counter(4) - expression 13 operands: lhs = Counter(0), rhs = Counter(4)
Number of file 0 mappings: 20 Number of file 0 mappings: 20
- Code(Counter(0)) at (prev + 14, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 15, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 9, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 78) - MCDCDecision { bitmap_idx: 9, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 78)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -58,7 +58,7 @@ Number of file 0 mappings: 20
Highest counter ID seen: c8 Highest counter ID seen: c8
Function name: nested_if::nested_if_in_condition Function name: nested_if::nested_if_in_condition
Raw bytes (124): 0x[01, 01, 0d, 01, 05, 05, 09, 05, 09, 05, 1f, 09, 0d, 09, 0d, 05, 1f, 09, 0d, 27, 05, 01, 15, 2f, 05, 33, 15, 01, 11, 0e, 01, 06, 01, 01, 09, 28, 06, 02, 01, 08, 00, 2e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 11, 15, 02, 00, 00, 00, 0d, 00, 2e, 05, 00, 10, 00, 11, 28, 03, 02, 00, 10, 00, 16, 30, 09, 0a, 01, 00, 02, 00, 10, 00, 11, 0a, 00, 15, 00, 16, 30, 0d, 1a, 02, 00, 00, 00, 15, 00, 16, 1f, 00, 19, 00, 1d, 1a, 00, 27, 00, 2c, 11, 00, 2f, 02, 06, 22, 02, 0c, 02, 06, 2a, 03, 01, 00, 02] Raw bytes (124): 0x[01, 01, 0d, 01, 05, 05, 09, 05, 09, 05, 1f, 09, 0d, 09, 0d, 05, 1f, 09, 0d, 27, 05, 01, 15, 2f, 05, 33, 15, 01, 11, 0e, 01, 07, 01, 01, 09, 28, 06, 02, 01, 08, 00, 2e, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 11, 15, 02, 00, 00, 00, 0d, 00, 2e, 05, 00, 10, 00, 11, 28, 03, 02, 00, 10, 00, 16, 30, 09, 0a, 01, 00, 02, 00, 10, 00, 11, 0a, 00, 15, 00, 16, 30, 0d, 1a, 02, 00, 00, 00, 15, 00, 16, 1f, 00, 19, 00, 1d, 1a, 00, 27, 00, 2c, 11, 00, 2f, 02, 06, 22, 02, 0c, 02, 06, 2a, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 13 Number of expressions: 13
@ -76,7 +76,7 @@ Number of expressions: 13
- expression 11 operands: lhs = Expression(12, Add), rhs = Counter(5) - expression 11 operands: lhs = Expression(12, Add), rhs = Counter(5)
- expression 12 operands: lhs = Counter(0), rhs = Counter(4) - expression 12 operands: lhs = Counter(0), rhs = Counter(4)
Number of file 0 mappings: 14 Number of file 0 mappings: 14
- Code(Counter(0)) at (prev + 6, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 7, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 6, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 46) - MCDCDecision { bitmap_idx: 6, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 46)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -106,7 +106,7 @@ Number of file 0 mappings: 14
Highest counter ID seen: c5 Highest counter ID seen: c5
Function name: nested_if::nested_in_then_block_in_condition Function name: nested_if::nested_in_then_block_in_condition
Raw bytes (176): 0x[01, 01, 12, 01, 05, 05, 09, 05, 09, 05, 33, 09, 0d, 09, 0d, 33, 11, 09, 0d, 11, 15, 33, 15, 09, 0d, 05, 33, 09, 0d, 3b, 05, 01, 1d, 43, 05, 47, 1d, 01, 19, 14, 01, 21, 01, 01, 09, 28, 09, 02, 01, 08, 00, 4b, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 19, 1d, 02, 00, 00, 00, 0d, 00, 4b, 05, 00, 10, 00, 11, 28, 03, 02, 00, 10, 00, 16, 30, 09, 0a, 01, 00, 02, 00, 10, 00, 11, 0a, 00, 15, 00, 16, 30, 0d, 2e, 02, 00, 00, 00, 15, 00, 16, 33, 00, 1c, 00, 1d, 28, 06, 02, 00, 1c, 00, 22, 30, 11, 1a, 01, 02, 00, 00, 1c, 00, 1d, 11, 00, 21, 00, 22, 30, 15, 22, 02, 00, 00, 00, 21, 00, 22, 15, 00, 25, 00, 29, 26, 00, 33, 00, 38, 2e, 00, 44, 00, 49, 19, 00, 4c, 02, 06, 36, 02, 0c, 02, 06, 3e, 03, 01, 00, 02] Raw bytes (176): 0x[01, 01, 12, 01, 05, 05, 09, 05, 09, 05, 33, 09, 0d, 09, 0d, 33, 11, 09, 0d, 11, 15, 33, 15, 09, 0d, 05, 33, 09, 0d, 3b, 05, 01, 1d, 43, 05, 47, 1d, 01, 19, 14, 01, 22, 01, 01, 09, 28, 09, 02, 01, 08, 00, 4b, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 19, 1d, 02, 00, 00, 00, 0d, 00, 4b, 05, 00, 10, 00, 11, 28, 03, 02, 00, 10, 00, 16, 30, 09, 0a, 01, 00, 02, 00, 10, 00, 11, 0a, 00, 15, 00, 16, 30, 0d, 2e, 02, 00, 00, 00, 15, 00, 16, 33, 00, 1c, 00, 1d, 28, 06, 02, 00, 1c, 00, 22, 30, 11, 1a, 01, 02, 00, 00, 1c, 00, 1d, 11, 00, 21, 00, 22, 30, 15, 22, 02, 00, 00, 00, 21, 00, 22, 15, 00, 25, 00, 29, 26, 00, 33, 00, 38, 2e, 00, 44, 00, 49, 19, 00, 4c, 02, 06, 36, 02, 0c, 02, 06, 3e, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 18 Number of expressions: 18
@ -129,7 +129,7 @@ Number of expressions: 18
- expression 16 operands: lhs = Expression(17, Add), rhs = Counter(7) - expression 16 operands: lhs = Expression(17, Add), rhs = Counter(7)
- expression 17 operands: lhs = Counter(0), rhs = Counter(6) - expression 17 operands: lhs = Counter(0), rhs = Counter(6)
Number of file 0 mappings: 20 Number of file 0 mappings: 20
- Code(Counter(0)) at (prev + 33, 1) to (start + 1, 9) - Code(Counter(0)) at (prev + 34, 1) to (start + 1, 9)
- MCDCDecision { bitmap_idx: 9, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 75) - MCDCDecision { bitmap_idx: 9, conditions_num: 2 } at (prev + 1, 8) to (start + 0, 75)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1
@ -170,7 +170,7 @@ Number of file 0 mappings: 20
Highest counter ID seen: c7 Highest counter ID seen: c7
Function name: nested_if::nested_single_condition_decision Function name: nested_if::nested_single_condition_decision
Raw bytes (89): 0x[01, 01, 08, 01, 05, 05, 09, 05, 09, 13, 05, 01, 11, 1b, 05, 1f, 11, 01, 0d, 0b, 01, 16, 01, 04, 09, 28, 03, 02, 04, 08, 00, 29, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 0d, 11, 02, 00, 00, 00, 0d, 00, 29, 05, 00, 10, 00, 11, 20, 09, 0a, 00, 10, 00, 11, 09, 00, 14, 00, 19, 0a, 00, 23, 00, 27, 0d, 00, 2a, 02, 06, 0e, 02, 0c, 02, 06, 16, 03, 01, 00, 02] Raw bytes (89): 0x[01, 01, 08, 01, 05, 05, 09, 05, 09, 13, 05, 01, 11, 1b, 05, 1f, 11, 01, 0d, 0b, 01, 17, 01, 04, 09, 28, 03, 02, 04, 08, 00, 29, 30, 05, 02, 01, 02, 00, 00, 08, 00, 09, 30, 0d, 11, 02, 00, 00, 00, 0d, 00, 29, 05, 00, 10, 00, 11, 20, 09, 0a, 00, 10, 00, 11, 09, 00, 14, 00, 19, 0a, 00, 23, 00, 27, 0d, 00, 2a, 02, 06, 0e, 02, 0c, 02, 06, 16, 03, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 8 Number of expressions: 8
@ -183,7 +183,7 @@ Number of expressions: 8
- expression 6 operands: lhs = Expression(7, Add), rhs = Counter(4) - expression 6 operands: lhs = Expression(7, Add), rhs = Counter(4)
- expression 7 operands: lhs = Counter(0), rhs = Counter(3) - expression 7 operands: lhs = Counter(0), rhs = Counter(3)
Number of file 0 mappings: 11 Number of file 0 mappings: 11
- Code(Counter(0)) at (prev + 22, 1) to (start + 4, 9) - Code(Counter(0)) at (prev + 23, 1) to (start + 4, 9)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 4, 8) to (start + 0, 41) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 4, 8) to (start + 0, 41)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 8) to (start + 0, 9)
true = c1 true = c1

1
tests/coverage/mcdc/nested_if.coverage
View file

@ -1,3 +1,4 @@
LL| |#![feature(coverage_attribute)]
LL| |//@ edition: 2021 LL| |//@ edition: 2021
LL| |//@ min-llvm-version: 19 LL| |//@ min-llvm-version: 19
LL| |//@ compile-flags: -Zcoverage-options=mcdc LL| |//@ compile-flags: -Zcoverage-options=mcdc

1
tests/coverage/mcdc/nested_if.rs
View file

@ -1,3 +1,4 @@
#![feature(coverage_attribute)]
//@ edition: 2021 //@ edition: 2021
//@ min-llvm-version: 19 //@ min-llvm-version: 19
//@ compile-flags: -Zcoverage-options=mcdc //@ compile-flags: -Zcoverage-options=mcdc

28
tests/coverage/mcdc/non_control_flow.cov-map
View file

@ -1,5 +1,5 @@
Function name: non_control_flow::assign_3 Function name: non_control_flow::assign_3
Raw bytes (79): 0x[01, 01, 04, 01, 05, 01, 0b, 05, 09, 09, 0d, 0a, 01, 15, 01, 00, 28, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 04, 03, 00, 0d, 00, 18, 30, 05, 02, 01, 00, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 30, 09, 06, 02, 03, 00, 00, 12, 00, 13, 09, 00, 17, 00, 18, 30, 0d, 0e, 03, 00, 00, 00, 17, 00, 18, 01, 01, 05, 01, 02] Raw bytes (79): 0x[01, 01, 04, 01, 05, 01, 0b, 05, 09, 09, 0d, 0a, 01, 16, 01, 00, 28, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 04, 03, 00, 0d, 00, 18, 30, 05, 02, 01, 00, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 30, 09, 06, 02, 03, 00, 00, 12, 00, 13, 09, 00, 17, 00, 18, 30, 0d, 0e, 03, 00, 00, 00, 17, 00, 18, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 4 Number of expressions: 4
@ -8,7 +8,7 @@ Number of expressions: 4
- expression 2 operands: lhs = Counter(1), rhs = Counter(2) - expression 2 operands: lhs = Counter(1), rhs = Counter(2)
- expression 3 operands: lhs = Counter(2), rhs = Counter(3) - expression 3 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 10 Number of file 0 mappings: 10
- Code(Counter(0)) at (prev + 21, 1) to (start + 0, 40) - Code(Counter(0)) at (prev + 22, 1) to (start + 0, 40)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- MCDCDecision { bitmap_idx: 4, conditions_num: 3 } at (prev + 0, 13) to (start + 0, 24) - MCDCDecision { bitmap_idx: 4, conditions_num: 3 } at (prev + 0, 13) to (start + 0, 24)
@ -28,7 +28,7 @@ Number of file 0 mappings: 10
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: non_control_flow::assign_3_bis Function name: non_control_flow::assign_3_bis
Raw bytes (81): 0x[01, 01, 05, 01, 05, 05, 09, 01, 09, 01, 13, 09, 0d, 0a, 01, 1a, 01, 00, 2c, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 05, 03, 00, 0d, 00, 18, 30, 05, 02, 01, 03, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 30, 09, 06, 03, 00, 02, 00, 12, 00, 13, 0a, 00, 17, 00, 18, 30, 0d, 0e, 02, 00, 00, 00, 17, 00, 18, 01, 01, 05, 01, 02] Raw bytes (81): 0x[01, 01, 05, 01, 05, 05, 09, 01, 09, 01, 13, 09, 0d, 0a, 01, 1b, 01, 00, 2c, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 05, 03, 00, 0d, 00, 18, 30, 05, 02, 01, 03, 02, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 30, 09, 06, 03, 00, 02, 00, 12, 00, 13, 0a, 00, 17, 00, 18, 30, 0d, 0e, 02, 00, 00, 00, 17, 00, 18, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 5 Number of expressions: 5
@ -38,7 +38,7 @@ Number of expressions: 5
- expression 3 operands: lhs = Counter(0), rhs = Expression(4, Add) - expression 3 operands: lhs = Counter(0), rhs = Expression(4, Add)
- expression 4 operands: lhs = Counter(2), rhs = Counter(3) - expression 4 operands: lhs = Counter(2), rhs = Counter(3)
Number of file 0 mappings: 10 Number of file 0 mappings: 10
- Code(Counter(0)) at (prev + 26, 1) to (start + 0, 44) - Code(Counter(0)) at (prev + 27, 1) to (start + 0, 44)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- MCDCDecision { bitmap_idx: 5, conditions_num: 3 } at (prev + 0, 13) to (start + 0, 24) - MCDCDecision { bitmap_idx: 5, conditions_num: 3 } at (prev + 0, 13) to (start + 0, 24)
@ -58,14 +58,14 @@ Number of file 0 mappings: 10
Highest counter ID seen: c3 Highest counter ID seen: c3
Function name: non_control_flow::assign_and Function name: non_control_flow::assign_and
Raw bytes (60): 0x[01, 01, 02, 01, 05, 05, 09, 08, 01, 0b, 01, 00, 21, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 03, 02, 00, 0d, 00, 13, 30, 05, 02, 01, 02, 00, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 30, 09, 06, 02, 00, 00, 00, 12, 00, 13, 01, 01, 05, 01, 02] Raw bytes (60): 0x[01, 01, 02, 01, 05, 05, 09, 08, 01, 0c, 01, 00, 21, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 03, 02, 00, 0d, 00, 13, 30, 05, 02, 01, 02, 00, 00, 0d, 00, 0e, 05, 00, 12, 00, 13, 30, 09, 06, 02, 00, 00, 00, 12, 00, 13, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 11, 1) to (start + 0, 33) - Code(Counter(0)) at (prev + 12, 1) to (start + 0, 33)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 0, 13) to (start + 0, 19) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 0, 13) to (start + 0, 19)
@ -80,7 +80,7 @@ Number of file 0 mappings: 8
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: non_control_flow::assign_or Function name: non_control_flow::assign_or
Raw bytes (62): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 08, 01, 10, 01, 00, 20, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 03, 02, 00, 0d, 00, 13, 30, 05, 02, 01, 00, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 30, 09, 06, 02, 00, 00, 00, 12, 00, 13, 01, 01, 05, 01, 02] Raw bytes (62): 0x[01, 01, 03, 01, 05, 01, 0b, 05, 09, 08, 01, 11, 01, 00, 20, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 03, 02, 00, 0d, 00, 13, 30, 05, 02, 01, 00, 02, 00, 0d, 00, 0e, 02, 00, 12, 00, 13, 30, 09, 06, 02, 00, 00, 00, 12, 00, 13, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 3 Number of expressions: 3
@ -88,7 +88,7 @@ Number of expressions: 3
- expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add) - expression 1 operands: lhs = Counter(0), rhs = Expression(2, Add)
- expression 2 operands: lhs = Counter(1), rhs = Counter(2) - expression 2 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 8 Number of file 0 mappings: 8
- Code(Counter(0)) at (prev + 16, 1) to (start + 0, 32) - Code(Counter(0)) at (prev + 17, 1) to (start + 0, 32)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 0, 13) to (start + 0, 19) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 0, 13) to (start + 0, 19)
@ -104,23 +104,23 @@ Number of file 0 mappings: 8
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: non_control_flow::foo Function name: non_control_flow::foo
Raw bytes (9): 0x[01, 01, 00, 01, 01, 24, 01, 02, 02] Raw bytes (9): 0x[01, 01, 00, 01, 01, 25, 01, 02, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 0 Number of expressions: 0
Number of file 0 mappings: 1 Number of file 0 mappings: 1
- Code(Counter(0)) at (prev + 36, 1) to (start + 2, 2) - Code(Counter(0)) at (prev + 37, 1) to (start + 2, 2)
Highest counter ID seen: c0 Highest counter ID seen: c0
Function name: non_control_flow::func_call Function name: non_control_flow::func_call
Raw bytes (50): 0x[01, 01, 02, 01, 05, 05, 09, 06, 01, 28, 01, 01, 0a, 28, 03, 02, 01, 09, 00, 0f, 30, 05, 02, 01, 02, 00, 00, 09, 00, 0a, 05, 00, 0e, 00, 0f, 30, 09, 06, 02, 00, 00, 00, 0e, 00, 0f, 01, 01, 01, 00, 02] Raw bytes (50): 0x[01, 01, 02, 01, 05, 05, 09, 06, 01, 29, 01, 01, 0a, 28, 03, 02, 01, 09, 00, 0f, 30, 05, 02, 01, 02, 00, 00, 09, 00, 0a, 05, 00, 0e, 00, 0f, 30, 09, 06, 02, 00, 00, 00, 0e, 00, 0f, 01, 01, 01, 00, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 2 Number of expressions: 2
- expression 0 operands: lhs = Counter(0), rhs = Counter(1) - expression 0 operands: lhs = Counter(0), rhs = Counter(1)
- expression 1 operands: lhs = Counter(1), rhs = Counter(2) - expression 1 operands: lhs = Counter(1), rhs = Counter(2)
Number of file 0 mappings: 6 Number of file 0 mappings: 6
- Code(Counter(0)) at (prev + 40, 1) to (start + 1, 10) - Code(Counter(0)) at (prev + 41, 1) to (start + 1, 10)
- MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 9) to (start + 0, 15) - MCDCDecision { bitmap_idx: 3, conditions_num: 2 } at (prev + 1, 9) to (start + 0, 15)
- MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 9) to (start + 0, 10) - MCDCBranch { true: Counter(1), false: Expression(0, Sub), condition_id: 1, true_next_id: 2, false_next_id: 0 } at (prev + 0, 9) to (start + 0, 10)
true = c1 true = c1
@ -133,7 +133,7 @@ Number of file 0 mappings: 6
Highest counter ID seen: c2 Highest counter ID seen: c2
Function name: non_control_flow::right_comb_tree Function name: non_control_flow::right_comb_tree
Raw bytes (111): 0x[01, 01, 05, 01, 05, 05, 09, 09, 0d, 0d, 11, 11, 15, 0e, 01, 1f, 01, 00, 41, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 06, 05, 00, 0d, 00, 2a, 30, 05, 02, 01, 02, 00, 00, 0d, 00, 0e, 05, 00, 13, 00, 14, 30, 09, 06, 02, 03, 00, 00, 13, 00, 14, 09, 00, 19, 00, 1a, 30, 0d, 0a, 03, 04, 00, 00, 19, 00, 1a, 0d, 00, 1f, 00, 20, 30, 11, 0e, 04, 05, 00, 00, 1f, 00, 20, 11, 00, 24, 00, 27, 30, 15, 12, 05, 00, 00, 00, 24, 00, 27, 01, 01, 05, 01, 02] Raw bytes (111): 0x[01, 01, 05, 01, 05, 05, 09, 09, 0d, 0d, 11, 11, 15, 0e, 01, 20, 01, 00, 41, 01, 01, 09, 00, 0a, 01, 00, 0d, 00, 0e, 28, 06, 05, 00, 0d, 00, 2a, 30, 05, 02, 01, 02, 00, 00, 0d, 00, 0e, 05, 00, 13, 00, 14, 30, 09, 06, 02, 03, 00, 00, 13, 00, 14, 09, 00, 19, 00, 1a, 30, 0d, 0a, 03, 04, 00, 00, 19, 00, 1a, 0d, 00, 1f, 00, 20, 30, 11, 0e, 04, 05, 00, 00, 1f, 00, 20, 11, 00, 24, 00, 27, 30, 15, 12, 05, 00, 00, 00, 24, 00, 27, 01, 01, 05, 01, 02]
Number of files: 1 Number of files: 1
- file 0 => global file 1 - file 0 => global file 1
Number of expressions: 5 Number of expressions: 5
@ -143,7 +143,7 @@ Number of expressions: 5
- expression 3 operands: lhs = Counter(3), rhs = Counter(4) - expression 3 operands: lhs = Counter(3), rhs = Counter(4)
- expression 4 operands: lhs = Counter(4), rhs = Counter(5) - expression 4 operands: lhs = Counter(4), rhs = Counter(5)
Number of file 0 mappings: 14 Number of file 0 mappings: 14
- Code(Counter(0)) at (prev + 31, 1) to (start + 0, 65) - Code(Counter(0)) at (prev + 32, 1) to (start + 0, 65)
- Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10) - Code(Counter(0)) at (prev + 1, 9) to (start + 0, 10)
- Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14) - Code(Counter(0)) at (prev + 0, 13) to (start + 0, 14)
- MCDCDecision { bitmap_idx: 6, conditions_num: 5 } at (prev + 0, 13) to (start + 0, 42) - MCDCDecision { bitmap_idx: 6, conditions_num: 5 } at (prev + 0, 13) to (start + 0, 42)

Some files were not shown because too many files have changed in this diff Show more