diff options
| author | Ralf Jung <post@ralfj.de> | 2017-09-04 12:37:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-04 12:37:22 +0200 |
| commit | 0002b5af2e6096483ac6975fce47b361b34aa7cd (patch) | |
| tree | 0c8e163fe343b2b834073c6136dfcc3880d49dd9 /src | |
| parent | 324384375537ef1e40f7fad550ba1da83e2d1458 (diff) | |
| parent | 10101dd9f488e6757838b51a1fb09781897ccd63 (diff) | |
| download | rust-0002b5af2e6096483ac6975fce47b361b34aa7cd.tar.gz rust-0002b5af2e6096483ac6975fce47b361b34aa7cd.zip | |
Merge pull request #328 from dwrensha/rustup
update for upstream rename: CodeExtent -> Scope
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_mir/interpret/eval_context.rs | 4 | ||||
| -rw-r--r-- | src/librustc_mir/interpret/memory.rs | 16 | ||||
| -rw-r--r-- | src/librustc_mir/interpret/validation.rs | 26 |
3 files changed, 23 insertions, 23 deletions
diff --git a/src/librustc_mir/interpret/eval_context.rs b/src/librustc_mir/interpret/eval_context.rs index b3d2617c9a3..44777caa4f5 100644 --- a/src/librustc_mir/interpret/eval_context.rs +++ b/src/librustc_mir/interpret/eval_context.rs @@ -4,7 +4,7 @@ use std::fmt::Write; use rustc::hir::def_id::DefId; use rustc::hir::map::definitions::DefPathData; use rustc::middle::const_val::ConstVal; -use rustc::middle::region::CodeExtent; +use rustc::middle::region; use rustc::mir; use rustc::traits::Reveal; use rustc::ty::layout::{self, Layout, Size, Align, HasDataLayout}; @@ -106,7 +106,7 @@ pub enum StackPopCleanup { #[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)] pub struct DynamicLifetime { pub frame: usize, - pub region: Option<CodeExtent>, // "None" indicates "until the function ends" + pub region: Option<region::Scope>, // "None" indicates "until the function ends" } #[derive(Copy, Clone, Debug)] diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs index e1a0a7d3659..7454f1c908e 100644 --- a/src/librustc_mir/interpret/memory.rs +++ b/src/librustc_mir/interpret/memory.rs @@ -6,7 +6,7 @@ use std::cell::Cell; use rustc::ty::Instance; use rustc::ty::layout::{self, TargetDataLayout, HasDataLayout}; use syntax::ast::Mutability; -use rustc::middle::region::CodeExtent; +use rustc::middle::region; use super::{EvalResult, EvalErrorKind, PrimVal, Pointer, EvalContext, DynamicLifetime, Machine, RangeMap}; @@ -26,7 +26,7 @@ pub enum AccessKind { struct LockInfo { /// Stores for which lifetimes (of the original write lock) we got /// which suspensions. - suspended: HashMap<DynamicLifetime, Vec<CodeExtent>>, + suspended: HashMap<DynamicLifetime, Vec<region::Scope>>, /// The current state of the lock that's actually effective. active: Lock, } @@ -567,7 +567,7 @@ impl<'a, 'tcx, M: Machine<'tcx>> Memory<'a, 'tcx, M> { &mut self, ptr: MemoryPointer, len: u64, - region: Option<CodeExtent>, + region: Option<region::Scope>, kind: AccessKind, ) -> EvalResult<'tcx> { let frame = self.cur_frame; @@ -620,8 +620,8 @@ impl<'a, 'tcx, M: Machine<'tcx>> Memory<'a, 'tcx, M> { &mut self, ptr: MemoryPointer, len: u64, - lock_region: Option<CodeExtent>, - suspend: Option<CodeExtent>, + lock_region: Option<region::Scope>, + suspend: Option<region::Scope>, ) -> EvalResult<'tcx> { assert!(len > 0); let cur_frame = self.cur_frame; @@ -680,8 +680,8 @@ impl<'a, 'tcx, M: Machine<'tcx>> Memory<'a, 'tcx, M> { &mut self, ptr: MemoryPointer, len: u64, - lock_region: Option<CodeExtent>, - suspended_region: CodeExtent, + lock_region: Option<region::Scope>, + suspended_region: region::Scope, ) -> EvalResult<'tcx> { assert!(len > 0); let cur_frame = self.cur_frame; @@ -741,7 +741,7 @@ impl<'a, 'tcx, M: Machine<'tcx>> Memory<'a, 'tcx, M> { Ok(()) } - pub(crate) fn locks_lifetime_ended(&mut self, ending_region: Option<CodeExtent>) { + pub(crate) fn locks_lifetime_ended(&mut self, ending_region: Option<region::Scope>) { let cur_frame = self.cur_frame; trace!( "Releasing frame {} locks that expire at {:?}", diff --git a/src/librustc_mir/interpret/validation.rs b/src/librustc_mir/interpret/validation.rs index 63872f3c9c6..7dfc781520c 100644 --- a/src/librustc_mir/interpret/validation.rs +++ b/src/librustc_mir/interpret/validation.rs @@ -6,7 +6,7 @@ use rustc::ty::subst::{Substs, Subst}; use rustc::traits; use rustc::infer::InferCtxt; use rustc::traits::Reveal; -use rustc::middle::region::CodeExtent; +use rustc::middle::region; use super::{EvalError, EvalResult, EvalErrorKind, EvalContext, DynamicLifetime, AccessKind, Value, Lvalue, LvalueExtra, Machine}; @@ -17,8 +17,8 @@ pub type ValidationQuery<'tcx> = ValidationOperand<'tcx, Lvalue>; enum ValidationMode { Acquire, /// Recover because the given region ended - Recover(CodeExtent), - ReleaseUntil(Option<CodeExtent>), + Recover(region::Scope), + ReleaseUntil(Option<region::Scope>), } impl ValidationMode { @@ -89,34 +89,34 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> { let mode = match op { ValidationOp::Acquire => ValidationMode::Acquire, ValidationOp::Release => ValidationMode::ReleaseUntil(None), - ValidationOp::Suspend(ce) => { + ValidationOp::Suspend(scope) => { if query.mutbl == MutMutable { let lft = DynamicLifetime { frame: self.cur_frame(), - region: Some(ce), + region: Some(scope), }; - trace!("Suspending {:?} until {:?}", query, ce); + trace!("Suspending {:?} until {:?}", query, scope); self.suspended.entry(lft).or_insert_with(Vec::new).push( query.clone(), ); } - ValidationMode::ReleaseUntil(Some(ce)) + ValidationMode::ReleaseUntil(Some(scope)) } }; self.validate(query, mode) } - pub(crate) fn end_region(&mut self, ce: CodeExtent) -> EvalResult<'tcx> { - self.memory.locks_lifetime_ended(Some(ce)); + pub(crate) fn end_region(&mut self, scope: region::Scope) -> EvalResult<'tcx> { + self.memory.locks_lifetime_ended(Some(scope)); // Recover suspended lvals let lft = DynamicLifetime { frame: self.cur_frame(), - region: Some(ce), + region: Some(scope), }; if let Some(queries) = self.suspended.remove(&lft) { for query in queries { trace!("Recovering {:?} from suspension", query); - self.validate(query, ValidationMode::Recover(ce))?; + self.validate(query, ValidationMode::Recover(scope))?; } } Ok(()) @@ -268,7 +268,7 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> { &mut self, val: Value, pointee_ty: Ty<'tcx>, - re: Option<CodeExtent>, + re: Option<region::Scope>, mutbl: Mutability, mode: ValidationMode, ) -> EvalResult<'tcx> { @@ -459,7 +459,7 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> { // we record the region of this borrow to the context. if query.re == None { match *region { - ReScope(ce) => query.re = Some(ce), + ReScope(scope) => query.re = Some(scope), // It is possible for us to encounter erased lifetimes here because the lifetimes in // this functions' Subst will be erased. _ => {} |
