diff options
author | Jakub Dupak <dev@jakubdupak.com> | 2023-10-19 10:59:54 +0200 |
---|---|---|
committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 19:09:26 +0100 |
commit | 206fc6de9827809cef89b95d1eeb55c5632dd66a (patch) | |
tree | 69e1cc2fdaa8c602c608381ca28554c660273067 /gcc/rust/Make-lang.in | |
parent | 3b51f04f140922fdd3d151215df7f55292a18eeb (diff) | |
download | gcc-206fc6de9827809cef89b95d1eeb55c5632dd66a.zip gcc-206fc6de9827809cef89b95d1eeb55c5632dd66a.tar.gz gcc-206fc6de9827809cef89b95d1eeb55c5632dd66a.tar.bz2 |
gccrs: borrowck: Add CLI option for borrowck
gcc/rust/ChangeLog:
* checks/errors/borrowck/rust-borrow-checker.cc (BorrowChecker::BorrowChecker): Opt dump.
(BorrowChecker::go): Opt dump.
* checks/errors/borrowck/rust-borrow-checker.h (class BorrowChecker): Opt dump.
* lang.opt: Add compile until borrowcheck.
* rust-session-manager.cc (Session::enable_dump): Add BIR.
(Session::compile_crate): Handle new options.
* rust-session-manager.h (struct CompileOptions): Add BIR.
Signed-off-by: Jakub Dupak <dev@jakubdupak.com>
Diffstat (limited to 'gcc/rust/Make-lang.in')
0 files changed, 0 insertions, 0 deletions