bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

TRACK '-Z polonius' flag

Browse source
This commit is contained in:
Camelid 2020-11-24 18:58:20 -08:00
parent 1c389ffeff
commit c4caf5ad36
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_interface/src/tests.rs
View file

@ -498,7 +498,6 @@ fn test_debugging_options_tracking_hash() {
untracked!(no_parallel_llvm, true); untracked!(no_parallel_llvm, true);
untracked!(parse_only, true); untracked!(parse_only, true);
untracked!(perf_stats, true); untracked!(perf_stats, true);
untracked!(polonius, true);
// `pre_link_arg` is omitted because it just forwards to `pre_link_args`. // `pre_link_arg` is omitted because it just forwards to `pre_link_args`.
untracked!(pre_link_args, vec![String::from("abc"), String::from("def")]); untracked!(pre_link_args, vec![String::from("abc"), String::from("def")]);
untracked!(print_link_args, true); untracked!(print_link_args, true);
@ -572,6 +571,7 @@ fn test_debugging_options_tracking_hash() {
tracked!(osx_rpath_install_name, true); tracked!(osx_rpath_install_name, true);
tracked!(panic_abort_tests, true); tracked!(panic_abort_tests, true);
tracked!(plt, Some(true)); tracked!(plt, Some(true));
tracked!(polonius, true);
tracked!(precise_enum_drop_elaboration, false); tracked!(precise_enum_drop_elaboration, false);
tracked!(print_fuel, Some("abc".to_string())); tracked!(print_fuel, Some("abc".to_string()));
tracked!(profile, true); tracked!(profile, true);

2
compiler/rustc_session/src/options.rs
View file

@ -1008,7 +1008,7 @@ options! {DebuggingOptions, DebuggingSetter, basic_debugging_options,
"whether to use the PLT when calling into shared libraries; "whether to use the PLT when calling into shared libraries;
only has effect for PIC code on systems with ELF binaries only has effect for PIC code on systems with ELF binaries
(default: PLT is disabled if full relro is enabled)"), (default: PLT is disabled if full relro is enabled)"),
polonius: bool = (false, parse_bool, [UNTRACKED], polonius: bool = (false, parse_bool, [TRACKED],
"enable polonius-based borrow-checker (default: no)"), "enable polonius-based borrow-checker (default: no)"),
polymorphize: bool = (false, parse_bool, [TRACKED], polymorphize: bool = (false, parse_bool, [TRACKED],
"perform polymorphization analysis"), "perform polymorphization analysis"),