rust/src at c990e00f15f71cbff847f6988be4f512aca318bc - rust

Files

Jubilee 9498d5cf2f Rollup merge of #126787 - Strophox:get-bytes, r=RalfJung

Add direct accessors for memory addresses in `Machine` (for Miri)

The purpose of this PR is to enable direct (immutable) access to memory addresses in `Machine`, which will be needed for further extension of Miri.

This is done by adding (/completing missings pairs of) accessor functions, with the relevant signatures as follows:
```rust
/* rust/compiler/rustc_middle/src/mir/interpret/allocation.rs */

pub trait AllocBytes {
  // ..

  fn as_ptr(&self) -> *const u8;
/*fn as_mut_ptr(&mut self) -> *mut u8; -- Already in the compiler*/
}

impl<Prov: Provenance, Extra, Bytes: AllocBytes> Allocation<Prov, Extra, Bytes> {
  // ..

  pub fn get_bytes_unchecked_raw(&self) -> *const u8;
/*pub fn get_bytes_unchecked_raw_mut(&mut self) -> *mut u8; -- Already in the compiler*/
}
```
```rust
/* rust/compiler/rustc_const_eval/src/interpret/memory.rs */

impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
  // ..

  pub fn get_alloc_bytes_unchecked_raw(&self, id: AllocId) -> InterpResult<'tcx, *const u8>;
  pub fn get_alloc_bytes_unchecked_raw_mut(&mut self, id: AllocId) -> InterpResult<'tcx, *mut u8>;
}
```

r? ``@RalfJung``

2024-06-21 21:02:27 -07:00

dep_graph

local_def_path_hash_to_def_id can fail

2024-06-19 07:45:47 -04:00

hir

Revert "Create const block DefIds in typeck instead of ast lowering"

2024-06-07 08:33:58 +00:00

hooks

Remove #[macro_use] extern crate tracing from rustc_middle.

2024-05-23 18:02:40 +10:00

infer

Simplify IntVarValue/FloatVarValue