rust/tests/fail/stacked_borrows/illegal_read3.rs

29 lines
926 B
Rust
Raw Normal View History

2019-02-15 19:43:56 -06:00
// A callee may not read the destination of our `&mut` without us noticing.
2018-11-07 10:33:41 -06:00
// Thise code got carefully checked to not introduce any reborrows
2019-02-15 19:43:56 -06:00
// that are not explicit in the source. Let's hope the compiler does not break this later!
2018-11-07 10:33:41 -06:00
use std::mem;
union HiddenRef {
// We avoid retagging at this type, so shared vs mutable does not matter.
r: &'static i32,
}
2018-11-07 10:33:41 -06:00
fn main() {
let mut x: i32 = 15;
let xref1 = &mut x;
let xref1_sneaky: HiddenRef = unsafe { mem::transmute_copy(&xref1) };
2019-02-15 19:43:56 -06:00
// Derived from `xref1`, so using raw value is still ok, ...
let xref2 = &mut *xref1;
2018-11-07 10:33:41 -06:00
callee(xref1_sneaky);
2019-02-15 19:43:56 -06:00
// ... though any use of it will invalidate our ref.
let _val = *xref2;
//~^ ERROR: borrow stack
2018-11-07 10:33:41 -06:00
}
fn callee(xref1: HiddenRef) {
2018-11-07 10:33:41 -06:00
// Doing the deref and the transmute (through the union) in the same place expression
// should avoid retagging.
let _val = unsafe { *xref1.r };
2018-11-07 10:33:41 -06:00
}