diff options
| author | Jakub Dupak <dev@jakubdupak.com> | 2023-10-19 11:37:41 +0200 |
|---|---|---|
| committer | CohenArthur <arthur.cohen@embecosm.com> | 2023-10-26 15:05:49 +0000 |
| commit | dd23e4f8b9c63974a589557791ec50c18e5e72d3 (patch) | |
| tree | abb0b80e46ad23672d66ef064c976c4101464710 /gcc/rust | |
| parent | 7ac6f9b4c75cad8189611852c417e4f7483eaef9 (diff) | |
| download | gcc-dd23e4f8b9c63974a589557791ec50c18e5e72d3.zip gcc-dd23e4f8b9c63974a589557791ec50c18e5e72d3.tar.gz gcc-dd23e4f8b9c63974a589557791ec50c18e5e72d3.tar.bz2 | |
borrowck: Execute only with CLI flag
gcc/rust/ChangeLog:
* lang.opt: CLI flag.
* rust-session-manager.cc (Session::compile_crate): Guard execution.
Signed-off-by: Jakub Dupak <dev@jakubdupak.com>
Diffstat (limited to 'gcc/rust')
| -rw-r--r-- | gcc/rust/lang.opt | 4 | ||||
| -rw-r--r-- | gcc/rust/rust-session-manager.cc | 9 |
2 files changed, 10 insertions, 3 deletions
diff --git a/gcc/rust/lang.opt b/gcc/rust/lang.opt index 67285a6..83db5ec 100644 --- a/gcc/rust/lang.opt +++ b/gcc/rust/lang.opt @@ -202,4 +202,8 @@ frust-name-resolution-2.0 Rust Var(flag_name_resolution_2_0) Use the temporary and experimental name resolution pipeline instead of the stable one +frust-borrowcheck +Rust Var(flag_borrowcheck) +Use the WIP borrow checker. + ; This comment is to ensure we retain the blank line above. diff --git a/gcc/rust/rust-session-manager.cc b/gcc/rust/rust-session-manager.cc index 2843b7d..96d5f47 100644 --- a/gcc/rust/rust-session-manager.cc +++ b/gcc/rust/rust-session-manager.cc @@ -667,9 +667,12 @@ Session::compile_crate (const char *filename) if (last_step == CompileOptions::CompileStep::BorrowCheck) return; - const bool dump_bir - = options.dump_option_enabled (CompileOptions::DumpOption::BIR_DUMP); - HIR::BorrowChecker (dump_bir).go (hir); + if (flag_borrowcheck) + { + const bool dump_bir + = options.dump_option_enabled (CompileOptions::DumpOption::BIR_DUMP); + HIR::BorrowChecker (dump_bir).go (hir); + } if (saw_errors ()) return; |