Module legacy

Functions dedicated to fact generation for the -Zpolonius=legacy datalog implementation.

Will be removed in the future, once the in-tree -Zpolonius=next implementation reaches feature parity.

Modules

• accesses 🔒
• loan_invalidations 🔒
• loan_kills 🔒

Functions

• emit_drop_facts 🔒
  For every potentially drop()-touched region region in local’s type (kind), emit a drop_of_var_derefs_origin(local, origin) fact.
• emit_facts 🔒
  When requested, emit most of the facts needed by polonius:
• emit_move_facts 🔒
  Emit facts needed for move/init analysis: moves and assignments.
• emit_outlives_facts 🔒
  Emit facts about the outlives constraints: the subset base relation, i.e. not a transitive closure.
• emit_universal_region_facts 🔒
  Emit universal regions facts, and their relations.