]> git.lizzy.rs Git - rust.git/commit
Emit Retag statements, kill Validate statements
authorRalf Jung <post@ralfj.de>
Wed, 24 Oct 2018 09:47:17 +0000 (11:47 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 29 Oct 2018 08:05:18 +0000 (09:05 +0100)
commitaafcf2c9422e7e1de2ebefd51d78cf1d07d02cd6
tree8a2704a03646d186d81c7de32e79a981f3567bd1
parent4e88b7363b7858960ccfd87326ece9d00bf4d973
Emit Retag statements, kill Validate statements

Also "rename" -Zmir-emit-validate to -Zmir-emit-retag, which is just a boolean (yes or no).
26 files changed:
src/bootstrap/bin/rustc.rs
src/librustc/ich/impls_mir.rs
src/librustc/mir/mod.rs
src/librustc/mir/visit.rs
src/librustc/session/config.rs
src/librustc/ty/context.rs
src/librustc_codegen_llvm/mir/analyze.rs
src/librustc_codegen_llvm/mir/statement.rs
src/librustc_mir/borrow_check/mod.rs
src/librustc_mir/borrow_check/nll/invalidation.rs
src/librustc_mir/borrow_check/nll/type_check/mod.rs
src/librustc_mir/dataflow/impls/borrows.rs
src/librustc_mir/dataflow/move_paths/builder.rs
src/librustc_mir/interpret/machine.rs
src/librustc_mir/interpret/step.rs
src/librustc_mir/transform/add_retag.rs [new file with mode: 0644]
src/librustc_mir/transform/add_validation.rs [deleted file]
src/librustc_mir/transform/check_unsafety.rs
src/librustc_mir/transform/erase_regions.rs
src/librustc_mir/transform/mod.rs
src/librustc_mir/transform/qualify_consts.rs
src/librustc_mir/transform/qualify_min_const_fn.rs
src/librustc_mir/transform/remove_noop_landing_pads.rs
src/librustc_mir/transform/rustc_peek.rs
src/librustc_mir/util/liveness.rs
src/librustc_passes/mir_stats.rs