Skip to content

Commit 2de4546

Browse files
committed
-Zmir-enable-passes: document that this may enable unsound passes
1 parent d087c6f commit 2de4546

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

compiler/rustc_session/src/options.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1610,9 +1610,10 @@ options! {
16101610
"emit Retagging MIR statements, interpreted e.g., by miri; implies -Zmir-opt-level=0 \
16111611
(default: no)"),
16121612
mir_enable_passes: Vec<(String, bool)> = (Vec::new(), parse_list_with_polarity, [TRACKED],
1613-
"use like `-Zmir-enable-passes=+DestinationPropagation,-InstSimplify`. Forces the specified passes to be \
1614-
enabled, overriding all other checks. Passes that are not specified are enabled or \
1615-
disabled by other flags as usual."),
1613+
"use like `-Zmir-enable-passes=+DestinationPropagation,-InstSimplify`. Forces the \
1614+
specified passes to be enabled, overriding all other checks. In particular, this will \
1615+
enable unsound (known-buggy and hence usually disabled) passes without further warning! \
1616+
Passes that are not specified are enabled or disabled by other flags as usual."),
16161617
mir_include_spans: bool = (false, parse_bool, [UNTRACKED],
16171618
"use line numbers relative to the function in mir pretty printing"),
16181619
mir_keep_place_mention: bool = (false, parse_bool, [TRACKED],

0 commit comments

Comments
 (0)