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

final tweaks

Browse Source
This commit is contained in:
Ralf Jung 2022-11-13 13:16:12 +01:00 committed by GitHub
parent 2b39687053
commit 096c33ff4b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tools/miri/src/machine.rs
View File

@ -123,7 +123,7 @@ impl fmt::Display for MiriMemoryKind {
use self::MiriMemoryKind::*;
match self {
Rust => write!(f, "Rust heap"),
Miri => write!(f, "Miri heap"),
Miri => write!(f, "Miri bare-metal heap"),
C => write!(f, "C heap"),
WinHeap => write!(f, "Windows heap"),
Machine => write!(f, "machine-managed memory"),

2
src/tools/miri/tests/pass/miri-alloc.rs
View File

@ -14,7 +14,7 @@ extern "Rust" {
fn start(_: isize, _: *const *const u8) -> isize {
unsafe {
let ptr = miri_alloc(123, 1);
core::ptr::write_bytes(ptr, 0, 123);
core::ptr::write_bytes(ptr, 0u8, 123);
miri_dealloc(ptr, 123, 1);
}
0