Module mir 

Re-exports

use std::iter; 🔒

use std::mem; 🔒

use rustc_data_structures::either::Either; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::HirId; 🔒

use rustc_index::IndexVec; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_middle::mir::visit::MutatingUseContext; 🔒

use rustc_middle::mir::visit::NonMutatingUseContext; 🔒

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

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

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::BasicBlockData; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::InlineAsmOperand; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::mir::START_BLOCK; 🔒

use rustc_middle::mir::StatementKind; 🔒

use rustc_middle::mir::TerminatorKind; 🔒

use rustc_middle::ty::TyCtxt; 🔒

pub use possible_borrower::PossibleBorrowerMap;

Modules

possible_borrower 🔒

possible_origin 🔒

transitive_relation 🔒

Structs

LocalUsage

V 🔒

Functions

block_in_cycle

Checks if the block is part of a cycle

enclosing_mir

Returns the mir::Body containing the node associated with hir_id.

expr_local

Tries to determine the Local corresponding to expr, if any. This function is expensive and should be used sparingly.

function_call_basic_block

Returns the basic block that is terminated with this function call.

is_local_assignment 🔒

local_assignments

Returns a vector of mir::Location where local is assigned.

reachable_while_storage_live 🔒

Starting from the specified location, determines which blocks may be entered while any of the locals are still live.

used_exactly_once

Convenience wrapper around visit_local_usage.

visit_local_usage

Collects usage locations (reads, consumes or mutations) for the set of the locals across blocks where their storage remains live relative to the location specified.