#[cfg(windows)]
use std::os::windows::ffi::{OsStrExt, OsStringExt};
-use rustc_target::abi::{LayoutOf, Size};
+use rustc_middle::ty::layout::LayoutOf;
+use rustc_target::abi::{Align, Size};
use crate::*;
pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
/// Helper function to read an OsString from a null-terminated sequence of bytes, which is what
/// the Unix APIs usually handle.
- fn read_os_str_from_c_str<'a>(&'a self, sptr: Scalar<Tag>) -> InterpResult<'tcx, &'a OsStr>
+ fn read_os_str_from_c_str<'a>(
+ &'a self,
+ ptr: Pointer<Option<Tag>>,
+ ) -> InterpResult<'tcx, &'a OsStr>
where
'tcx: 'a,
'mir: 'a,
{
let this = self.eval_context_ref();
- let bytes = this.read_c_str(sptr)?;
+ let bytes = this.read_c_str(ptr)?;
bytes_to_os_str(bytes)
}
/// Helper function to read an OsString from a 0x0000-terminated sequence of u16,
/// which is what the Windows APIs usually handle.
- fn read_os_str_from_wide_str<'a>(&'a self, sptr: Scalar<Tag>) -> InterpResult<'tcx, OsString>
+ fn read_os_str_from_wide_str<'a>(
+ &'a self,
+ ptr: Pointer<Option<Tag>>,
+ ) -> InterpResult<'tcx, OsString>
where
'tcx: 'a,
'mir: 'a,
Ok(s.into())
}
- let u16_vec = self.eval_context_ref().read_wide_str(sptr)?;
+ let u16_vec = self.eval_context_ref().read_wide_str(ptr)?;
u16vec_to_osstring(u16_vec)
}
fn write_os_str_to_c_str(
&mut self,
os_str: &OsStr,
- sptr: Scalar<Tag>,
+ ptr: Pointer<Option<Tag>>,
size: u64,
) -> InterpResult<'tcx, (bool, u64)> {
let bytes = os_str_to_bytes(os_str)?;
}
self.eval_context_mut()
.memory
- .write_bytes(sptr, bytes.iter().copied().chain(iter::once(0u8)))?;
+ .write_bytes(ptr, bytes.iter().copied().chain(iter::once(0u8)))?;
Ok((true, string_length))
}
fn write_os_str_to_wide_str(
&mut self,
os_str: &OsStr,
- sptr: Scalar<Tag>,
+ ptr: Pointer<Option<Tag>>,
size: u64,
) -> InterpResult<'tcx, (bool, u64)> {
#[cfg(windows)]
// Store the UTF-16 string.
let size2 = Size::from_bytes(2);
let this = self.eval_context_mut();
- let tcx = &*this.tcx;
- let ptr = this.force_ptr(sptr)?; // we need to write at least the 0 terminator
- let alloc = this.memory.get_raw_mut(ptr.alloc_id)?;
+ let mut alloc = this
+ .memory
+ .get_mut(ptr, size2 * string_length, Align::from_bytes(2).unwrap())?
+ .unwrap(); // not a ZST, so we will get a result
for (offset, wchar) in u16_vec.into_iter().chain(iter::once(0x0000)).enumerate() {
let offset = u64::try_from(offset).unwrap();
- alloc.write_scalar(
- tcx,
- ptr.offset(size2 * offset, tcx)?,
- Scalar::from_u16(wchar).into(),
- size2,
- )?;
+ alloc
+ .write_scalar(alloc_range(size2 * offset, size2), Scalar::from_u16(wchar).into())?;
}
Ok((true, string_length - 1))
}
&mut self,
os_str: &OsStr,
memkind: MemoryKind<MiriMemoryKind>,
- ) -> Pointer<Tag> {
+ ) -> InterpResult<'tcx, Pointer<Option<Tag>>> {
let size = u64::try_from(os_str.len()).unwrap().checked_add(1).unwrap(); // Make space for `0` terminator.
let this = self.eval_context_mut();
let arg_type = this.tcx.mk_array(this.tcx.types.u8, size);
- let arg_place = this.allocate(this.layout_of(arg_type).unwrap(), memkind);
+ let arg_place = this.allocate(this.layout_of(arg_type).unwrap(), memkind)?;
assert!(self.write_os_str_to_c_str(os_str, arg_place.ptr, size).unwrap().0);
- arg_place.ptr.assert_ptr()
+ Ok(arg_place.ptr)
}
/// Allocate enough memory to store the given `OsStr` as a null-terminated sequence of `u16`.
&mut self,
os_str: &OsStr,
memkind: MemoryKind<MiriMemoryKind>,
- ) -> Pointer<Tag> {
+ ) -> InterpResult<'tcx, Pointer<Option<Tag>>> {
let size = u64::try_from(os_str.len()).unwrap().checked_add(1).unwrap(); // Make space for `0x0000` terminator.
let this = self.eval_context_mut();
let arg_type = this.tcx.mk_array(this.tcx.types.u16, size);
- let arg_place = this.allocate(this.layout_of(arg_type).unwrap(), memkind);
+ let arg_place = this.allocate(this.layout_of(arg_type).unwrap(), memkind)?;
assert!(self.write_os_str_to_wide_str(os_str, arg_place.ptr, size).unwrap().0);
- arg_place.ptr.assert_ptr()
+ Ok(arg_place.ptr)
}
/// Read a null-terminated sequence of bytes, and perform path separator conversion if needed.
- fn read_path_from_c_str<'a>(&'a self, sptr: Scalar<Tag>) -> InterpResult<'tcx, Cow<'a, Path>>
+ fn read_path_from_c_str<'a>(
+ &'a self,
+ ptr: Pointer<Option<Tag>>,
+ ) -> InterpResult<'tcx, Cow<'a, Path>>
where
'tcx: 'a,
'mir: 'a,
{
let this = self.eval_context_ref();
- let os_str = this.read_os_str_from_c_str(sptr)?;
+ let os_str = this.read_os_str_from_c_str(ptr)?;
Ok(match this.convert_path_separator(Cow::Borrowed(os_str), PathConversion::TargetToHost) {
Cow::Borrowed(x) => Cow::Borrowed(Path::new(x)),
}
/// Read a null-terminated sequence of `u16`s, and perform path separator conversion if needed.
- fn read_path_from_wide_str(&self, sptr: Scalar<Tag>) -> InterpResult<'tcx, PathBuf> {
+ fn read_path_from_wide_str(&self, ptr: Pointer<Option<Tag>>) -> InterpResult<'tcx, PathBuf> {
let this = self.eval_context_ref();
- let os_str = this.read_os_str_from_wide_str(sptr)?;
+ let os_str = this.read_os_str_from_wide_str(ptr)?;
Ok(this
.convert_path_separator(Cow::Owned(os_str), PathConversion::TargetToHost)
fn write_path_to_c_str(
&mut self,
path: &Path,
- sptr: Scalar<Tag>,
+ ptr: Pointer<Option<Tag>>,
size: u64,
) -> InterpResult<'tcx, (bool, u64)> {
let this = self.eval_context_mut();
let os_str = this
.convert_path_separator(Cow::Borrowed(path.as_os_str()), PathConversion::HostToTarget);
- this.write_os_str_to_c_str(&os_str, sptr, size)
+ this.write_os_str_to_c_str(&os_str, ptr, size)
}
/// Write a Path to the machine memory (as a null-terminated sequence of `u16`s),
fn write_path_to_wide_str(
&mut self,
path: &Path,
- sptr: Scalar<Tag>,
+ ptr: Pointer<Option<Tag>>,
size: u64,
) -> InterpResult<'tcx, (bool, u64)> {
let this = self.eval_context_mut();
let os_str = this
.convert_path_separator(Cow::Borrowed(path.as_os_str()), PathConversion::HostToTarget);
- this.write_os_str_to_wide_str(&os_str, sptr, size)
+ this.write_os_str_to_wide_str(&os_str, ptr, size)
}
fn convert_path_separator<'a>(
projects / rust.git / blobdiff