Module intraproc

rapx::analysis::alias_analysis::mfp

Module intraproc 

Source

Structs§

AliasDomain
Alias domain using Union-Find data structure
FnAliasAnalyzer
Intraprocedural alias analyzer
PlaceInfo
Information about all places in a function

Enums§

PlaceId
Place identifier supporting field-sensitive analysis

Functions§

apply_conservative_alias_for_call 🔒
Conservative fallback for library functions without MIR Assumes return value may alias with any may_drop argument
apply_function_summary 🔒
Apply a function summary to the current state
apply_statement_effect 🔒
apply_terminator_effect 🔒