diff options
| author | Ralf Jung <post@ralfj.de> | 2023-10-10 11:08:47 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-10-10 11:08:47 +0200 |
| commit | 2de454637f56c678e33f4de83d50a5b27b46e56a (patch) | |
| tree | 3a59c5de06a7aea621fb94802bd581dc196a5d23 | |
| parent | d087c6fae215484bf47ba6dda1bc836ef4c07ac5 (diff) | |
| download | rust-2de454637f56c678e33f4de83d50a5b27b46e56a.tar.gz rust-2de454637f56c678e33f4de83d50a5b27b46e56a.zip | |
-Zmir-enable-passes: document that this may enable unsound passes
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index c1424db600e..81de3db6d0d 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1610,9 +1610,10 @@ options! { "emit Retagging MIR statements, interpreted e.g., by miri; implies -Zmir-opt-level=0 \ (default: no)"), mir_enable_passes: Vec<(String, bool)> = (Vec::new(), parse_list_with_polarity, [TRACKED], - "use like `-Zmir-enable-passes=+DestinationPropagation,-InstSimplify`. Forces the specified passes to be \ - enabled, overriding all other checks. Passes that are not specified are enabled or \ - disabled by other flags as usual."), + "use like `-Zmir-enable-passes=+DestinationPropagation,-InstSimplify`. Forces the \ + specified passes to be enabled, overriding all other checks. In particular, this will \ + enable unsound (known-buggy and hence usually disabled) passes without further warning! \ + Passes that are not specified are enabled or disabled by other flags as usual."), mir_include_spans: bool = (false, parse_bool, [UNTRACKED], "use line numbers relative to the function in mir pretty printing"), mir_keep_place_mention: bool = (false, parse_bool, [TRACKED], |