Create mapped places upon seeing them in the body.

This commit is contained in:
Camille GILLOT
2024-06-27 14:51:58 +00:00
parent 44fb8575de
commit 76f5bc6a9f
12 changed files with 271 additions and 272 deletions

View File

@@ -123,7 +123,7 @@ struct TOFinder<'tcx, 'a> {
param_env: ty::ParamEnv<'tcx>,
ecx: InterpCx<'tcx, DummyMachine>,
body: &'a Body<'tcx>,
map: &'a Map,
map: &'a Map<'tcx>,
loop_headers: &'a BitSet<BasicBlock>,
/// We use an arena to avoid cloning the slices when cloning `state`.
arena: &'a DroplessArena,