Structs§
- CFG
- A compact MIR CFG used by the verifier path extractor.
- Callsite
- A concrete unsafe callsite in one MIR body.
- Callsite
Location - Stable MIR location for a call terminator inside one function body.
Functions§
- access_
ident_ recursive - check_
safety 🔒 - collect_
unsafe_ callsites - Collect all unsafe MIR callsites in
def_id. - find_
generic_ 🔒in_ ty - find_
generic_ 🔒param - get_
cleaned_ def_ path_ name - get_
known_ 🔒std_ names - get_
std_ 🔒api_ signature_ json - get_
struct_ 🔒name - get_
struct_ 🔒self_ ty - get_
unsafe_ callees - Return the set of unsafe callees invoked by
def_id. - match_
primitive_ 🔒type - match_
ty_ with_ ident - parse_
expr_ into_ local_ and_ ty - parse_
expr_ into_ number - parse_
local_ signature - parse_
outside_ 🔒signature - parse_
signature - push_
unwind_ 🔒target - Append a cleanup unwind target when one exists.
- resolve_
next_ 🔒field - resolve_
projection_ 🔒from_ base_ ident - resolve_
projection_ 🔒from_ struct_ ident - terminator_
successors 🔒 - Compute MIR successor blocks for one terminator.