]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 097bc6a 5271c62)
Auto merge of #81132 - bugadani:map-prealloc, r=matthewjasper
authorbors <bors@rust-lang.org>
Tue, 9 Feb 2021 21:28:58 +0000 (21:28 +0000)
committerbors <bors@rust-lang.org>
Tue, 9 Feb 2021 21:28:58 +0000 (21:28 +0000)
commit87bacf22ec93a9479dbd829de5d1917c16b17255
tree128f7a9d7f29f84887a232267d124784eacedfb0tree | snapshot
parent097bc6a84f2280a889b9ab4b544f27851a978927commit | diff
parent5271c628be9eda5f0a4e3a5700d057ce95cf9da8commit | diff
Auto merge of #81132 - bugadani:map-prealloc, r=matthewjasper

Borrowck: refactor visited map to a bitset

This PR refactors `Borrows`  and the `precompute_borrows_out_of_scope` function so that this initial phase has a much reduced memory pressure. This is achieved by reducing what is stored on the heap, and also reusing heap memory as much as possible.
Cargo.lock diff1 | diff2 | blob | history
compiler/rustc_mir/src/borrow_check/mod.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.