user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fmt

Browse source
This commit is contained in:
The Miri Cronjob Bot 2025-05-27 05:03:22 +00:00
parent 1c73fb9fc4
commit bf0aab9b2e
2 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/tools/miri/src/concurrency/thread.rs
View file

@ -902,7 +902,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
let mut alloc = alloc.inner().adjust_from_tcx(
&this.tcx,
|bytes, align| {
interp_ok(MiriAllocBytes::from_bytes(std::borrow::Cow::Borrowed(bytes), align, ()))
interp_ok(MiriAllocBytes::from_bytes(
std::borrow::Cow::Borrowed(bytes),
align,
(),
))
},
|ptr| this.global_root_pointer(ptr),
)?;

4
src/tools/miri/src/machine.rs
View file

@ -1805,7 +1805,9 @@ impl<'tcx> Machine<'tcx> for MiriMachine<'tcx> {
}
/// Placeholder!
fn get_default_alloc_params(&self) -> <Self::Bytes as AllocBytes>::AllocParams { () }
fn get_default_alloc_params(&self) -> <Self::Bytes as AllocBytes>::AllocParams {
()
}
}
/// Trait for callbacks handling asynchronous machine operations.