user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vec tets: ensure pointer is still writeable

Browse source
This commit is contained in:
Ralf Jung 2023-07-03 13:58:42 +02:00
parent a8b6ec1667
commit a68afa2211
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/tools/miri/tests/pass/vec.rs
View file

@ -100,7 +100,7 @@ fn vec_push_ptr_stable() {
v.push(0);
let v0 = unsafe { &mut *(&mut v[0] as *mut _) }; // laundering the lifetime -- we take care that `v` does not reallocate, so that's okay.
v.push(1);
let _val = *v0;
*v0 = *v0;
}
fn vec_extend_ptr_stable() {
@ -109,23 +109,23 @@ fn vec_extend_ptr_stable() {
let v0 = unsafe { &mut *(&mut v[0] as *mut _) }; // laundering the lifetime -- we take care that `v` does not reallocate, so that's okay.
// `slice::Iter` (with `T: Copy`) specialization
v.extend(&[1]);
let _val = *v0;
*v0 = *v0;
// `vec::IntoIter` specialization
v.extend(vec![2]);
let _val = *v0;
*v0 = *v0;
// `TrustedLen` specialization
v.extend(std::iter::once(3));
let _val = *v0;
*v0 = *v0;
// base case
v.extend(std::iter::once(3).filter(|_| true));
let _val = *v0;
*v0 = *v0;
}
fn vec_truncate_ptr_stable() {
let mut v = vec![0; 10];
let v0 = unsafe { &mut *(&mut v[0] as *mut _) }; // laundering the lifetime -- we take care that `v` does not reallocate, so that's okay.
v.truncate(5);
let _val = *v0;
*v0 = *v0;
}
fn push_str_ptr_stable() {