mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3849 - RalfJung:tb-test, r=RalfJung

Browse Source 
tree_borrows test: ensure we can actually read the variable
This commit is contained in:
bors 2024-08-27 11:40:04 +00:00
commit 9f35309ef0
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/tools/miri/tests/pass/tree_borrows/sb_fails.rs
View File

@ -67,10 +67,11 @@ mod static_memory_modification {
#[allow(mutable_transmutes)] #[allow(mutable_transmutes)]
pub fn main() { pub fn main() {
let _x = unsafe { let x = unsafe {
std::mem::transmute::<&usize, &mut usize>(&X) // In SB this mutable reborrow fails. std::mem::transmute::<&usize, &mut usize>(&X) // In SB this mutable reborrow fails.
// But in TB we are allowed to transmute as long as we don't write. // But in TB we are allowed to transmute as long as we don't write.
}; };
assert_eq!(*&*x, 5);
} }
} }