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

Use force_ptr instead of assert_ptr

Browse Source
This commit is contained in:
Christian Poveda 2019-09-16 10:16:06 -05:00
parent fa20338c9a
commit 55863cb88e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/shims/mod.rs
View File

@ -29,7 +29,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
if this.tcx.lang_items().align_offset_fn() == Some(instance.def.def_id()) {
let n = {
let ptr = this.read_scalar(args[0])?.not_undef()?.assert_ptr();
let ptr = this.force_ptr(this.read_scalar(args[0])?.not_undef()?)?;
let align = this.force_bits(
this.read_scalar(args[1])?.not_undef()?,
this.pointer_size()