use rustc::mir::visit::Visitor;
use rustc::mir::{BasicBlock, Location, Mir, Place, PlaceBase, Rvalue};
use rustc::mir::{Statement, StatementKind};
-use rustc::mir::{Terminator, TerminatorKind};
+use rustc::mir::TerminatorKind;
use rustc::mir::{Operand, BorrowKind};
use rustc_data_structures::graph::dominators::Dominators;
self.super_statement(statement, location);
}
- fn visit_terminator(
+ fn visit_terminator_kind(
&mut self,
- kind: &Terminator<'tcx>,
+ kind: &TerminatorKind<'tcx>,
location: Location
) {
self.check_activations(location);
- match terminator.kind {
+ match kind {
TerminatorKind::SwitchInt {
ref discr,
switch_ty: _,
}
}
- self.super_terminator(terminator, location);
+ self.super_terminator_kind(kind, location);
}
}
}
impl<'tcx> MutVisitor<'tcx> for NoLandingPads {
- fn visit_terminator(&mut self,
- terminator: &mut Terminator<'tcx>,
+ fn visit_terminator_kind(&mut self,
+ kind: &mut TerminatorKind<'tcx>,
location: Location) {
- if let Some(unwind) = terminator.kind.unwind_mut() {
+ if let Some(unwind) = kind.unwind_mut() {
unwind.take();
}
- self.super_terminator(terminator, location);
+ self.super_terminator_kind(kind, location);
}
}