48 lines
996 B
Rust
48 lines
996 B
Rust
// FIXME: The normal `vec!` macro is currently broken in Miri because it hits the
|
|
// std::vec::SetLenOnDrop code and Miri doesn't call destructors yet.
|
|
macro_rules! miri_vec {
|
|
($($e:expr),*) => ({
|
|
let mut v = Vec::new();
|
|
$(v.push($e);)*
|
|
v
|
|
});
|
|
}
|
|
|
|
fn make_vec() -> Vec<u8> {
|
|
let mut v = Vec::with_capacity(4);
|
|
v.push(1);
|
|
v.push(2);
|
|
v
|
|
}
|
|
|
|
fn make_vec_macro() -> Vec<u8> {
|
|
miri_vec![1, 2]
|
|
}
|
|
|
|
fn make_vec_macro_repeat() -> Vec<u8> {
|
|
miri_vec![42, 42, 42, 42, 42]
|
|
}
|
|
|
|
fn vec_into_iter() -> u8 {
|
|
miri_vec![1, 2, 3, 4]
|
|
.into_iter()
|
|
.map(|x| x * x)
|
|
.fold(0, |x, y| x + y)
|
|
}
|
|
|
|
fn vec_reallocate() -> Vec<u8> {
|
|
let mut v = miri_vec![1, 2];
|
|
v.push(3);
|
|
v.push(4);
|
|
v.push(5);
|
|
v
|
|
}
|
|
|
|
fn main() {
|
|
assert_eq!(vec_reallocate().len(), 5);
|
|
assert_eq!(vec_into_iter(), 30);
|
|
assert_eq!(make_vec().capacity(), 4);
|
|
assert_eq!(make_vec_macro(), [1, 2]);
|
|
assert_eq!(make_vec_macro_repeat(), [42; 5]);
|
|
}
|