about summary refs log tree commit diff
path: root/src/rustllvm/RustWrapper.cpp
diff options
context:
space:
mode:
authorFelix S. Klock II <pnkfelix@pnkfx.org>2017-07-05 14:52:18 +0200
committerFelix S. Klock II <pnkfelix@pnkfx.org>2017-08-16 16:08:28 +0200
commit018784afc968f6aac9cf62b9339f07f1c06e45cb (patch)
treefa53a30265ea752925d89f7d2b7b92e9f1c0a998 /src/rustllvm/RustWrapper.cpp
parent869f05a5215242d90733bb6cb5455959f01effcd (diff)
downloadrust-018784afc968f6aac9cf62b9339f07f1c06e45cb.tar.gz
rust-018784afc968f6aac9cf62b9339f07f1c06e45cb.zip
MIR based borrow check (opt-in).
One can either use `-Z borrowck-mir` or add the `#[rustc_mir_borrowck]` attribute
to opt into MIR based borrow checking.

Note that regardless of whether one opts in or not, AST-based borrow
check will still run as well.  The errors emitted from AST-based
borrow check will include a "(Ast)" suffix in their error message,
while the errors emitted from MIR-based borrow check will include a
"(Mir)" suffix.

post-rebase: removed check for intra-statement mutual conflict;
replaced with assertion checking that at most one borrow is generated
per statement.

post-rebase: removed dead code: `IdxSet::pairs` and supporting stuff.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions