Struct CallDependencySummary 

pub(crate) struct CallDependencySummary {
    pub return_depends_on_args: Vec<usize>,
    pub must_write_args: Vec<usize>,
    pub unsupported: bool,
}

Dependency summary consumed by the backward visitor.

Fields

return_depends_on_args: Vec<usize>

If the call destination is relevant, these call arguments are relevant.

must_write_args: Vec<usize>

Arguments definitely written on every return path (the must-write intersection, from local_must_write_args). The backward slicer keeps these relevant so the write effect is applied. A conditionally-written argument is not listed here — that is the “may-write” set, which this summary does not compute.

unsupported: bool

True when this summary is conservative rather than precise.

Implementations

impl CallDependencySummary

fn unknown(arg_count: usize) -> Self

Build a conservative summary that keeps all arguments relevant.

Trait Implementations

impl Clone for CallDependencySummary

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallDependencySummary

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

Formats the value using the given formatter.