diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2023-12-12 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2023-12-21 12:58:39 +0100 |
| commit | 7a246ddd8e4ae4c86f867f5b4610beae0f2ea2dd (patch) | |
| tree | f8408401e808d7e79b68ef0eac1d891380fc3d9b /compiler/rustc_session/src | |
| parent | 920e0051cf7b80e7ea00c4fadc482e8b70f2e81b (diff) | |
| download | rust-7a246ddd8e4ae4c86f867f5b4610beae0f2ea2dd.tar.gz rust-7a246ddd8e4ae4c86f867f5b4610beae0f2ea2dd.zip | |
Add pass to identify undefined or erroneous behaviour
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index 06b554e8e63..4626da52850 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1694,6 +1694,8 @@ options! { "link native libraries in the linker invocation (default: yes)"), link_only: bool = (false, parse_bool, [TRACKED], "link the `.rlink` file generated by `-Z no-link` (default: no)"), + lint_mir: bool = (false, parse_bool, [UNTRACKED], + "lint MIR before and after each transformation"), llvm_module_flag: Vec<(String, u32, String)> = (Vec::new(), parse_llvm_module_flag, [TRACKED], "a list of module flags to pass to LLVM (space separated)"), llvm_plugins: Vec<String> = (Vec::new(), parse_list, [TRACKED], |