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

Ignore local kind in MIR dataflow

Browse source
This commit is contained in:
Jonas Schievink 2016-09-27 00:24:49 +02:00
parent e0249ad800
commit a0fa2048a8
1 changed files with 3 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/librustc_borrowck/borrowck/mir/dataflow/sanity_check.rs
View file

@ -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};
@ -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 {