Struct ClobberWalker 

pub struct ClobberWalker { /* private fields */ }

Reusable, query-local state for clobber walking. It owns no graph and no alias-domain data.

Implementations

impl ClobberWalker

pub fn new() -> Self

pub fn clobber<D, Q>( &mut self, graph: &MemoryAccessGraph<D>, start: MemoryAccessId, query: &Q, alias_oracle: &impl AliasOracle<D, Q>, ) -> Option<MemoryClobber>

Find the nearest definition that may alias query. Diverging incoming clobbers resolve to their nearest MemoryPhi.

pub fn query<'a, D, Q, A>( &'a mut self, graph: &'a MemoryAccessGraph<D>, query: &'a Q, alias_oracle: &'a A, ) -> ClobberQuery<'a, D, Q, A>

where A: AliasOracle<D, Q>,

Start one alias query which may resolve several program points. Results are memoized only for the lifetime of this session and are discarded before a different alias query begins.

Trait Implementations

impl Debug for ClobberWalker

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

Formats the value using the given formatter.

impl Default for ClobberWalker

fn default() -> ClobberWalker

Returns the “default value” for a type.