summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/interpret/step.rs
diff options
context:
space:
mode:
authorFelix S. Klock II <pnkfelix@pnkfx.org>2018-05-04 12:04:33 +0200
committerFelix S. Klock II <pnkfelix@pnkfx.org>2018-05-29 23:01:36 +0200
commit24abe6f363cd47d444e4cff1123da93817b980f8 (patch)
tree849e130d445bc81ee9a6fadeae611c0118e8e86c /src/librustc_mir/interpret/step.rs
parentDebug flag to bypass restriction of mutation in match guards. (diff)
downloadgrust-24abe6f363cd47d444e4cff1123da93817b980f8.tar.gz
grust-24abe6f363cd47d444e4cff1123da93817b980f8.tar.bz2
grust-24abe6f363cd47d444e4cff1123da93817b980f8.tar.xz
rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.
(This is just the data structure changes and some boilerplate match code that followed from it; the actual emission of these statements comes in a follow-up commit.)
Diffstat (limited to 'src/librustc_mir/interpret/step.rs')
-rw-r--r--src/librustc_mir/interpret/step.rs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/librustc_mir/interpret/step.rs b/src/librustc_mir/interpret/step.rs
index 554d87a04e..b9edd2c07f 100644
--- a/src/librustc_mir/interpret/step.rs
+++ b/src/librustc_mir/interpret/step.rs
@@ -79,6 +79,11 @@ impl<'a, 'mir, 'tcx, M: Machine<'mir, 'tcx>> EvalContext<'a, 'mir, 'tcx, M> {
79 self.deallocate_local(old_val)?; 79 self.deallocate_local(old_val)?;
80 } 80 }
81 81
82 // FIXME: is there some dynamic semantics we should attach to
83 // these? Or am I correct in thinking that the inerpreter
84 // is solely intended for borrowck'ed code?
85 ReadForMatch(..) => {}
86
82 // Validity checks. 87 // Validity checks.
83 Validate(op, ref places) => { 88 Validate(op, ref places) => {
84 for operand in places { 89 for operand in places {