[−][src]Module rustc_mir::transform::add_validation
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
This pass adds validation calls (AcquireValid, ReleaseValid) where appropriate. It has to be run really early, before transformations like inlining, because introducing these calls adds UB -- so, conceptually, this pass is actually part of MIR building, and only after this pass we think of the program has having the normal MIR semantics.
Structs
AddValidation |
[ Experimental ]
|
Functions
fn_contains_unsafe |
[ Experimental ] Check if this function contains an unsafe block or is an unsafe function. |
place_context |
[ Experimental ] Determine the "context" of the place: Mutability and region. |