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

docify some comments

Browse Source
This commit is contained in:
Ralf Jung 2021-07-18 15:22:09 +02:00
parent 5338a16018
commit 257e9cef66
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/machine.rs
View File

@ -123,15 +123,15 @@ impl fmt::Display for MiriMemoryKind {
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct Tag { pub struct Tag {
pub alloc_id: AllocId, pub alloc_id: AllocId,
// Stacked Borrows tag. /// Stacked Borrows tag.
pub sb: SbTag, pub sb: SbTag,
} }
impl Provenance for Tag { impl Provenance for Tag {
// We use absolute addresses in the `offset` of a `Pointer<Tag>`. /// We use absolute addresses in the `offset` of a `Pointer<Tag>`.
const OFFSET_IS_ADDR: bool = true; const OFFSET_IS_ADDR: bool = true;
// We cannot err on partial overwrites, it happens too often in practice (due to unions). /// We cannot err on partial overwrites, it happens too often in practice (due to unions).
const ERR_ON_PARTIAL_PTR_OVERWRITE: bool = false; const ERR_ON_PARTIAL_PTR_OVERWRITE: bool = false;
fn fmt(ptr: &Pointer<Self>, f: &mut fmt::Formatter<'_>) -> fmt::Result { fn fmt(ptr: &Pointer<Self>, f: &mut fmt::Formatter<'_>) -> fmt::Result {