diff options
| author | bors <bors@rust-lang.org> | 2023-09-14 01:05:18 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-09-14 01:05:18 +0000 |
| commit | c728bf3963433062b91bd84ffcb37d15416b800e (patch) | |
| tree | f016a2109e7038fa294ed5dcc97d8d905184ce2e /compiler/rustc_span/src | |
| parent | 8142a319ed5c1d1f96e5a1881a6546e463b77c8f (diff) | |
| parent | 0ca6c38cc22fe516ac5f25f87cff996cfd8932b7 (diff) | |
| download | rust-c728bf3963433062b91bd84ffcb37d15416b800e.tar.gz rust-c728bf3963433062b91bd84ffcb37d15416b800e.zip | |
Auto merge of #114656 - bossmc:rework-no-coverage-attr, r=oli-obk
Rework `no_coverage` to `coverage(off)` As discussed at the tail of https://github.com/rust-lang/rust/issues/84605 this replaces the `no_coverage` attribute with a `coverage` attribute that takes sub-parameters (currently `off` and `on`) to control the coverage instrumentation. Allows future-proofing for things like `coverage(off, reason="Tested live", issue="#12345")` or similar.
Diffstat (limited to 'compiler/rustc_span/src')
| -rw-r--r-- | compiler/rustc_span/src/symbol.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs index 3247d5e46ef..448314cd9e1 100644 --- a/compiler/rustc_span/src/symbol.rs +++ b/compiler/rustc_span/src/symbol.rs @@ -574,6 +574,8 @@ symbols! { cosf32, cosf64, count, + coverage, + coverage_attribute, cr, crate_id, crate_in_paths, @@ -1069,6 +1071,7 @@ symbols! { note, object_safe_for_dispatch, of, + off, offset, offset_of, omit_gdb_pretty_printer_section, |