diff options
| author | Ralf Jung <post@ralfj.de> | 2022-08-07 08:30:03 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-08-07 09:54:40 -0400 |
| commit | be6bb56ee0c88353a01675c4cc525020f1d3137a (patch) | |
| tree | c049cd79befa17f6a8ac5e1ad7824bf9d1c1941a /compiler/rustc_session/src | |
| parent | cc71eef498a24af884c4ffa288101a73447bfc61 (diff) | |
add -Zextra-const-ub-checks to enable more UB checking in const-eval
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 1827f1c208d..0032dd7d113 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1310,6 +1310,8 @@ options! { "emit the bc module with thin LTO info (default: yes)"), export_executable_symbols: bool = (false, parse_bool, [TRACKED], "export symbols from executables, as if they were dynamic libraries"), + extra_const_ub_checks: bool = (false, parse_bool, [TRACKED], + "turns on more checks to detect const UB, which can be slow (default: no)"), #[cfg_attr(not(bootstrap), rustc_lint_opt_deny_field_access("use `Session::fewer_names` instead of this field"))] fewer_names: Option<bool> = (None, parse_opt_bool, [TRACKED], "reduce memory use by retaining fewer names within compilation artifacts (LLVM-IR) \ |