Struct OobReport 

pub struct OobReport {
    pub oob_loads: u64,
    pub oob_stores: u64,
    pub oob_atomics: u64,
}

A tally of out-of-bounds accesses the interpreter silently absorbed during a tracked run, surfaces the masking that hides GPU/CPU parity hazards. See reference_eval_oob_report. Count of out-of-bounds accesses the interpreter silently absorbed during one tracked run (see crate::reference_eval_oob_report).

The reference interpreter DEFINES OOB loads as zero-fill and OOB stores as a no-op (see the module docstring) so its output stays deterministic. That silent absorption is exactly what MASKS a GPU/CPU parity hazard: an IR program with an ungated data-derived index “works” here but a real GPU (CUDA does no bounds-checking) reads garbage / corrupts memory. This report surfaces the masking so a test can assert a program NEVER relies on it, a correctly-gated program handles an out-of-contract index with explicit control flow and thus records ZERO OOB accesses even on hostile input.

Fields

oob_loads: u64

Scalar/Bytes loads whose index fell outside the buffer (zero-filled).

oob_stores: u64

Stores whose index fell outside the buffer (dropped).

oob_atomics: u64

Atomic loads/stores whose index fell outside the buffer.

Implementations

impl OobReport

pub fn total(&self) -> u64

Total OOB accesses of every kind. Zero means the run never indexed past a buffer end (the invariant a bounds-gated program upholds).

Trait Implementations

impl Clone for OobReport

fn clone(&self) -> OobReport

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for OobReport

impl Debug for OobReport

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

Formats the value using the given formatter.

impl Default for OobReport

fn default() -> OobReport

Returns the “default value” for a type.

impl Eq for OobReport

impl PartialEq for OobReport

fn eq(&self, other: &OobReport) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for OobReport