Module alias 

Modules

default

mfp

observer

Structs

AliasPair

AliasPair is used to store the alias relationships between two places. The result is field-sensitive.

FieldOrigin

Identity of a struct field that a place resolves to.

FnAliasMapWrapper

This is a wrapper struct for displaying FnAliasMap.

FnAliasPairs

To store the alias relationships among arguments and return values. Each function may have multiple return instructions, leading to different RetAlias.

Traits

AliasAnalysis

This trait provides features related to alias analysis.

Functions

aa_place_desc_str 🔒

adt_from_ty

Unwrap Ref / RawPtr / Adt layers to get the innermost ADT definition.

resolve_any_field_origin

Like resolve_self_field_origin but uses the type of local instead of always _1. For origins from call-site verification.

resolve_field_origin_inner 🔒

If local (typically 1 = self) with fields in def_id’s body corresponds to a struct field, return its identity. Trace a multi-level field path (self.node.ptr, self.mid.leaf.ptr) down to the innermost raw-pointer field, so the encapsulation check targets Inner::ptr / Leaf::ptr rather than the intermediate Outer::node / Outer::mid field. Intermediate reference and ADT layers are dereferenced through; if the path ends without reaching a raw pointer, None is returned.

resolve_self_field_origin

Type Aliases

FnAliasMap

The data structure to store aliases for a set of functions.