Module legacy

Source
Expand description

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.

Re-exportsยง

pub use self::location::*;
pub use self::facts::*;

Modulesยง

accesses ๐Ÿ”’
facts ๐Ÿ”’
loan_invalidations ๐Ÿ”’
loan_kills ๐Ÿ”’
location ๐Ÿ”’

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.