Module value_analysis 

Re-exports

use std::debug_assert_matches; 🔒

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use std::fmt::Formatter; 🔒

use std::ops::Range; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_abi::VariantIdx; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxIndexSet; 🔒

use rustc_data_structures::fx::StdEntry; 🔒

use rustc_index::IndexVec; 🔒

use rustc_index::bit_set::GrowableBitSet; 🔒

use rustc_middle::mir::visit::PlaceContext; 🔒

use rustc_middle::mir::visit::Visitor; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::Unnormalized; 🔒

use tracing::debug; 🔒

use crate::JoinSemiLattice; 🔒

use crate::lattice::HasBottom; 🔒

use crate::lattice::HasTop; 🔒

use rustc_middle::mir::*; 🔒

Structs

Children 🔒

Map

Partial mapping from Place to PlaceIndex, where some places also have a ValueIndex.

PlaceCollector 🔒

PlaceIndex

This index uniquely identifies a place.

PlaceInfo 🔒

This is the information tracked for every PlaceIndex and is stored by Map.

StateData

See State.

ValueIndex

This index uniquely identifies a tracked place and therefore a slot in State.

Enums

PlaceCollectionMode

State

Dataflow state.

TrackElem

The set of projection elements that can be used by a tracked place.

ValueOrPlace

Used as the result of an operand or r-value.

Functions

debug_with_context

debug_with_context_rec 🔒

excluded_locals

Returns all locals with projections that have their reference or address taken.

iter_fields

Invokes f on all direct fields of ty.