Skip to content

Commit

Permalink
Add peek test for projections
Browse files Browse the repository at this point in the history
  • Loading branch information
ecstatic-morse committed Jun 26, 2020
1 parent 558c8a8 commit 2340197
Show file tree
Hide file tree
Showing 2 changed files with 48 additions and 0 deletions.
32 changes: 32 additions & 0 deletions src/test/ui/mir-dataflow/liveness-projection.rs
@@ -0,0 +1,32 @@
#![feature(core_intrinsics, rustc_attrs)]

use std::intrinsics::rustc_peek;

#[rustc_mir(rustc_peek_liveness, stop_after_dataflow)]
fn foo() {
{
let mut x: (i32, i32) = (42, 0);

// Assignment to a projection does not cause `x` to become live
unsafe { rustc_peek(x); } //~ ERROR bit not set
x.1 = 42;

x = (0, 42);

// ...but a read from a projection does.
unsafe { rustc_peek(x); }
println!("{}", x.1);
}

{
let mut x = 42;

// Derefs are treated like a read of a local even if they are on the RHS of an assignment.
let p = &mut x;
unsafe { rustc_peek(&p); }
*p = 24;
unsafe { rustc_peek(&p); } //~ ERROR bit not set
}
}

fn main() {}
16 changes: 16 additions & 0 deletions src/test/ui/mir-dataflow/liveness-projection.stderr
@@ -0,0 +1,16 @@
error: rustc_peek: bit not set
--> $DIR/liveness-projection.rs:11:18
|
LL | unsafe { rustc_peek(x); }
| ^^^^^^^^^^^^^

error: rustc_peek: bit not set
--> $DIR/liveness-projection.rs:28:18
|
LL | unsafe { rustc_peek(&p); }
| ^^^^^^^^^^^^^^

error: stop_after_dataflow ended compilation

error: aborting due to 3 previous errors

0 comments on commit 2340197

Please sign in to comment.