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

fmt

Browse Source
This commit is contained in:
Ralf Jung 2021-07-06 10:13:30 +02:00
parent 340267525c
commit 447f23c71b
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/stacked_borrows.rs
View File

@ -518,9 +518,7 @@ pub fn new_allocation(
) => (extra.global_base_ptr(id), Permission::SharedReadWrite), ) => (extra.global_base_ptr(id), Permission::SharedReadWrite),
// Heap allocations we only track precisely when raw pointers are tagged, for now. // Heap allocations we only track precisely when raw pointers are tagged, for now.
MemoryKind::Machine( MemoryKind::Machine(
MiriMemoryKind::Rust MiriMemoryKind::Rust | MiriMemoryKind::C | MiriMemoryKind::WinHeap,
| MiriMemoryKind::C
| MiriMemoryKind::WinHeap,
) => { ) => {
let tag = let tag =
if extra.track_raw { Tag::Tagged(extra.new_ptr()) } else { Tag::Untagged }; if extra.track_raw { Tag::Tagged(extra.new_ptr()) } else { Tag::Untagged };