summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/interpret/step.rs
diff options
context:
space:
mode:
authorOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>2017-12-14 11:36:28 +0100
committerOliver Schneider <git-spam-no-reply9815368754983@oli-obk.de>2017-12-14 11:36:28 +0100
commit1ba46dc378bbc3101a657a095d66a9c62a80a423 (patch)
tree5817c5418a9bc58b95716f15d9b3ef5f39fd7dc4 /src/librustc_mir/interpret/step.rs
parentMove large chunks of miri from rustc::mir::interpret to rustc_mir::interpret (diff)
downloadgrust-1ba46dc378bbc3101a657a095d66a9c62a80a423.tar.gz
grust-1ba46dc378bbc3101a657a095d66a9c62a80a423.tar.bz2
grust-1ba46dc378bbc3101a657a095d66a9c62a80a423.tar.xz
Move mir validation out of tree
Diffstat (limited to 'src/librustc_mir/interpret/step.rs')
-rw-r--r--src/librustc_mir/interpret/step.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc_mir/interpret/step.rs b/src/librustc_mir/interpret/step.rs
index 0e137f5cb5..352e151e3a 100644
--- a/src/librustc_mir/interpret/step.rs
+++ b/src/librustc_mir/interpret/step.rs
@@ -126,11 +126,11 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> {
126 // Validity checks. 126 // Validity checks.
127 Validate(op, ref places) => { 127 Validate(op, ref places) => {
128 for operand in places { 128 for operand in places {
129 self.validation_op(op, operand)?; 129 M::validation_op(self, op, operand)?;
130 } 130 }
131 } 131 }
132 EndRegion(ce) => { 132 EndRegion(ce) => {
133 self.end_region(Some(ce))?; 133 M::end_region(self, Some(ce))?;
134 } 134 }
135 135
136 // Defined to do nothing. These are added by optimization passes, to avoid changing the 136 // Defined to do nothing. These are added by optimization passes, to avoid changing the