diff options
| author | LeSeulArtichaut <leseulartichaut@gmail.com> | 2021-03-14 20:10:22 +0100 |
|---|---|---|
| committer | LeSeulArtichaut <leseulartichaut@gmail.com> | 2021-05-11 15:33:00 +0200 |
| commit | 29780f43e2067ee1c88e73fa76ef1cced28758d3 (patch) | |
| tree | 498a22e3694741ae7d10b828b658f1801bff62c6 /compiler/rustc_session/src | |
| parent | d956122f7e278748310cfe25a982879ed2d90fba (diff) | |
Introduce the (WIP) THIR unsafety checker
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 10e195f4f25..91b619e8e12 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1251,6 +1251,8 @@ options! { "select processor to schedule for (`rustc --print target-cpus` for details)"), thinlto: Option<bool> = (None, parse_opt_bool, [TRACKED], "enable ThinLTO when possible"), + thir_unsafeck: bool = (false, parse_bool, [TRACKED], + "use the work-in-progress THIR unsafety checker. NOTE: this is unsound (default: no)"), /// We default to 1 here since we want to behave like /// a sequential compiler for now. This'll likely be adjusted /// in the future. Note that -Zthreads=0 is the way to get |