mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-29 18:23:49 +00:00
51 lines
1.8 KiB
Rust
51 lines
1.8 KiB
Rust
#![feature(alloc_error_hook, allocator_api)]
|
|
|
|
use std::{
|
|
alloc::{set_alloc_error_hook, AllocError, Allocator, Layout, System},
|
|
collections::VecDeque,
|
|
panic::{catch_unwind, AssertUnwindSafe},
|
|
ptr::NonNull,
|
|
};
|
|
|
|
#[test]
|
|
#[cfg_attr(not(panic = "unwind"), ignore = "test requires unwinding support")]
|
|
fn test_shrink_to_unwind() {
|
|
// This tests that `shrink_to` leaves the deque in a consistent state when
|
|
// the call to `RawVec::shrink_to_fit` unwinds. The code is adapted from #123369
|
|
// but changed to hopefully not have any UB even if the test fails.
|
|
|
|
struct BadAlloc;
|
|
|
|
unsafe impl Allocator for BadAlloc {
|
|
fn allocate(&self, l: Layout) -> Result<NonNull<[u8]>, AllocError> {
|
|
// We allocate zeroed here so that the whole buffer of the deque
|
|
// is always initialized. That way, even if the deque is left in
|
|
// an inconsistent state, no uninitialized memory should be accessed.
|
|
System.allocate_zeroed(l)
|
|
}
|
|
|
|
unsafe fn deallocate(&self, ptr: NonNull<u8>, layout: Layout) {
|
|
unsafe { System.deallocate(ptr, layout) }
|
|
}
|
|
|
|
unsafe fn shrink(
|
|
&self,
|
|
_ptr: NonNull<u8>,
|
|
_old_layout: Layout,
|
|
_new_layout: Layout,
|
|
) -> Result<NonNull<[u8]>, AllocError> {
|
|
Err(AllocError)
|
|
}
|
|
}
|
|
|
|
set_alloc_error_hook(|_| panic!("alloc error"));
|
|
|
|
let mut v = VecDeque::with_capacity_in(15, BadAlloc);
|
|
v.push_back(1);
|
|
v.push_front(2);
|
|
// This should unwind because it calls `BadAlloc::shrink` and then `handle_alloc_error` which unwinds.
|
|
assert!(catch_unwind(AssertUnwindSafe(|| v.shrink_to_fit())).is_err());
|
|
// This should only pass if the deque is left in a consistent state.
|
|
assert_eq!(v, [2, 1]);
|
|
}
|