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.

Re-exports

use std::iter; 🔒

use either::Either; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::LocalKind; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::ty::GenericArg; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::move_paths::InitKind; 🔒

use rustc_mir_dataflow::move_paths::InitLocation; 🔒

use rustc_mir_dataflow::move_paths::MoveData; 🔒

use tracing::debug; 🔒

use crate::borrow_set::BorrowSet; 🔒

use crate::constraints::OutlivesConstraint; 🔒

use crate::handle_placeholders::LoweredConstraints; 🔒

use crate::type_check::free_region_relations::UniversalRegionRelations; 🔒

use crate::universal_regions::UniversalRegions; 🔒

Modules

accesses 🔒

facts 🔒

loan_invalidations 🔒

loan_kills 🔒

location 🔒

Structs

FactWriter

LocationIndex

PoloniusLocationTable

Maps between a MIR Location, which identifies a particular statement within a basic block, to a “rich location”, which identifies at a finer granularity. In particular, we distinguish the start of a statement and the mid-point. The mid-point is the point just before the statement takes effect; in particular, for an assignment A = B, it is the point where B is about to be written into A. This mid-point is a kind of hack to work around our inability to track the position information at sufficient granularity through outlives relations; however, the rich location table serves another purpose: it compresses locations from multiple words into a single u32.

PoloniusRegionVid

A (kinda) newtype of RegionVid so we can implement Atom on it.

RustcFacts

Enums

RichLocation

Traits

FactCell

FactRow

PoloniusFactsExt

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.

write_row

Type Aliases

PoloniusFacts

PoloniusOutput