user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Print flow state in debug messages for find_dead_unwinds

Browse source
This commit is contained in:
Dylan MacKenzie 2020-02-13 21:34:19 -08:00
parent 2aa39350d3
commit 26451d007e
1 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/librustc_mir/transform/elaborate_drops.rs
View file

@ -91,7 +91,7 @@ fn find_dead_unwinds<'tcx>(
_ => continue,
};
debug!("find_dead_unwinds @ {:?}: {:?}; init_data={:?}", bb, bb_data, flow_inits.get());
debug!("find_dead_unwinds @ {:?}: {:?}", bb, bb_data);
let path = match env.move_data.rev_lookup.find(location.as_ref()) {
LookupResult::Exact(e) => e,
@ -101,9 +101,15 @@ fn find_dead_unwinds<'tcx>(
}
};
debug!("find_dead_unwinds @ {:?}: path({:?})={:?}", bb, location, path);
flow_inits.seek_before(body.terminator_loc(bb));
debug!(
"find_dead_unwinds @ {:?}: path({:?})={:?}; init_data={:?}",
bb,
location,
path,
flow_inits.get()
);
let mut maybe_live = false;
on_all_drop_children_bits(tcx, body, &env, path, |child| {
maybe_live |= flow_inits.contains(child);