diff options
| author | Nick Fitzgerald <fitzgen@gmail.com> | 2018-04-27 06:36:46 -0700 |
|---|---|---|
| committer | Nick Fitzgerald <fitzgen@gmail.com> | 2018-04-27 07:03:13 -0700 |
| commit | eb2582e8e16e24dc83d9e8a35bad1514812f215c (patch) | |
| tree | 5ebb614db6d4e8378db4f357801feb58eea09b36 | |
| parent | 937f9bac5d47db0e9321a61be198d386004dabac (diff) | |
| download | rust-eb2582e8e16e24dc83d9e8a35bad1514812f215c.tar.gz rust-eb2582e8e16e24dc83d9e8a35bad1514812f215c.zip | |
mir: Run drop elaboration on constant MIR
Seems to Just Work since miri merged.
| -rw-r--r-- | src/librustc_mir/transform/elaborate_drops.rs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/librustc_mir/transform/elaborate_drops.rs b/src/librustc_mir/transform/elaborate_drops.rs index f63a5ef301a..8b771fcf493 100644 --- a/src/librustc_mir/transform/elaborate_drops.rs +++ b/src/librustc_mir/transform/elaborate_drops.rs @@ -15,7 +15,6 @@ use dataflow::{on_all_children_bits, on_all_drop_children_bits}; use dataflow::{drop_flag_effects_for_location, on_lookup_result_bits}; use dataflow::MoveDataParamEnv; use dataflow::{self, do_dataflow, DebugFormatted}; -use rustc::hir; use rustc::ty::{self, TyCtxt}; use rustc::mir::*; use rustc::middle::const_val::ConstVal; @@ -42,14 +41,7 @@ impl MirPass for ElaborateDrops { { debug!("elaborate_drops({:?} @ {:?})", src, mir.span); - // Don't run on constant MIR, because trans might not be able to - // evaluate the modified MIR. - // FIXME(eddyb) Remove check after miri is merged. let id = tcx.hir.as_local_node_id(src.def_id).unwrap(); - match (tcx.hir.body_owner_kind(id), src.promoted) { - (hir::BodyOwnerKind::Fn, None) => {}, - _ => return - } let param_env = tcx.param_env(src.def_id).with_reveal_all(); let move_data = MoveData::gather_moves(mir, tcx).unwrap(); let elaborate_patch = { |
