add todo

TUM-DSE · Feb 26, 2024 · 61f7e6e · 61f7e6e
1 parent 6838cd3
commit 61f7e6e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crates/runtime/src/instance.rs b/crates/runtime/src/instance.rs
@@ -923,6 +923,7 @@ impl Instance {
         let src = self.validate_inbounds(src_mem.current_length(), src, len)?;
         let dst = self.validate_inbounds(dst_mem.current_length(), dst, len)?;
 
+        // TODO(MF): add a cheri-enabled implementation of this if it impacts performance a lot.
         // Bounds and casts are checked above, by this point we know that
         // everything is safe.
         unsafe {