Skip to main content

effects_may_alias

celox_analysis::memory

Function effects_may_alias 

Source 
pub fn effects_may_alias<O: Copy + Eq>(
    left: MemoryEffect<O>,
    right: MemoryEffect<O>,
) -> bool
Expand description

Conservatively decide whether two byte-range effects may touch the same memory. Callers are responsible for rejecting empty or overflowing exact ranges when constructing their IR adapter.