diff options
| author | Ben Kimock <kimockb@gmail.com> | 2021-12-31 18:03:07 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2021-12-31 18:03:07 -0500 |
| commit | 777c853b4a8274b293f30c029cc18bccedde9ecf (patch) | |
| tree | 1b2a8c110ce0b5e5f03c88c5425966a313f3c55f | |
| parent | 4f808161bc2852bff52cf3dd1bb4baf3003ef181 (diff) | |
| download | rust-777c853b4a8274b293f30c029cc18bccedde9ecf.tar.gz rust-777c853b4a8274b293f30c029cc18bccedde9ecf.zip | |
Clarify safety comment
| -rw-r--r-- | library/alloc/src/vec/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/library/alloc/src/vec/mod.rs b/library/alloc/src/vec/mod.rs index a55fce2760f..a6e7f08b00b 100644 --- a/library/alloc/src/vec/mod.rs +++ b/library/alloc/src/vec/mod.rs @@ -2144,6 +2144,8 @@ impl<T, A: Allocator> Vec<T, A> { let ptr = self.as_mut_ptr(); // SAFETY: // - `ptr` is guaranteed to be valid for `self.len` elements + // - but the allocation extends out to `self.buf.capacity()` elements, possibly + // uninitialized let spare_ptr = unsafe { ptr.add(self.len) }; let spare_ptr = spare_ptr.cast::<MaybeUninit<T>>(); let spare_len = self.buf.capacity() - self.len; |