Skip to main content

Module builder

rapx::analysis::points_to

Module builder 

Source

Constants§

MAX_DEREF_DEPTH 🔒
MAX_FIELD_DEPTH 🔒

Functions§

from_body
Build a PtsGraph from a MIR body, pre-registering all locals and their type-determined field slots up to depth limits.
register_field_slots 🔒