Struct ParamAttrs 

pub struct ParamAttrs {
    pub readonly: bool,
    pub nocapture: bool,
}

Per-parameter pointer attributes, LLVM-style, inferred (or read from a C prototype) and consumed at call sites to relax the default “every pointer argument aliases everything and is written through by the callee” assumption.

The two bits are deliberately independent: readonly proves only that the callee does not write through the pointer during this call, which is enough to stop a call from clobbering the cells the argument reaches (see mem_forward’s call-kill). It does not prove the pointer is safe to reason about across the call: a captured pointer can be written through later, so frame-freshness reasoning additionally requires nocapture. Both bits default to false (fully conservative); an inference/extern pass sets them.

Fields

readonly: bool

The callee never writes through this pointer parameter (C *const semantics, one level deep: a store through a pointer loaded from the param does not clear this — only stores whose address is affine-derived from the param itself do).

nocapture: bool

The callee does not retain this pointer beyond the call, except by returning it (capture-by-return does not clear this: the returned pointer is still tracked by the caller, so it is not an unbounded escape).

Implementations

impl ParamAttrs

pub const OPTIMISTIC: Self

The fully permissive attribute set (both bits): the optimistic starting point of the bottom-up inference fixpoint, whittled down as the body walk finds writes/captures/escapes.

Trait Implementations

impl Clone for ParamAttrs

fn clone(&self) -> ParamAttrs

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ParamAttrs

impl Debug for ParamAttrs

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

Formats the value using the given formatter.

impl Default for ParamAttrs

fn default() -> ParamAttrs

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ParamAttrs

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ParamAttrs

impl PartialEq for ParamAttrs

fn eq(&self, other: &ParamAttrs) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ParamAttrs

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ParamAttrs