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ยง
Modulesยง
- accesses ๐
- facts ๐
- loan_
invalidations ๐ - loan_
kills ๐ - location ๐
Functionsยง
- emit_
drop_ ๐facts - For every potentially drop()-touched region
region
inlocal
โs type (kind
), emit adrop_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.