Update src/shims/unix/mem.rs

Co-authored-by: Ralf Jung <post@ralfj.de>
rust-lang · Jun 16, 2023 · db7b7b6 · db7b7b6
1 parent d0a56f4
commit db7b7b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/shims/unix/mem.rs b/src/shims/unix/mem.rs
@@ -100,7 +100,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriInterpCxExt<'mir, 'tcx> {
             std::iter::repeat(0u8).take(usize::try_from(map_length).unwrap()),
         )
         .unwrap();
-        // Memory mappings are always exposed
+        // Memory mappings don't use provenance, and are always exposed.
         Machine::expose_ptr(this, ptr)?;
 
         Ok(Scalar::from_pointer(ptr, this))