coverage: -Zcoverage-options=branch is no longer a placeholder

matthiaskrgr · Mar 14, 2024 · 060c7ce · 060c7ce
1 parent 5fb1f61
commit 060c7ce
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/compiler/rustc_session/src/config.rs b/compiler/rustc_session/src/config.rs
@@ -146,7 +146,7 @@ pub enum InstrumentCoverage {
 /// Individual flag values controlled by `-Z coverage-options`.
 #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
 pub struct CoverageOptions {
-    /// Add branch coverage instrumentation (placeholder flag; not yet implemented).
+    /// Add branch coverage instrumentation.
     pub branch: bool,
 }
 

diff --git a/src/doc/rustc/src/instrument-coverage.md b/src/doc/rustc/src/instrument-coverage.md
@@ -352,7 +352,7 @@ This unstable option provides finer control over some aspects of coverage
 instrumentation. Pass one or more of the following values, separated by commas.
 
 - `branch` or `no-branch`
-  - Placeholder for potential branch coverage support in the future.
+  - Enables or disables branch coverage instrumentation.
 
 ## Other references
 

diff --git a/src/doc/unstable-book/src/compiler-flags/coverage-options.md b/src/doc/unstable-book/src/compiler-flags/coverage-options.md
@@ -5,4 +5,4 @@ This option controls details of the coverage instrumentation performed by
 
 Multiple options can be passed, separated by commas. Valid options are:
 
-- `branch` or `no-branch`: Placeholder for future branch coverage support.
+- `branch` or `no-branch`: Enables or disables branch coverage instrumentation.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -5,4 +5,4 @@ This option controls details of the coverage instrumentation performed by

		Multiple options can be passed, separated by commas. Valid options are:

		- `branch` or `no-branch`: Placeholder for future branch coverage support.
		- `branch` or `no-branch`: Enables or disables branch coverage instrumentation.