Module polonius

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

• loan_invalidations 🔒
• loan_kills 🔒

Functions

• emit_cfg_and_loan_kills_facts 🔒
  Emit facts about CFG points and edges, as well as locations where loans are killed.
• emit_facts 🔒
  When requested, emit most of the facts needed by polonius:
• emit_loan_invalidations_facts 🔒
  Emit facts about loan invalidations.
• emit_move_facts 🔒
  Emit facts needed for move/init analysis: moves and assignments.
• emit_universal_region_facts 🔒
  Emit universal regions facts, and their relations.