1
Fork 0

avoid 'miri' when refering to the shared interpreter

This commit is contained in:
Ralf Jung 2023-08-02 11:27:00 +02:00
parent 828bdc2c26
commit 2984670cea
6 changed files with 13 additions and 12 deletions

View file

@ -1,4 +1,4 @@
//! Intrinsics and other functions that the miri engine executes without
//! Intrinsics and other functions that the interpreter executes without
//! looking at their MIR. Intrinsics/functions supported here are shared by CTFE
//! and miri.

View file

@ -91,7 +91,7 @@ impl<'tcx, Other> FnVal<'tcx, Other> {
// `Memory` has to depend on the `Machine` because some of its operations
// (e.g., `get`) call a `Machine` hook.
pub struct Memory<'mir, 'tcx, M: Machine<'mir, 'tcx>> {
/// Allocations local to this instance of the miri engine. The kind
/// Allocations local to this instance of the interpreter. The kind
/// helps ensure that the same mechanism is used for allocation and
/// deallocation. When an allocation is not found here, it is a
/// global and looked up in the `tcx` for read access. Some machines may