OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Updated MIR with UserAssertTy in mir-opt tests.

Browse Source
This commit is contained in:
David Wood 2018-03-23 10:07:18 +00:00
parent 447ae7612a
commit 03481f19ea
No known key found for this signature in database
GPG Key ID: 01760B4F9F53F154
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/test/mir-opt/basic_assignment.rs
View File

@ -23,6 +23,8 @@
// tend to be absent in simple code, so subtle breakage in them can
// leave a quite hard-to-find trail of destruction.
// ignore-tidy-linelength
fn main() {
let nodrop_x = false;
let nodrop_y;
@ -46,6 +48,7 @@ fn main() {
// _2 = move _3;
// StorageDead(_3);
// StorageLive(_4);
// UserAssertTy(Canonical { variables: Slice([]), value: std::option::Option<std::boxed::Box<u32>> }, _4);
// _4 = std::option::Option<std::boxed::Box<u32>>::None;
// StorageLive(_5);
// StorageLive(_6);

4
src/test/mir-opt/nll/reborrow-basic.rs
View File

@ -28,9 +28,9 @@ fn main() {
// END RUST SOURCE
// START rustc.main.nll.0.mir
// | '_#7r | {bb0[6..=14]}
// | '_#7r | {bb0[4], bb0[8..=17]}
// ...
// | '_#9r | {bb0[11..=14]}
// | '_#9r | {bb0[10], bb0[14..=17]}
// ...
// let _2: &'_#7r mut i32;
// ...