Enum miri::concurrency::data_race::WriteType
source · enum WriteType {
Allocate,
Write,
Deallocate,
}
Expand description
Type of write operation: allocating memory non-atomic writes and deallocating memory are all treated as writes for the purpose of the data-race detector.
Variants§
Allocate
Allocate memory.
Write
Standard unsynchronized write.
Deallocate
Deallocate memory.
Note that when memory is deallocated first, later non-atomic accesses
will be reported as use-after-free, not as data races.
(Same for Allocate
above.)
Implementations§
Trait Implementations§
source§impl PartialEq<WriteType> for WriteType
impl PartialEq<WriteType> for WriteType
impl Copy for WriteType
impl Eq for WriteType
impl StructuralEq for WriteType
impl StructuralPartialEq for WriteType
Auto Trait Implementations§
impl RefUnwindSafe for WriteType
impl Send for WriteType
impl Sync for WriteType
impl Unpin for WriteType
impl UnwindSafe for WriteType
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 1 byte
Size for each variant:
Allocate
: 0 bytesWrite
: 0 bytesDeallocate
: 0 bytes