From 5d4a804100f0ad643fb589f93851ceaee427fd02 Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Fri, 18 Mar 2016 23:04:07 -0600
Subject: [PATCH] Implement the dummy 'assume' intrinsic.

---
 src/interpreter.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/interpreter.rs b/src/interpreter.rs
index fe4217ca9aa7..a2c44f4fed59 100644
--- a/src/interpreter.rs
+++ b/src/interpreter.rs
@@ -315,6 +315,8 @@ impl<'a, 'tcx: 'a, 'arena> Interpreter<'a, 'tcx, 'arena> {
         let dest_size = self.lvalue_repr(ret_ptr).size();
 
         match name {
+            "assume" => {}
+
             "copy_nonoverlapping" => {
                 let elem_ty = *substs.types.get(subst::FnSpace, 0);
                 let elem_size = self.ty_size(elem_ty);
@@ -330,6 +332,7 @@ impl<'a, 'tcx: 'a, 'arena> Interpreter<'a, 'tcx, 'arena> {
                 try!(self.memory.copy(src, dest, count as usize * elem_size));
             }
 
+            // TODO(tsion): Mark as dropped?
             "forget" => {}
 
             "offset" => {