Skip to content

Commit

Permalink
Ignore local kind in MIR dataflow
Browse files Browse the repository at this point in the history
  • Loading branch information
jonas-schievink committed Sep 26, 2016
1 parent e0249ad commit a0fa204
Showing 1 changed file with 3 additions and 10 deletions.
13 changes: 3 additions & 10 deletions src/librustc_borrowck/borrowck/mir/dataflow/sanity_check.rs
Expand Up @@ -13,7 +13,7 @@ use syntax::ast;
use syntax_pos::Span;

use rustc::ty::{self, TyCtxt};
use rustc::mir::repr::{self, Mir, LocalKind};
use rustc::mir::repr::{self, Mir};
use rustc_data_structures::indexed_vec::Idx;

use super::super::gather_moves::{MovePathIndex, LookupResult};
Expand Down Expand Up @@ -73,15 +73,8 @@ fn each_block<'a, 'tcx, O>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
};
assert!(args.len() == 1);
let peek_arg_lval = match args[0] {
repr::Operand::Consume(ref lval) => match *lval {
repr::Lvalue::Local(local) if mir.local_kind(local) == LocalKind::Temp => {
Some(lval)
}
_ => None
},
repr::Operand::Constant(_) => {
None
}
repr::Operand::Consume(ref lval @ repr::Lvalue::Local(_)) => Some(lval),
_ => None,
};

let peek_arg_lval = match peek_arg_lval {
Expand Down

0 comments on commit a0fa204

Please sign in to comment.