Enum CallEffect 

pub enum CallEffect {
    ReturnAliasArg {
        arg: usize,
    },
    ReturnPointerFromArg {
        arg: usize,
    },
    ReturnPointerAdd {
        base_arg: usize,
        offset_arg: usize,
        stride: Option<u64>,
    },
    ReturnPointerSub {
        base_arg: usize,
        offset_arg: usize,
        stride: Option<u64>,
    },
    ReturnNonZero,
    ReturnAligned {
        align: u64,
        ty_name: String,
    },
    ReturnConst {
        value: u64,
        label: String,
    },
    ReadMemory {
        arg: usize,
    },
    WriteMemory {
        pointer_arg: usize,
    },
    ReturnLengthOfArg {
        arg: usize,
    },
    ReturnTupleFieldLength {
        field: usize,
        from_arg: usize,
    },
    ForgetArgFacts {
        arg: usize,
        reason: ForgetReason,
    },
}

Path-local effect produced by a retained call.

Variants

ReturnAliasArg

The return value aliases or is a direct value flow from an argument.

Fields

arg: usize

ReturnPointerFromArg

The return value is a pointer extracted from an aggregate/reference arg.

Fields

arg: usize

ReturnPointerAdd

The return value is base + offset * stride.

Fields

base_arg: usize

offset_arg: usize

stride: Option<u64>

ReturnPointerSub

The return value is base - offset * stride.

Fields

base_arg: usize

offset_arg: usize

stride: Option<u64>

ReturnNonZero

The return value is known to be non-zero.

ReturnAligned

The return value is known to satisfy a concrete alignment.

Fields

align: u64

ty_name: String

ReturnConst

The return value is a concrete layout/numeric constant.

Fields

value: u64

label: String

ReadMemory

The call reads memory through an argument.

Fields

arg: usize

WriteMemory

The call writes one initialized element through a pointer argument.

Fields

pointer_arg: usize

ReturnLengthOfArg

The return value is the length of an aggregate argument.

Fields

arg: usize

ReturnTupleFieldLength

A specific field of the returned tuple carries the length of a given argument (e.g. split_at(mid) returns (left, right) where left.len() == mid).

Fields

field: usize

from_arg: usize

ForgetArgFacts

Facts about an argument must be forgotten conservatively.

Fields

arg: usize

reason: ForgetReason

Trait Implementations

impl Clone for CallEffect

fn clone(&self) -> CallEffect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallEffect

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

Formats the value using the given formatter.