mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rustup

Browse Source
This commit is contained in:
Ralf Jung 2022-06-08 12:10:54 -04:00
parent b8d5ee037b
commit 657386cc91
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rust-version
View File

@ -1 +1 @@
e45d9973b2665897a768312e971b82cc62633103
09d52bc5d4260bac8b9a2ea8ac7a07c5c72906f1

4
src/machine.rs
View File

@ -678,8 +678,8 @@ impl<'mir, 'tcx> Machine<'mir, 'tcx> for Evaluator<'mir, 'tcx> {
fn ptr_from_addr_cast(
ecx: &MiriEvalContext<'mir, 'tcx>,
addr: u64,
) -> Pointer<Option<Self::PointerTag>> {
intptrcast::GlobalStateInner::ptr_from_addr_cast(ecx, addr)
) -> InterpResult<'tcx, Pointer<Option<Self::PointerTag>>> {
Ok(intptrcast::GlobalStateInner::ptr_from_addr_cast(ecx, addr))
}
#[inline(always)]