]> git.lizzy.rs Git - rust.git/commit
add a pass for validation commands; for now just emit the initial AcquireValid
authorRalf Jung <post@ralfj.de>
Tue, 11 Jul 2017 21:10:38 +0000 (14:10 -0700)
committerRalf Jung <post@ralfj.de>
Sun, 30 Jul 2017 08:11:59 +0000 (01:11 -0700)
commit735ace977c75405084cb41b3b0613d14b55c811d
treef008b246288990e2b823891aadb50241988e67d2
parent5264103de4085d61a9e47c97de3a31b1f36b2dd3
add a pass for validation commands; for now just emit the initial AcquireValid
src/librustc_driver/driver.rs
src/librustc_mir/transform/add_validation.rs [new file with mode: 0644]
src/librustc_mir/transform/mod.rs