Struct Sanitizer 

pub struct Sanitizer {
    pub barrier_gen: u64,
    pub step: u64,
    /* private fields */
}

Fields

barrier_gen: u64

SoftGPU WG-local barrier generation (bumped between barrier segments).

step: u64

Implementations

impl Sanitizer

pub fn new( mode: SanitizeMode, global_len: usize, group_len: usize, ) -> Result<Self>

pub fn mode(&self) -> SanitizeMode

pub fn findings(&self) -> &[Finding]

pub fn into_report(self) -> SanitizeReport

pub fn reset_group(&mut self)

pub fn mark_allocated(&mut self, space: AddrSpace, addr: u64, len: usize)

pub fn mark_initialized(&mut self, space: AddrSpace, addr: u64, len: usize)

pub fn mark_uninitialized(&mut self, space: AddrSpace, addr: u64, len: usize)

pub fn mark_freed(&mut self, space: AddrSpace, addr: u64, len: usize)

pub fn note_barrier(&mut self)

pub fn on_access( &mut self, space: AddrSpace, addr: u64, ty: TypeId, is_write: bool, is_atomic: bool, actor: WorkItemId, ) -> Result<()>

Trait Implementations

impl Debug for Sanitizer

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.