Function sway_ir::analysis::memory_utils::must_alias

source · 
pub fn must_alias(
    context: &Context<'_>,
    val1: Value,
    len1: u64,
    val2: Value,
    len2: u64
) -> bool
Expand description

Are memory ranges [val1, val1+len1] and [val2, val2+len2] exactly the same? Conservatively returns false if cannot statically determine.