/rust/registry/src/index.crates.io-1949cf8c6b5b557f/zerocopy-0.8.27/src/pointer/ptr.rs
Line | Count | Source |
1 | | // Copyright 2023 The Fuchsia Authors |
2 | | // |
3 | | // Licensed under a BSD-style license <LICENSE-BSD>, Apache License, Version 2.0 |
4 | | // <LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0>, or the MIT |
5 | | // license <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your option. |
6 | | // This file may not be copied, modified, or distributed except according to |
7 | | // those terms. |
8 | | |
9 | | use core::{ |
10 | | fmt::{Debug, Formatter}, |
11 | | marker::PhantomData, |
12 | | }; |
13 | | |
14 | | use crate::{ |
15 | | pointer::{ |
16 | | inner::PtrInner, |
17 | | invariant::*, |
18 | | transmute::{MutationCompatible, SizeEq, TransmuteFromPtr}, |
19 | | }, |
20 | | AlignmentError, CastError, CastType, KnownLayout, SizeError, TryFromBytes, ValidityError, |
21 | | }; |
22 | | |
23 | | /// Module used to gate access to [`Ptr`]'s fields. |
24 | | mod def { |
25 | | #[cfg(doc)] |
26 | | use super::super::invariant; |
27 | | use super::*; |
28 | | |
29 | | /// A raw pointer with more restrictions. |
30 | | /// |
31 | | /// `Ptr<T>` is similar to [`NonNull<T>`], but it is more restrictive in the |
32 | | /// following ways (note that these requirements only hold of non-zero-sized |
33 | | /// referents): |
34 | | /// - It must derive from a valid allocation. |
35 | | /// - It must reference a byte range which is contained inside the |
36 | | /// allocation from which it derives. |
37 | | /// - As a consequence, the byte range it references must have a size |
38 | | /// which does not overflow `isize`. |
39 | | /// |
40 | | /// Depending on how `Ptr` is parameterized, it may have additional |
41 | | /// invariants: |
42 | | /// - `ptr` conforms to the aliasing invariant of |
43 | | /// [`I::Aliasing`](invariant::Aliasing). |
44 | | /// - `ptr` conforms to the alignment invariant of |
45 | | /// [`I::Alignment`](invariant::Alignment). |
46 | | /// - `ptr` conforms to the validity invariant of |
47 | | /// [`I::Validity`](invariant::Validity). |
48 | | /// |
49 | | /// `Ptr<'a, T>` is [covariant] in `'a` and invariant in `T`. |
50 | | /// |
51 | | /// [`NonNull<T>`]: core::ptr::NonNull |
52 | | /// [covariant]: https://doc.rust-lang.org/reference/subtyping.html |
53 | | pub struct Ptr<'a, T, I> |
54 | | where |
55 | | T: ?Sized, |
56 | | I: Invariants, |
57 | | { |
58 | | /// # Invariants |
59 | | /// |
60 | | /// 0. `ptr` conforms to the aliasing invariant of |
61 | | /// [`I::Aliasing`](invariant::Aliasing). |
62 | | /// 1. `ptr` conforms to the alignment invariant of |
63 | | /// [`I::Alignment`](invariant::Alignment). |
64 | | /// 2. `ptr` conforms to the validity invariant of |
65 | | /// [`I::Validity`](invariant::Validity). |
66 | | // SAFETY: `PtrInner<'a, T>` is covariant in `'a` and invariant in `T`. |
67 | | ptr: PtrInner<'a, T>, |
68 | | _invariants: PhantomData<I>, |
69 | | } |
70 | | |
71 | | impl<'a, T, I> Ptr<'a, T, I> |
72 | | where |
73 | | T: 'a + ?Sized, |
74 | | I: Invariants, |
75 | | { |
76 | | /// Constructs a new `Ptr` from a [`PtrInner`]. |
77 | | /// |
78 | | /// # Safety |
79 | | /// |
80 | | /// The caller promises that: |
81 | | /// |
82 | | /// 0. `ptr` conforms to the aliasing invariant of |
83 | | /// [`I::Aliasing`](invariant::Aliasing). |
84 | | /// 1. `ptr` conforms to the alignment invariant of |
85 | | /// [`I::Alignment`](invariant::Alignment). |
86 | | /// 2. `ptr` conforms to the validity invariant of |
87 | | /// [`I::Validity`](invariant::Validity). |
88 | 0 | pub(crate) unsafe fn from_inner(ptr: PtrInner<'a, T>) -> Ptr<'a, T, I> { |
89 | | // SAFETY: The caller has promised to satisfy all safety invariants |
90 | | // of `Ptr`. |
91 | 0 | Self { ptr, _invariants: PhantomData } |
92 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::from_inner |
93 | | |
94 | | /// Converts this `Ptr<T>` to a [`PtrInner<T>`]. |
95 | | /// |
96 | | /// Note that this method does not consume `self`. The caller should |
97 | | /// watch out for `unsafe` code which uses the returned value in a way |
98 | | /// that violates the safety invariants of `self`. |
99 | 0 | pub(crate) fn as_inner(&self) -> PtrInner<'a, T> { |
100 | 0 | self.ptr |
101 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_inner Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::as_inner |
102 | | } |
103 | | } |
104 | | |
105 | | #[allow(unreachable_pub)] // This is a false positive on our MSRV toolchain. |
106 | | pub use def::Ptr; |
107 | | |
108 | | /// External trait implementations on [`Ptr`]. |
109 | | mod _external { |
110 | | use super::*; |
111 | | |
112 | | /// SAFETY: Shared pointers are safely `Copy`. `Ptr`'s other invariants |
113 | | /// (besides aliasing) are unaffected by the number of references that exist |
114 | | /// to `Ptr`'s referent. The notable cases are: |
115 | | /// - Alignment is a property of the referent type (`T`) and the address, |
116 | | /// both of which are unchanged |
117 | | /// - Let `S(T, V)` be the set of bit values permitted to appear in the |
118 | | /// referent of a `Ptr<T, I: Invariants<Validity = V>>`. Since this copy |
119 | | /// does not change `I::Validity` or `T`, `S(T, I::Validity)` is also |
120 | | /// unchanged. |
121 | | /// |
122 | | /// We are required to guarantee that the referents of the original `Ptr` |
123 | | /// and of the copy (which, of course, are actually the same since they |
124 | | /// live in the same byte address range) both remain in the set `S(T, |
125 | | /// I::Validity)`. Since this invariant holds on the original `Ptr`, it |
126 | | /// cannot be violated by the original `Ptr`, and thus the original `Ptr` |
127 | | /// cannot be used to violate this invariant on the copy. The inverse |
128 | | /// holds as well. |
129 | | impl<'a, T, I> Copy for Ptr<'a, T, I> |
130 | | where |
131 | | T: 'a + ?Sized, |
132 | | I: Invariants<Aliasing = Shared>, |
133 | | { |
134 | | } |
135 | | |
136 | | /// SAFETY: See the safety comment on `Copy`. |
137 | | impl<'a, T, I> Clone for Ptr<'a, T, I> |
138 | | where |
139 | | T: 'a + ?Sized, |
140 | | I: Invariants<Aliasing = Shared>, |
141 | | { |
142 | | #[inline] |
143 | 0 | fn clone(&self) -> Self { |
144 | 0 | *self |
145 | 0 | } |
146 | | } |
147 | | |
148 | | impl<'a, T, I> Debug for Ptr<'a, T, I> |
149 | | where |
150 | | T: 'a + ?Sized, |
151 | | I: Invariants, |
152 | | { |
153 | | #[inline] |
154 | 0 | fn fmt(&self, f: &mut Formatter<'_>) -> core::fmt::Result { |
155 | 0 | self.as_inner().as_non_null().fmt(f) |
156 | 0 | } |
157 | | } |
158 | | } |
159 | | |
160 | | /// Methods for converting to and from `Ptr` and Rust's safe reference types. |
161 | | mod _conversions { |
162 | | use super::*; |
163 | | |
164 | | /// `&'a T` → `Ptr<'a, T>` |
165 | | impl<'a, T> Ptr<'a, T, (Shared, Aligned, Valid)> |
166 | | where |
167 | | T: 'a + ?Sized, |
168 | | { |
169 | | /// Constructs a `Ptr` from a shared reference. |
170 | | #[doc(hidden)] |
171 | | #[inline] |
172 | 0 | pub fn from_ref(ptr: &'a T) -> Self { |
173 | 0 | let inner = PtrInner::from_ref(ptr); |
174 | | // SAFETY: |
175 | | // 0. `ptr`, by invariant on `&'a T`, conforms to the aliasing |
176 | | // invariant of `Shared`. |
177 | | // 1. `ptr`, by invariant on `&'a T`, conforms to the alignment |
178 | | // invariant of `Aligned`. |
179 | | // 2. `ptr`'s referent, by invariant on `&'a T`, is a bit-valid `T`. |
180 | | // This satisfies the requirement that a `Ptr<T, (_, _, Valid)>` |
181 | | // point to a bit-valid `T`. Even if `T` permits interior |
182 | | // mutation, this invariant guarantees that the returned `Ptr` |
183 | | // can only ever be used to modify the referent to store |
184 | | // bit-valid `T`s, which ensures that the returned `Ptr` cannot |
185 | | // be used to violate the soundness of the original `ptr: &'a T` |
186 | | // or of any other references that may exist to the same |
187 | | // referent. |
188 | 0 | unsafe { Self::from_inner(inner) } |
189 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_ref Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_ref |
190 | | } |
191 | | |
192 | | /// `&'a mut T` → `Ptr<'a, T>` |
193 | | impl<'a, T> Ptr<'a, T, (Exclusive, Aligned, Valid)> |
194 | | where |
195 | | T: 'a + ?Sized, |
196 | | { |
197 | | /// Constructs a `Ptr` from an exclusive reference. |
198 | | #[inline] |
199 | 0 | pub(crate) fn from_mut(ptr: &'a mut T) -> Self { |
200 | 0 | let inner = PtrInner::from_mut(ptr); |
201 | | // SAFETY: |
202 | | // 0. `ptr`, by invariant on `&'a mut T`, conforms to the aliasing |
203 | | // invariant of `Exclusive`. |
204 | | // 1. `ptr`, by invariant on `&'a mut T`, conforms to the alignment |
205 | | // invariant of `Aligned`. |
206 | | // 2. `ptr`'s referent, by invariant on `&'a mut T`, is a bit-valid |
207 | | // `T`. This satisfies the requirement that a `Ptr<T, (_, _, |
208 | | // Valid)>` point to a bit-valid `T`. This invariant guarantees |
209 | | // that the returned `Ptr` can only ever be used to modify the |
210 | | // referent to store bit-valid `T`s, which ensures that the |
211 | | // returned `Ptr` cannot be used to violate the soundness of the |
212 | | // original `ptr: &'a mut T`. |
213 | 0 | unsafe { Self::from_inner(inner) } |
214 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_mut Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::from_mut |
215 | | } |
216 | | |
217 | | /// `Ptr<'a, T>` → `&'a T` |
218 | | impl<'a, T, I> Ptr<'a, T, I> |
219 | | where |
220 | | T: 'a + ?Sized, |
221 | | I: Invariants<Alignment = Aligned, Validity = Valid>, |
222 | | I::Aliasing: Reference, |
223 | | { |
224 | | /// Converts `self` to a shared reference. |
225 | | // This consumes `self`, not `&self`, because `self` is, logically, a |
226 | | // pointer. For `I::Aliasing = invariant::Shared`, `Self: Copy`, and so |
227 | | // this doesn't prevent the caller from still using the pointer after |
228 | | // calling `as_ref`. |
229 | | #[allow(clippy::wrong_self_convention)] |
230 | 0 | pub(crate) fn as_ref(self) -> &'a T { |
231 | 0 | let raw = self.as_inner().as_non_null(); |
232 | | // SAFETY: This invocation of `NonNull::as_ref` satisfies its |
233 | | // documented safety preconditions: |
234 | | // |
235 | | // 1. The pointer is properly aligned. This is ensured by-contract |
236 | | // on `Ptr`, because the `I::Alignment` is `Aligned`. |
237 | | // |
238 | | // 2. If the pointer's referent is not zero-sized, then the pointer |
239 | | // must be “dereferenceable” in the sense defined in the module |
240 | | // documentation; i.e.: |
241 | | // |
242 | | // > The memory range of the given size starting at the pointer |
243 | | // > must all be within the bounds of a single allocated object. |
244 | | // > [2] |
245 | | // |
246 | | // This is ensured by contract on all `PtrInner`s. |
247 | | // |
248 | | // 3. The pointer must point to a validly-initialized instance of |
249 | | // `T`. This is ensured by-contract on `Ptr`, because the |
250 | | // `I::Validity` is `Valid`. |
251 | | // |
252 | | // 4. You must enforce Rust’s aliasing rules. This is ensured by |
253 | | // contract on `Ptr`, because `I::Aliasing: Reference`. Either it |
254 | | // is `Shared` or `Exclusive`. If it is `Shared`, other |
255 | | // references may not mutate the referent outside of |
256 | | // `UnsafeCell`s. |
257 | | // |
258 | | // [1]: https://doc.rust-lang.org/std/ptr/struct.NonNull.html#method.as_ref |
259 | | // [2]: https://doc.rust-lang.org/std/ptr/index.html#safety |
260 | 0 | unsafe { raw.as_ref() } |
261 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_ref Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::as_ref |
262 | | } |
263 | | |
264 | | impl<'a, T, I> Ptr<'a, T, I> |
265 | | where |
266 | | T: 'a + ?Sized, |
267 | | I: Invariants, |
268 | | I::Aliasing: Reference, |
269 | | { |
270 | | /// Reborrows `self`, producing another `Ptr`. |
271 | | /// |
272 | | /// Since `self` is borrowed immutably, this prevents any mutable |
273 | | /// methods from being called on `self` as long as the returned `Ptr` |
274 | | /// exists. |
275 | | #[doc(hidden)] |
276 | | #[inline] |
277 | | #[allow(clippy::needless_lifetimes)] // Allows us to name the lifetime in the safety comment below. |
278 | 0 | pub fn reborrow<'b>(&'b mut self) -> Ptr<'b, T, I> |
279 | 0 | where |
280 | 0 | 'a: 'b, |
281 | | { |
282 | | // SAFETY: The following all hold by invariant on `self`, and thus |
283 | | // hold of `ptr = self.as_inner()`: |
284 | | // 0. SEE BELOW. |
285 | | // 1. `ptr` conforms to the alignment invariant of |
286 | | // [`I::Alignment`](invariant::Alignment). |
287 | | // 2. `ptr` conforms to the validity invariant of |
288 | | // [`I::Validity`](invariant::Validity). `self` and the returned |
289 | | // `Ptr` permit the same bit values in their referents since they |
290 | | // have the same referent type (`T`) and the same validity |
291 | | // (`I::Validity`). Thus, regardless of what mutation is |
292 | | // permitted (`Exclusive` aliasing or `Shared`-aliased interior |
293 | | // mutation), neither can be used to write a value to the |
294 | | // referent which violates the other's validity invariant. |
295 | | // |
296 | | // For aliasing (0 above), since `I::Aliasing: Reference`, |
297 | | // there are two cases for `I::Aliasing`: |
298 | | // - For `invariant::Shared`: `'a` outlives `'b`, and so the |
299 | | // returned `Ptr` does not permit accessing the referent any |
300 | | // longer than is possible via `self`. For shared aliasing, it is |
301 | | // sound for multiple `Ptr`s to exist simultaneously which |
302 | | // reference the same memory, so creating a new one is not |
303 | | // problematic. |
304 | | // - For `invariant::Exclusive`: Since `self` is `&'b mut` and we |
305 | | // return a `Ptr` with lifetime `'b`, `self` is inaccessible to |
306 | | // the caller for the lifetime `'b` - in other words, `self` is |
307 | | // inaccessible to the caller as long as the returned `Ptr` |
308 | | // exists. Since `self` is an exclusive `Ptr`, no other live |
309 | | // references or `Ptr`s may exist which refer to the same memory |
310 | | // while `self` is live. Thus, as long as the returned `Ptr` |
311 | | // exists, no other references or `Ptr`s which refer to the same |
312 | | // memory may be live. |
313 | 0 | unsafe { Ptr::from_inner(self.as_inner()) } |
314 | 0 | } |
315 | | } |
316 | | |
317 | | /// `Ptr<'a, T>` → `&'a mut T` |
318 | | impl<'a, T> Ptr<'a, T, (Exclusive, Aligned, Valid)> |
319 | | where |
320 | | T: 'a + ?Sized, |
321 | | { |
322 | | /// Converts `self` to a mutable reference. |
323 | | #[allow(clippy::wrong_self_convention)] |
324 | 0 | pub(crate) fn as_mut(self) -> &'a mut T { |
325 | 0 | let mut raw = self.as_inner().as_non_null(); |
326 | | // SAFETY: This invocation of `NonNull::as_mut` satisfies its |
327 | | // documented safety preconditions: |
328 | | // |
329 | | // 1. The pointer is properly aligned. This is ensured by-contract |
330 | | // on `Ptr`, because the `ALIGNMENT_INVARIANT` is `Aligned`. |
331 | | // |
332 | | // 2. If the pointer's referent is not zero-sized, then the pointer |
333 | | // must be “dereferenceable” in the sense defined in the module |
334 | | // documentation; i.e.: |
335 | | // |
336 | | // > The memory range of the given size starting at the pointer |
337 | | // > must all be within the bounds of a single allocated object. |
338 | | // > [2] |
339 | | // |
340 | | // This is ensured by contract on all `PtrInner`s. |
341 | | // |
342 | | // 3. The pointer must point to a validly-initialized instance of |
343 | | // `T`. This is ensured by-contract on `Ptr`, because the |
344 | | // validity invariant is `Valid`. |
345 | | // |
346 | | // 4. You must enforce Rust’s aliasing rules. This is ensured by |
347 | | // contract on `Ptr`, because the `ALIASING_INVARIANT` is |
348 | | // `Exclusive`. |
349 | | // |
350 | | // [1]: https://doc.rust-lang.org/std/ptr/struct.NonNull.html#method.as_mut |
351 | | // [2]: https://doc.rust-lang.org/std/ptr/index.html#safety |
352 | 0 | unsafe { raw.as_mut() } |
353 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_mut Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::as_mut |
354 | | } |
355 | | |
356 | | /// `Ptr<'a, T>` → `Ptr<'a, U>` |
357 | | impl<'a, T: ?Sized, I> Ptr<'a, T, I> |
358 | | where |
359 | | I: Invariants, |
360 | | { |
361 | 0 | pub(crate) fn transmute<U, V, R>(self) -> Ptr<'a, U, (I::Aliasing, Unaligned, V)> |
362 | 0 | where |
363 | 0 | V: Validity, |
364 | 0 | U: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, R> + SizeEq<T> + ?Sized, |
365 | | { |
366 | | // SAFETY: |
367 | | // - `SizeEq::cast_from_raw` promises to preserve address, |
368 | | // provenance, and the number of bytes in the referent |
369 | | // - If aliasing is `Shared`, then by `U: TransmuteFromPtr<T>`, at |
370 | | // least one of the following holds: |
371 | | // - `T: Immutable` and `U: Immutable`, in which case it is |
372 | | // trivially sound for shared code to operate on a `&T` and `&U` |
373 | | // at the same time, as neither can perform interior mutation |
374 | | // - It is directly guaranteed that it is sound for shared code to |
375 | | // operate on these references simultaneously |
376 | | // - By `U: TransmuteFromPtr<T, I::Aliasing, I::Validity, V>`, it is |
377 | | // sound to perform this transmute. |
378 | 0 | unsafe { self.transmute_unchecked(SizeEq::cast_from_raw) } |
379 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::transmute::<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseImmutable, zerocopy::pointer::invariant::BecauseImmutable)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::transmute::<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::transmute::<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::transmute::<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::transmute::<_, _, _> |
380 | | |
381 | | #[doc(hidden)] |
382 | | #[inline(always)] |
383 | | #[must_use] |
384 | 0 | pub fn recall_validity<V, R>(self) -> Ptr<'a, T, (I::Aliasing, I::Alignment, V)> |
385 | 0 | where |
386 | 0 | V: Validity, |
387 | 0 | T: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, R>, |
388 | | { |
389 | | // SAFETY: |
390 | | // - This cast is a no-op, and so trivially preserves address, |
391 | | // referent size, and provenance |
392 | | // - It is trivially sound to have multiple `&T` referencing the same |
393 | | // referent simultaneously |
394 | | // - By `T: TransmuteFromPtr<T, I::Aliasing, I::Validity, V>`, it is |
395 | | // sound to perform this transmute. |
396 | 0 | let ptr = unsafe { self.transmute_unchecked(SizeEq::cast_from_raw) }; |
397 | | // SAFETY: `self` and `ptr` have the same address and referent type. |
398 | | // Therefore, if `self` satisfies `I::Alignment`, then so does |
399 | | // `ptr`. |
400 | 0 | unsafe { ptr.assume_alignment::<I::Alignment>() } |
401 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::recall_validity::<_, _> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, zerocopy::pointer::invariant::BecauseImmutable> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::recall_validity::<zerocopy::pointer::invariant::Valid, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::recall_validity::<zerocopy::pointer::invariant::Initialized, (zerocopy::pointer::transmute::BecauseMutationCompatible, (zerocopy::pointer::transmute::BecauseRead, (zerocopy::pointer::invariant::BecauseExclusive, zerocopy::pointer::invariant::BecauseExclusive)))> |
402 | | |
403 | | /// Casts to a different (unsized) target type without checking interior |
404 | | /// mutability. |
405 | | /// |
406 | | /// Callers should prefer [`cast_unsized`] where possible. |
407 | | /// |
408 | | /// [`cast_unsized`]: Ptr::cast_unsized |
409 | | /// |
410 | | /// # Safety |
411 | | /// |
412 | | /// The caller promises that `u = cast(p)` is a pointer cast with the |
413 | | /// following properties: |
414 | | /// - `u` addresses a subset of the bytes addressed by `p` |
415 | | /// - `u` has the same provenance as `p` |
416 | | /// - If `I::Aliasing` is [`Shared`], it must not be possible for safe |
417 | | /// code, operating on a `&T` and `&U` with the same referent |
418 | | /// simultaneously, to cause undefined behavior |
419 | | /// - It is sound to transmute a pointer of type `T` with aliasing |
420 | | /// `I::Aliasing` and validity `I::Validity` to a pointer of type `U` |
421 | | /// with aliasing `I::Aliasing` and validity `V`. This is a subtle |
422 | | /// soundness requirement that is a function of `T`, `U`, |
423 | | /// `I::Aliasing`, `I::Validity`, and `V`, and may depend upon the |
424 | | /// presence, absence, or specific location of `UnsafeCell`s in `T` |
425 | | /// and/or `U`. See [`Validity`] for more details. |
426 | | #[doc(hidden)] |
427 | | #[inline] |
428 | 0 | pub unsafe fn transmute_unchecked<U: ?Sized, V, F>( |
429 | 0 | self, |
430 | 0 | cast: F, |
431 | 0 | ) -> Ptr<'a, U, (I::Aliasing, Unaligned, V)> |
432 | 0 | where |
433 | 0 | V: Validity, |
434 | 0 | F: FnOnce(PtrInner<'a, T>) -> PtrInner<'a, U>, |
435 | | { |
436 | 0 | let ptr = cast(self.as_inner()); |
437 | | |
438 | | // SAFETY: |
439 | | // |
440 | | // The following safety arguments rely on the fact that the caller |
441 | | // promises that `cast` returns a `PtrInner` which addresses a |
442 | | // prefix of the bytes of `*self`, and so properties that hold of |
443 | | // `*self` also hold of `*ptr`. |
444 | | // |
445 | | // 0. `ptr` conforms to the aliasing invariant of `I::Aliasing`: |
446 | | // - `Exclusive`: `self` is the only `Ptr` or reference which is |
447 | | // permitted to read or modify the referent for the lifetime |
448 | | // `'a`. Since we consume `self` by value, the returned pointer |
449 | | // remains the only `Ptr` or reference which is permitted to |
450 | | // read or modify the referent for the lifetime `'a`. |
451 | | // - `Shared`: Since `self` has aliasing `Shared`, we know that |
452 | | // no other code may mutate the referent during the lifetime |
453 | | // `'a`, except via `UnsafeCell`s, and except as permitted by |
454 | | // `T`'s library safety invariants. The caller promises that |
455 | | // any safe operations which can be permitted on a `&T` and a |
456 | | // `&U` simultaneously must be sound. Thus, no operations on a |
457 | | // `&U` could violate `&T`'s library safety invariants, and |
458 | | // vice-versa. Since any mutation via shared references outside |
459 | | // of `UnsafeCell`s is unsound, this must be impossible using |
460 | | // `&T` and `&U`. |
461 | | // - `Inaccessible`: There are no restrictions we need to uphold. |
462 | | // 1. `ptr` trivially satisfies the alignment invariant `Unaligned`. |
463 | | // 2. The caller promises that `ptr` conforms to the validity |
464 | | // invariant `V` with respect to its referent type, `U`. |
465 | 0 | unsafe { Ptr::from_inner(ptr) } |
466 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, zerocopy::pointer::invariant::Valid, <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, zerocopy::pointer::invariant::Initialized, <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, zerocopy::pointer::invariant::Initialized, <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, zerocopy::pointer::invariant::Valid, <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]> as zerocopy::pointer::transmute::SizeEq<[half::binary16::f16]>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, zerocopy::pointer::invariant::Valid, <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, zerocopy::pointer::invariant::Initialized, <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, zerocopy::pointer::invariant::Initialized, <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<[half::binary16::f16], (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)>>::transmute_unchecked::<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, zerocopy::pointer::invariant::Valid, <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]> as zerocopy::pointer::transmute::SizeEq<[half::binary16::f16]>>::cast_from_raw> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::transmute_unchecked::<_, _, _> |
467 | | } |
468 | | |
469 | | /// `Ptr<'a, T, (_, _, _)>` → `Ptr<'a, Unalign<T>, (_, Aligned, _)>` |
470 | | impl<'a, T, I> Ptr<'a, T, I> |
471 | | where |
472 | | I: Invariants, |
473 | | { |
474 | | /// Converts a `Ptr` an unaligned `T` into a `Ptr` to an aligned |
475 | | /// `Unalign<T>`. |
476 | 0 | pub(crate) fn into_unalign( |
477 | 0 | self, |
478 | 0 | ) -> Ptr<'a, crate::Unalign<T>, (I::Aliasing, Aligned, I::Validity)> { |
479 | | // SAFETY: |
480 | | // - This cast preserves provenance. |
481 | | // - This cast preserves address. `Unalign<T>` promises to have the |
482 | | // same size as `T`, and so the cast returns a pointer addressing |
483 | | // the same byte range as `p`. |
484 | | // - By the same argument, the returned pointer refers to |
485 | | // `UnsafeCell`s at the same locations as `p`. |
486 | | // - `Unalign<T>` promises to have the same bit validity as `T`. By |
487 | | // invariant on `Validity`, the set of bit patterns allowed in the |
488 | | // referent of a `Ptr<X, (_, _, V)>` is only a function of the |
489 | | // validity of `X` and of `V`. Thus, the set of bit patterns |
490 | | // allowed in the referent of a `Ptr<T, (_, _, I::Validity)>` is |
491 | | // the same as the set of bit patterns allowed in the referent of |
492 | | // a `Ptr<Unalign<T>, (_, _, I::Validity)>`. As a result, `self` |
493 | | // and the returned `Ptr` permit the same set of bit patterns in |
494 | | // their referents, and so neither can be used to violate the |
495 | | // validity of the other. |
496 | 0 | let ptr = unsafe { self.transmute_unchecked(PtrInner::cast_sized) }; |
497 | 0 | ptr.bikeshed_recall_aligned() |
498 | 0 | } |
499 | | } |
500 | | |
501 | | impl<'a, T, I> Ptr<'a, T, I> |
502 | | where |
503 | | T: ?Sized, |
504 | | I: Invariants<Validity = Valid>, |
505 | | I::Aliasing: Reference, |
506 | | { |
507 | | /// Reads the referent. |
508 | | #[must_use] |
509 | | #[inline] |
510 | 0 | pub fn read_unaligned<R>(self) -> T |
511 | 0 | where |
512 | 0 | T: Copy, |
513 | 0 | T: Read<I::Aliasing, R>, |
514 | | { |
515 | 0 | (*self.into_unalign().as_ref()).into_inner() |
516 | 0 | } |
517 | | |
518 | | /// Views the value as an aligned reference. |
519 | | /// |
520 | | /// This is only available if `T` is [`Unaligned`]. |
521 | | #[must_use] |
522 | | #[inline] |
523 | 0 | pub fn unaligned_as_ref(self) -> &'a T |
524 | 0 | where |
525 | 0 | T: crate::Unaligned, |
526 | | { |
527 | 0 | self.bikeshed_recall_aligned().as_ref() |
528 | 0 | } |
529 | | } |
530 | | } |
531 | | |
532 | | /// State transitions between invariants. |
533 | | mod _transitions { |
534 | | use super::*; |
535 | | use crate::pointer::transmute::TryTransmuteFromPtr; |
536 | | |
537 | | impl<'a, T, I> Ptr<'a, T, I> |
538 | | where |
539 | | T: 'a + ?Sized, |
540 | | I: Invariants, |
541 | | { |
542 | | /// Returns a `Ptr` with [`Exclusive`] aliasing if `self` already has |
543 | | /// `Exclusive` aliasing, or generates a compile-time assertion failure. |
544 | | /// |
545 | | /// This allows code which is generic over aliasing to down-cast to a |
546 | | /// concrete aliasing. |
547 | | /// |
548 | | /// [`Exclusive`]: crate::pointer::invariant::Exclusive |
549 | | #[inline] |
550 | 0 | pub(crate) fn into_exclusive_or_pme( |
551 | 0 | self, |
552 | 0 | ) -> Ptr<'a, T, (Exclusive, I::Alignment, I::Validity)> { |
553 | | // NOTE(https://github.com/rust-lang/rust/issues/131625): We do this |
554 | | // rather than just having `Aliasing::IS_EXCLUSIVE` have the panic |
555 | | // behavior because doing it that way causes rustdoc to fail while |
556 | | // attempting to document hidden items (since it evaluates the |
557 | | // constant - and thus panics). |
558 | | trait AliasingExt: Aliasing { |
559 | | const IS_EXCL: bool; |
560 | | } |
561 | | |
562 | | impl<A: Aliasing> AliasingExt for A { |
563 | | const IS_EXCL: bool = { |
564 | | const_assert!(Self::IS_EXCLUSIVE); |
565 | | true |
566 | | }; |
567 | | } |
568 | | |
569 | 0 | assert!(I::Aliasing::IS_EXCL); |
570 | | |
571 | | // SAFETY: We've confirmed that `self` already has the aliasing |
572 | | // `Exclusive`. If it didn't, either the preceding assert would fail |
573 | | // or evaluating `I::Aliasing::IS_EXCL` would fail. We're *pretty* |
574 | | // sure that it's guaranteed to fail const eval, but the `assert!` |
575 | | // provides a backstop in case that doesn't work. |
576 | 0 | unsafe { self.assume_exclusive() } |
577 | 0 | } |
578 | | |
579 | | /// Assumes that `self` satisfies the invariants `H`. |
580 | | /// |
581 | | /// # Safety |
582 | | /// |
583 | | /// The caller promises that `self` satisfies the invariants `H`. |
584 | 0 | unsafe fn assume_invariants<H: Invariants>(self) -> Ptr<'a, T, H> { |
585 | | // SAFETY: The caller has promised to satisfy all parameterized |
586 | | // invariants of `Ptr`. `Ptr`'s other invariants are satisfied |
587 | | // by-contract by the source `Ptr`. |
588 | 0 | unsafe { Ptr::from_inner(self.as_inner()) } |
589 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_invariants::<(zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_invariants::<(zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::assume_invariants::<(zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_invariants::<(zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_invariants::<(zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Aligned, zerocopy::pointer::invariant::Valid)> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::assume_invariants::<(zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::assume_invariants::<_> |
590 | | |
591 | | /// Helps the type system unify two distinct invariant types which are |
592 | | /// actually the same. |
593 | 0 | pub(crate) fn unify_invariants< |
594 | 0 | H: Invariants<Aliasing = I::Aliasing, Alignment = I::Alignment, Validity = I::Validity>, |
595 | 0 | >( |
596 | 0 | self, |
597 | 0 | ) -> Ptr<'a, T, H> { |
598 | | // SAFETY: The associated type bounds on `H` ensure that the |
599 | | // invariants are unchanged. |
600 | 0 | unsafe { self.assume_invariants::<H>() } |
601 | 0 | } |
602 | | |
603 | | /// Assumes that `self` satisfies the aliasing requirement of `A`. |
604 | | /// |
605 | | /// # Safety |
606 | | /// |
607 | | /// The caller promises that `self` satisfies the aliasing requirement |
608 | | /// of `A`. |
609 | | #[inline] |
610 | 0 | pub(crate) unsafe fn assume_aliasing<A: Aliasing>( |
611 | 0 | self, |
612 | 0 | ) -> Ptr<'a, T, (A, I::Alignment, I::Validity)> { |
613 | | // SAFETY: The caller promises that `self` satisfies the aliasing |
614 | | // requirements of `A`. |
615 | 0 | unsafe { self.assume_invariants() } |
616 | 0 | } |
617 | | |
618 | | /// Assumes `self` satisfies the aliasing requirement of [`Exclusive`]. |
619 | | /// |
620 | | /// # Safety |
621 | | /// |
622 | | /// The caller promises that `self` satisfies the aliasing requirement |
623 | | /// of `Exclusive`. |
624 | | /// |
625 | | /// [`Exclusive`]: crate::pointer::invariant::Exclusive |
626 | | #[inline] |
627 | 0 | pub(crate) unsafe fn assume_exclusive( |
628 | 0 | self, |
629 | 0 | ) -> Ptr<'a, T, (Exclusive, I::Alignment, I::Validity)> { |
630 | | // SAFETY: The caller promises that `self` satisfies the aliasing |
631 | | // requirements of `Exclusive`. |
632 | 0 | unsafe { self.assume_aliasing::<Exclusive>() } |
633 | 0 | } |
634 | | |
635 | | /// Assumes that `self`'s referent is validly-aligned for `T` if |
636 | | /// required by `A`. |
637 | | /// |
638 | | /// # Safety |
639 | | /// |
640 | | /// The caller promises that `self`'s referent conforms to the alignment |
641 | | /// invariant of `T` if required by `A`. |
642 | | #[inline] |
643 | 0 | pub(crate) unsafe fn assume_alignment<A: Alignment>( |
644 | 0 | self, |
645 | 0 | ) -> Ptr<'a, T, (I::Aliasing, A, I::Validity)> { |
646 | | // SAFETY: The caller promises that `self`'s referent is |
647 | | // well-aligned for `T` if required by `A` . |
648 | 0 | unsafe { self.assume_invariants() } |
649 | 0 | } Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_alignment::<zerocopy::pointer::invariant::Unaligned> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_alignment::<zerocopy::pointer::invariant::Aligned> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Shared, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::assume_alignment::<zerocopy::pointer::invariant::Unaligned> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_alignment::<zerocopy::pointer::invariant::Unaligned> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Valid)>>::assume_alignment::<zerocopy::pointer::invariant::Aligned> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>, (zerocopy::pointer::invariant::Exclusive, zerocopy::pointer::invariant::Unaligned, zerocopy::pointer::invariant::Initialized)>>::assume_alignment::<zerocopy::pointer::invariant::Unaligned> Unexecuted instantiation: <zerocopy::pointer::ptr::def::Ptr<_, _>>::assume_alignment::<_> |
650 | | |
651 | | /// Checks the `self`'s alignment at runtime, returning an aligned `Ptr` |
652 | | /// on success. |
653 | 0 | pub(crate) fn try_into_aligned( |
654 | 0 | self, |
655 | 0 | ) -> Result<Ptr<'a, T, (I::Aliasing, Aligned, I::Validity)>, AlignmentError<Self, T>> |
656 | 0 | where |
657 | 0 | T: Sized, |
658 | | { |
659 | 0 | if let Err(err) = |
660 | 0 | crate::util::validate_aligned_to::<_, T>(self.as_inner().as_non_null()) |
661 | | { |
662 | 0 | return Err(err.with_src(self)); |
663 | 0 | } |
664 | | |
665 | | // SAFETY: We just checked the alignment. |
666 | 0 | Ok(unsafe { self.assume_alignment::<Aligned>() }) |
667 | 0 | } |
668 | | |
669 | | /// Recalls that `self`'s referent is validly-aligned for `T`. |
670 | | #[inline] |
671 | | // FIXME(#859): Reconsider the name of this method before making it |
672 | | // public. |
673 | 0 | pub(crate) fn bikeshed_recall_aligned( |
674 | 0 | self, |
675 | 0 | ) -> Ptr<'a, T, (I::Aliasing, Aligned, I::Validity)> |
676 | 0 | where |
677 | 0 | T: crate::Unaligned, |
678 | | { |
679 | | // SAFETY: The bound `T: Unaligned` ensures that `T` has no |
680 | | // non-trivial alignment requirement. |
681 | 0 | unsafe { self.assume_alignment::<Aligned>() } |
682 | 0 | } |
683 | | |
684 | | /// Assumes that `self`'s referent conforms to the validity requirement |
685 | | /// of `V`. |
686 | | /// |
687 | | /// # Safety |
688 | | /// |
689 | | /// The caller promises that `self`'s referent conforms to the validity |
690 | | /// requirement of `V`. |
691 | | #[doc(hidden)] |
692 | | #[must_use] |
693 | | #[inline] |
694 | 0 | pub unsafe fn assume_validity<V: Validity>( |
695 | 0 | self, |
696 | 0 | ) -> Ptr<'a, T, (I::Aliasing, I::Alignment, V)> { |
697 | | // SAFETY: The caller promises that `self`'s referent conforms to |
698 | | // the validity requirement of `V`. |
699 | 0 | unsafe { self.assume_invariants() } |
700 | 0 | } |
701 | | |
702 | | /// A shorthand for `self.assume_validity<invariant::Initialized>()`. |
703 | | /// |
704 | | /// # Safety |
705 | | /// |
706 | | /// The caller promises to uphold the safety preconditions of |
707 | | /// `self.assume_validity<invariant::Initialized>()`. |
708 | | #[doc(hidden)] |
709 | | #[must_use] |
710 | | #[inline] |
711 | 0 | pub unsafe fn assume_initialized( |
712 | 0 | self, |
713 | 0 | ) -> Ptr<'a, T, (I::Aliasing, I::Alignment, Initialized)> { |
714 | | // SAFETY: The caller has promised to uphold the safety |
715 | | // preconditions. |
716 | 0 | unsafe { self.assume_validity::<Initialized>() } |
717 | 0 | } |
718 | | |
719 | | /// A shorthand for `self.assume_validity<Valid>()`. |
720 | | /// |
721 | | /// # Safety |
722 | | /// |
723 | | /// The caller promises to uphold the safety preconditions of |
724 | | /// `self.assume_validity<Valid>()`. |
725 | | #[doc(hidden)] |
726 | | #[must_use] |
727 | | #[inline] |
728 | 0 | pub unsafe fn assume_valid(self) -> Ptr<'a, T, (I::Aliasing, I::Alignment, Valid)> { |
729 | | // SAFETY: The caller has promised to uphold the safety |
730 | | // preconditions. |
731 | 0 | unsafe { self.assume_validity::<Valid>() } |
732 | 0 | } |
733 | | |
734 | | /// Recalls that `self`'s referent is initialized. |
735 | | #[doc(hidden)] |
736 | | #[must_use] |
737 | | #[inline] |
738 | | // FIXME(#859): Reconsider the name of this method before making it |
739 | | // public. |
740 | 0 | pub fn bikeshed_recall_initialized_from_bytes( |
741 | 0 | self, |
742 | 0 | ) -> Ptr<'a, T, (I::Aliasing, I::Alignment, Initialized)> |
743 | 0 | where |
744 | 0 | T: crate::IntoBytes + crate::FromBytes, |
745 | 0 | I: Invariants<Validity = Valid>, |
746 | | { |
747 | | // SAFETY: The `T: IntoBytes + FromBytes` bound ensures that `T`'s |
748 | | // bit validity is equivalent to `[u8]`. In other words, the set of |
749 | | // allowed referents for a `Ptr<T, (_, _, Valid)>` is the set of |
750 | | // initialized bit patterns. The same is true of the set of allowed |
751 | | // referents for any `Ptr<_, (_, _, Initialized)>`. Thus, this call |
752 | | // does not change the set of allowed values in the referent. |
753 | 0 | unsafe { self.assume_initialized() } |
754 | 0 | } |
755 | | |
756 | | /// Recalls that `self`'s referent is initialized. |
757 | | #[doc(hidden)] |
758 | | #[must_use] |
759 | | #[inline] |
760 | | // FIXME(#859): Reconsider the name of this method before making it |
761 | | // public. |
762 | 0 | pub fn bikeshed_recall_initialized_immutable( |
763 | 0 | self, |
764 | 0 | ) -> Ptr<'a, T, (Shared, I::Alignment, Initialized)> |
765 | 0 | where |
766 | 0 | T: crate::IntoBytes + crate::Immutable, |
767 | 0 | I: Invariants<Aliasing = Shared, Validity = Valid>, |
768 | | { |
769 | | // SAFETY: Let `O` (for "old") be the set of allowed bit patterns in |
770 | | // `self`'s referent, and let `N` (for "new") be the set of allowed |
771 | | // bit patterns in the referent of the returned `Ptr`. `T: |
772 | | // IntoBytes` and `I: Invariants<Validity = Valid>` ensures that `O` |
773 | | // cannot contain any uninitialized bit patterns. Since the returned |
774 | | // `Ptr` has validity `Initialized`, `N` is equal to the set of all |
775 | | // initialized bit patterns. Thus, `O` is a subset of `N`, and so |
776 | | // the returned `Ptr`'s validity invariant is upheld. |
777 | | // |
778 | | // Since `T: Immutable` and aliasing is `Shared`, the returned `Ptr` |
779 | | // cannot be used to modify the referent. Before this call, `self`'s |
780 | | // referent is guaranteed by invariant on `Ptr` to satisfy `self`'s |
781 | | // validity invariant. Since the returned `Ptr` cannot be used to |
782 | | // modify the referent, this guarantee cannot be violated by the |
783 | | // returned `Ptr` (even if `O` is a strict subset of `N`). |
784 | 0 | unsafe { self.assume_initialized() } |
785 | 0 | } |
786 | | |
787 | | /// Checks that `self`'s referent is validly initialized for `T`, |
788 | | /// returning a `Ptr` with `Valid` on success. |
789 | | /// |
790 | | /// # Panics |
791 | | /// |
792 | | /// This method will panic if |
793 | | /// [`T::is_bit_valid`][TryFromBytes::is_bit_valid] panics. |
794 | | /// |
795 | | /// # Safety |
796 | | /// |
797 | | /// On error, unsafe code may rely on this method's returned |
798 | | /// `ValidityError` containing `self`. |
799 | | #[inline] |
800 | 0 | pub(crate) fn try_into_valid<R, S>( |
801 | 0 | mut self, |
802 | 0 | ) -> Result<Ptr<'a, T, (I::Aliasing, I::Alignment, Valid)>, ValidityError<Self, T>> |
803 | 0 | where |
804 | 0 | T: TryFromBytes |
805 | 0 | + Read<I::Aliasing, R> |
806 | 0 | + TryTransmuteFromPtr<T, I::Aliasing, I::Validity, Valid, S>, |
807 | 0 | I::Aliasing: Reference, |
808 | 0 | I: Invariants<Validity = Initialized>, |
809 | | { |
810 | | // This call may panic. If that happens, it doesn't cause any soundness |
811 | | // issues, as we have not generated any invalid state which we need to |
812 | | // fix before returning. |
813 | 0 | if T::is_bit_valid(self.reborrow().forget_aligned()) { |
814 | | // SAFETY: If `T::is_bit_valid`, code may assume that `self` |
815 | | // contains a bit-valid instance of `T`. By `T: |
816 | | // TryTransmuteFromPtr<T, I::Aliasing, I::Validity, Valid>`, so |
817 | | // long as `self`'s referent conforms to the `Valid` validity |
818 | | // for `T` (which we just confired), then this transmute is |
819 | | // sound. |
820 | 0 | Ok(unsafe { self.assume_valid() }) |
821 | | } else { |
822 | 0 | Err(ValidityError::new(self)) |
823 | | } |
824 | 0 | } |
825 | | |
826 | | /// Forgets that `self`'s referent is validly-aligned for `T`. |
827 | | #[doc(hidden)] |
828 | | #[must_use] |
829 | | #[inline] |
830 | 0 | pub fn forget_aligned(self) -> Ptr<'a, T, (I::Aliasing, Unaligned, I::Validity)> { |
831 | | // SAFETY: `Unaligned` is less restrictive than `Aligned`. |
832 | 0 | unsafe { self.assume_invariants() } |
833 | 0 | } |
834 | | } |
835 | | } |
836 | | |
837 | | /// Casts of the referent type. |
838 | | mod _casts { |
839 | | use super::*; |
840 | | |
841 | | impl<'a, T, I> Ptr<'a, T, I> |
842 | | where |
843 | | T: 'a + ?Sized, |
844 | | I: Invariants, |
845 | | { |
846 | | /// Casts to a different (unsized) target type without checking interior |
847 | | /// mutability. |
848 | | /// |
849 | | /// Callers should prefer [`cast_unsized`] where possible. |
850 | | /// |
851 | | /// [`cast_unsized`]: Ptr::cast_unsized |
852 | | /// |
853 | | /// # Safety |
854 | | /// |
855 | | /// The caller promises that `u = cast(p)` is a pointer cast with the |
856 | | /// following properties: |
857 | | /// - `u` addresses a subset of the bytes addressed by `p` |
858 | | /// - `u` has the same provenance as `p` |
859 | | /// - If `I::Aliasing` is [`Shared`], it must not be possible for safe |
860 | | /// code, operating on a `&T` and `&U` with the same referent |
861 | | /// simultaneously, to cause undefined behavior |
862 | | /// |
863 | | /// `cast_unsized_unchecked` guarantees that the pointer passed to |
864 | | /// `cast` will reference a byte sequence which is either contained |
865 | | /// inside a single allocated object or is zero sized. In either case, |
866 | | /// this means that its size will fit in an `isize` and it will not wrap |
867 | | /// around the address space. |
868 | | #[doc(hidden)] |
869 | | #[inline] |
870 | 0 | pub unsafe fn cast_unsized_unchecked<U, F: FnOnce(PtrInner<'a, T>) -> PtrInner<'a, U>>( |
871 | 0 | self, |
872 | 0 | cast: F, |
873 | 0 | ) -> Ptr<'a, U, (I::Aliasing, Unaligned, I::Validity)> |
874 | 0 | where |
875 | 0 | U: 'a + CastableFrom<T, I::Validity, I::Validity> + ?Sized, |
876 | | { |
877 | | // SAFETY: |
878 | | // - The caller promises that `u = cast(p)` is a pointer which |
879 | | // satisfies: |
880 | | // - `u` addresses a subset of the bytes addressed by `p` |
881 | | // - `u` has the same provenance as `p` |
882 | | // - If `I::Aliasing` is [`Shared`], it must not be possible for |
883 | | // safe code, operating on a `&T` and `&U` with the same |
884 | | // referent simultaneously, to cause undefined behavior |
885 | | // - By `U: CastableFrom<T, I::Validity, I::Validity>`, |
886 | | // `I::Validity` is either `Uninit` or `Initialized`. In both |
887 | | // cases, the bit validity `I::Validity` has the same semantics |
888 | | // regardless of referent type. In other words, the set of allowed |
889 | | // referent values for `Ptr<T, (_, _, I::Validity)>` and `Ptr<U, |
890 | | // (_, _, I::Validity)>` are identical. As a consequence, neither |
891 | | // `self` nor the returned `Ptr` can be used to write values which |
892 | | // are invalid for the other. |
893 | | // |
894 | | // `transmute_unchecked` guarantees that it will only pass pointers |
895 | | // to `cast` which either reference a zero-sized byte range or |
896 | | // reference a byte range which is entirely contained inside of an |
897 | | // allocated object. |
898 | 0 | unsafe { self.transmute_unchecked(cast) } |
899 | 0 | } |
900 | | |
901 | | /// Casts to a different (unsized) target type. |
902 | | /// |
903 | | /// # Safety |
904 | | /// |
905 | | /// The caller promises that `u = cast(p)` is a pointer cast with the |
906 | | /// following properties: |
907 | | /// - `u` addresses a subset of the bytes addressed by `p` |
908 | | /// - `u` has the same provenance as `p` |
909 | | #[doc(hidden)] |
910 | | #[inline] |
911 | 0 | pub unsafe fn cast_unsized<U, F, R>( |
912 | 0 | self, |
913 | 0 | cast: F, |
914 | 0 | ) -> Ptr<'a, U, (I::Aliasing, Unaligned, I::Validity)> |
915 | 0 | where |
916 | 0 | T: MutationCompatible<U, I::Aliasing, I::Validity, I::Validity, R>, |
917 | 0 | U: 'a + ?Sized + CastableFrom<T, I::Validity, I::Validity>, |
918 | 0 | F: FnOnce(PtrInner<'a, T>) -> PtrInner<'a, U>, |
919 | | { |
920 | | // SAFETY: Because `T: MutationCompatible<U, I::Aliasing, R>`, one |
921 | | // of the following holds: |
922 | | // - `T: Read<I::Aliasing>` and `U: Read<I::Aliasing>`, in which |
923 | | // case one of the following holds: |
924 | | // - `I::Aliasing` is `Exclusive` |
925 | | // - `T` and `U` are both `Immutable` |
926 | | // - It is sound for safe code to operate on `&T` and `&U` with the |
927 | | // same referent simultaneously |
928 | | // |
929 | | // The caller promises all other safety preconditions. |
930 | 0 | unsafe { self.cast_unsized_unchecked(cast) } |
931 | 0 | } |
932 | | } |
933 | | |
934 | | impl<'a, T, I> Ptr<'a, T, I> |
935 | | where |
936 | | T: 'a + KnownLayout + ?Sized, |
937 | | I: Invariants<Validity = Initialized>, |
938 | | { |
939 | | /// Casts this pointer-to-initialized into a pointer-to-bytes. |
940 | | #[allow(clippy::wrong_self_convention)] |
941 | | #[must_use] |
942 | | #[inline] |
943 | 0 | pub fn as_bytes<R>(self) -> Ptr<'a, [u8], (I::Aliasing, Aligned, Valid)> |
944 | 0 | where |
945 | 0 | T: Read<I::Aliasing, R>, |
946 | 0 | I::Aliasing: Reference, |
947 | | { |
948 | | // SAFETY: `PtrInner::as_bytes` returns a pointer which addresses |
949 | | // the same byte range as its argument, and which has the same |
950 | | // provenance. |
951 | 0 | let ptr = unsafe { self.cast_unsized(PtrInner::as_bytes) }; |
952 | 0 | ptr.bikeshed_recall_aligned().recall_validity::<Valid, (_, (_, _))>() |
953 | 0 | } |
954 | | } |
955 | | |
956 | | impl<'a, T, I, const N: usize> Ptr<'a, [T; N], I> |
957 | | where |
958 | | T: 'a, |
959 | | I: Invariants, |
960 | | { |
961 | | /// Casts this pointer-to-array into a slice. |
962 | | #[allow(clippy::wrong_self_convention)] |
963 | 0 | pub(crate) fn as_slice(self) -> Ptr<'a, [T], I> { |
964 | 0 | let slice = self.as_inner().as_slice(); |
965 | | // SAFETY: Note that, by post-condition on `PtrInner::as_slice`, |
966 | | // `slice` refers to the same byte range as `self.as_inner()`. |
967 | | // |
968 | | // 0. Thus, `slice` conforms to the aliasing invariant of |
969 | | // `I::Aliasing` because `self` does. |
970 | | // 1. By the above lemma, `slice` conforms to the alignment |
971 | | // invariant of `I::Alignment` because `self` does. |
972 | | // 2. Since `[T; N]` and `[T]` have the same bit validity [1][2], |
973 | | // and since `self` and the returned `Ptr` have the same validity |
974 | | // invariant, neither `self` nor the returned `Ptr` can be used |
975 | | // to write a value to the referent which violates the other's |
976 | | // validity invariant. |
977 | | // |
978 | | // [1] Per https://doc.rust-lang.org/1.81.0/reference/type-layout.html#array-layout: |
979 | | // |
980 | | // An array of `[T; N]` has a size of `size_of::<T>() * N` and the |
981 | | // same alignment of `T`. Arrays are laid out so that the |
982 | | // zero-based `nth` element of the array is offset from the start |
983 | | // of the array by `n * size_of::<T>()` bytes. |
984 | | // |
985 | | // ... |
986 | | // |
987 | | // Slices have the same layout as the section of the array they |
988 | | // slice. |
989 | | // |
990 | | // [2] Per https://doc.rust-lang.org/1.81.0/reference/types/array.html#array-types: |
991 | | // |
992 | | // All elements of arrays are always initialized |
993 | 0 | unsafe { Ptr::from_inner(slice) } |
994 | 0 | } |
995 | | } |
996 | | |
997 | | /// For caller convenience, these methods are generic over alignment |
998 | | /// invariant. In practice, the referent is always well-aligned, because the |
999 | | /// alignment of `[u8]` is 1. |
1000 | | impl<'a, I> Ptr<'a, [u8], I> |
1001 | | where |
1002 | | I: Invariants<Validity = Valid>, |
1003 | | { |
1004 | | /// Attempts to cast `self` to a `U` using the given cast type. |
1005 | | /// |
1006 | | /// If `U` is a slice DST and pointer metadata (`meta`) is provided, |
1007 | | /// then the cast will only succeed if it would produce an object with |
1008 | | /// the given metadata. |
1009 | | /// |
1010 | | /// Returns `None` if the resulting `U` would be invalidly-aligned, if |
1011 | | /// no `U` can fit in `self`, or if the provided pointer metadata |
1012 | | /// describes an invalid instance of `U`. On success, returns a pointer |
1013 | | /// to the largest-possible `U` which fits in `self`. |
1014 | | /// |
1015 | | /// # Safety |
1016 | | /// |
1017 | | /// The caller may assume that this implementation is correct, and may |
1018 | | /// rely on that assumption for the soundness of their code. In |
1019 | | /// particular, the caller may assume that, if `try_cast_into` returns |
1020 | | /// `Some((ptr, remainder))`, then `ptr` and `remainder` refer to |
1021 | | /// non-overlapping byte ranges within `self`, and that `ptr` and |
1022 | | /// `remainder` entirely cover `self`. Finally: |
1023 | | /// - If this is a prefix cast, `ptr` has the same address as `self`. |
1024 | | /// - If this is a suffix cast, `remainder` has the same address as |
1025 | | /// `self`. |
1026 | | #[inline(always)] |
1027 | 0 | pub(crate) fn try_cast_into<U, R>( |
1028 | 0 | self, |
1029 | 0 | cast_type: CastType, |
1030 | 0 | meta: Option<U::PointerMetadata>, |
1031 | 0 | ) -> Result< |
1032 | 0 | (Ptr<'a, U, (I::Aliasing, Aligned, Initialized)>, Ptr<'a, [u8], I>), |
1033 | 0 | CastError<Self, U>, |
1034 | 0 | > |
1035 | 0 | where |
1036 | 0 | I::Aliasing: Reference, |
1037 | 0 | U: 'a + ?Sized + KnownLayout + Read<I::Aliasing, R>, |
1038 | | { |
1039 | 0 | let (inner, remainder) = |
1040 | 0 | self.as_inner().try_cast_into(cast_type, meta).map_err(|err| { |
1041 | 0 | err.map_src(|inner| |
1042 | | // SAFETY: `PtrInner::try_cast_into` promises to return its |
1043 | | // original argument on error, which was originally produced |
1044 | | // by `self.as_inner()`, which is guaranteed to satisfy |
1045 | | // `Ptr`'s invariants. |
1046 | 0 | unsafe { Ptr::from_inner(inner) }) |
1047 | 0 | })?; |
1048 | | |
1049 | | // SAFETY: |
1050 | | // 0. Since `U: Read<I::Aliasing, _>`, either: |
1051 | | // - `I::Aliasing` is `Exclusive`, in which case both `src` and |
1052 | | // `ptr` conform to `Exclusive` |
1053 | | // - `I::Aliasing` is `Shared` and `U` is `Immutable` (we already |
1054 | | // know that `[u8]: Immutable`). In this case, neither `U` nor |
1055 | | // `[u8]` permit mutation, and so `Shared` aliasing is |
1056 | | // satisfied. |
1057 | | // 1. `ptr` conforms to the alignment invariant of `Aligned` because |
1058 | | // it is derived from `try_cast_into`, which promises that the |
1059 | | // object described by `target` is validly aligned for `U`. |
1060 | | // 2. By trait bound, `self` - and thus `target` - is a bit-valid |
1061 | | // `[u8]`. `Ptr<[u8], (_, _, Valid)>` and `Ptr<_, (_, _, |
1062 | | // Initialized)>` have the same bit validity, and so neither |
1063 | | // `self` nor `res` can be used to write a value to the referent |
1064 | | // which violates the other's validity invariant. |
1065 | 0 | let res = unsafe { Ptr::from_inner(inner) }; |
1066 | | |
1067 | | // SAFETY: |
1068 | | // 0. `self` and `remainder` both have the type `[u8]`. Thus, they |
1069 | | // have `UnsafeCell`s at the same locations. Type casting does |
1070 | | // not affect aliasing. |
1071 | | // 1. `[u8]` has no alignment requirement. |
1072 | | // 2. `self` has validity `Valid` and has type `[u8]`. Since |
1073 | | // `remainder` references a subset of `self`'s referent, it is |
1074 | | // also a bit-valid `[u8]`. Thus, neither `self` nor `remainder` |
1075 | | // can be used to write a value to the referent which violates |
1076 | | // the other's validity invariant. |
1077 | 0 | let remainder = unsafe { Ptr::from_inner(remainder) }; |
1078 | | |
1079 | 0 | Ok((res, remainder)) |
1080 | 0 | } |
1081 | | |
1082 | | /// Attempts to cast `self` into a `U`, failing if all of the bytes of |
1083 | | /// `self` cannot be treated as a `U`. |
1084 | | /// |
1085 | | /// In particular, this method fails if `self` is not validly-aligned |
1086 | | /// for `U` or if `self`'s size is not a valid size for `U`. |
1087 | | /// |
1088 | | /// # Safety |
1089 | | /// |
1090 | | /// On success, the caller may assume that the returned pointer |
1091 | | /// references the same byte range as `self`. |
1092 | | #[allow(unused)] |
1093 | | #[inline(always)] |
1094 | 0 | pub(crate) fn try_cast_into_no_leftover<U, R>( |
1095 | 0 | self, |
1096 | 0 | meta: Option<U::PointerMetadata>, |
1097 | 0 | ) -> Result<Ptr<'a, U, (I::Aliasing, Aligned, Initialized)>, CastError<Self, U>> |
1098 | 0 | where |
1099 | 0 | I::Aliasing: Reference, |
1100 | 0 | U: 'a + ?Sized + KnownLayout + Read<I::Aliasing, R>, |
1101 | | { |
1102 | | // FIXME(#67): Remove this allow. See NonNulSlicelExt for more |
1103 | | // details. |
1104 | | #[allow(unstable_name_collisions)] |
1105 | 0 | match self.try_cast_into(CastType::Prefix, meta) { |
1106 | 0 | Ok((slf, remainder)) => { |
1107 | 0 | if remainder.len() == 0 { |
1108 | 0 | Ok(slf) |
1109 | | } else { |
1110 | | // Undo the cast so we can return the original bytes. |
1111 | 0 | let slf = slf.as_bytes(); |
1112 | | // Restore the initial alignment invariant of `self`. |
1113 | | // |
1114 | | // SAFETY: The referent type of `slf` is now equal to |
1115 | | // that of `self`, but the alignment invariants |
1116 | | // nominally differ. Since `slf` and `self` refer to the |
1117 | | // same memory and no actions have been taken that would |
1118 | | // violate the original invariants on `self`, it is |
1119 | | // sound to apply the alignment invariant of `self` onto |
1120 | | // `slf`. |
1121 | 0 | let slf = unsafe { slf.assume_alignment::<I::Alignment>() }; |
1122 | 0 | let slf = slf.unify_invariants(); |
1123 | 0 | Err(CastError::Size(SizeError::<_, U>::new(slf))) |
1124 | | } |
1125 | | } |
1126 | 0 | Err(err) => Err(err), |
1127 | | } |
1128 | 0 | } |
1129 | | } |
1130 | | |
1131 | | impl<'a, T, I> Ptr<'a, core::cell::UnsafeCell<T>, I> |
1132 | | where |
1133 | | T: 'a + ?Sized, |
1134 | | I: Invariants<Aliasing = Exclusive>, |
1135 | | { |
1136 | | /// Converts this `Ptr` into a pointer to the underlying data. |
1137 | | /// |
1138 | | /// This call borrows the `UnsafeCell` mutably (at compile-time) which |
1139 | | /// guarantees that we possess the only reference. |
1140 | | /// |
1141 | | /// This is like [`UnsafeCell::get_mut`], but for `Ptr`. |
1142 | | /// |
1143 | | /// [`UnsafeCell::get_mut`]: core::cell::UnsafeCell::get_mut |
1144 | | #[must_use] |
1145 | | #[inline(always)] |
1146 | 0 | pub fn get_mut(self) -> Ptr<'a, T, I> { |
1147 | | // SAFETY: |
1148 | | // - The closure uses an `as` cast, which preserves address range |
1149 | | // and provenance. |
1150 | | // - Aliasing is `Exclusive`, and so we are not required to promise |
1151 | | // anything about the locations of `UnsafeCell`s. |
1152 | | // - `UnsafeCell<T>` has the same bit validity as `T` [1]. |
1153 | | // Technically the term "representation" doesn't guarantee this, |
1154 | | // but the subsequent sentence in the documentation makes it clear |
1155 | | // that this is the intention. |
1156 | | // |
1157 | | // By invariant on `Validity`, since `T` and `UnsafeCell<T>` have |
1158 | | // the same bit validity, then the set of values which may appear |
1159 | | // in the referent of a `Ptr<T, (_, _, V)>` is the same as the set |
1160 | | // which may appear in the referent of a `Ptr<UnsafeCell<T>, (_, |
1161 | | // _, V)>`. Thus, neither `self` nor `ptr` may be used to write a |
1162 | | // value to the referent which would violate the other's validity |
1163 | | // invariant. |
1164 | | // |
1165 | | // [1] Per https://doc.rust-lang.org/1.81.0/core/cell/struct.UnsafeCell.html#memory-layout: |
1166 | | // |
1167 | | // `UnsafeCell<T>` has the same in-memory representation as its |
1168 | | // inner type `T`. A consequence of this guarantee is that it is |
1169 | | // possible to convert between `T` and `UnsafeCell<T>`. |
1170 | | #[allow(clippy::as_conversions)] |
1171 | 0 | let ptr = unsafe { self.transmute_unchecked(|ptr| cast!(ptr)) }; |
1172 | | |
1173 | | // SAFETY: `UnsafeCell<T>` has the same alignment as `T` [1], |
1174 | | // and so if `self` is guaranteed to be aligned, then so is the |
1175 | | // returned `Ptr`. |
1176 | | // |
1177 | | // [1] Per https://doc.rust-lang.org/1.81.0/core/cell/struct.UnsafeCell.html#memory-layout: |
1178 | | // |
1179 | | // `UnsafeCell<T>` has the same in-memory representation as |
1180 | | // its inner type `T`. A consequence of this guarantee is that |
1181 | | // it is possible to convert between `T` and `UnsafeCell<T>`. |
1182 | 0 | let ptr = unsafe { ptr.assume_alignment::<I::Alignment>() }; |
1183 | 0 | ptr.unify_invariants() |
1184 | 0 | } |
1185 | | } |
1186 | | } |
1187 | | |
1188 | | /// Projections through the referent. |
1189 | | mod _project { |
1190 | | use super::*; |
1191 | | |
1192 | | impl<'a, T, I> Ptr<'a, [T], I> |
1193 | | where |
1194 | | T: 'a, |
1195 | | I: Invariants, |
1196 | | I::Aliasing: Reference, |
1197 | | { |
1198 | | /// Iteratively projects the elements `Ptr<T>` from `Ptr<[T]>`. |
1199 | 0 | pub(crate) fn iter(&self) -> impl Iterator<Item = Ptr<'a, T, I>> { |
1200 | | // SAFETY: |
1201 | | // 0. `elem` conforms to the aliasing invariant of `I::Aliasing` |
1202 | | // because projection does not impact the aliasing invariant. |
1203 | | // 1. `elem`, conditionally, conforms to the validity invariant of |
1204 | | // `I::Alignment`. If `elem` is projected from data well-aligned |
1205 | | // for `[T]`, `elem` will be valid for `T`. |
1206 | | // 2. FIXME: Need to cite facts about `[T]`'s layout (same for the |
1207 | | // preceding points) |
1208 | 0 | self.as_inner().iter().map(|elem| unsafe { Ptr::from_inner(elem) }) |
1209 | 0 | } |
1210 | | } |
1211 | | |
1212 | | #[allow(clippy::needless_lifetimes)] |
1213 | | impl<'a, T, I> Ptr<'a, T, I> |
1214 | | where |
1215 | | T: 'a + ?Sized + KnownLayout<PointerMetadata = usize>, |
1216 | | I: Invariants, |
1217 | | { |
1218 | | /// The number of slice elements in the object referenced by `self`. |
1219 | 0 | pub(crate) fn len(&self) -> usize { |
1220 | 0 | self.as_inner().meta().get() |
1221 | 0 | } |
1222 | | } |
1223 | | } |
1224 | | |
1225 | | #[cfg(test)] |
1226 | | mod tests { |
1227 | | use core::mem::{self, MaybeUninit}; |
1228 | | |
1229 | | use super::*; |
1230 | | #[allow(unused)] // Needed on our MSRV, but considered unused on later toolchains. |
1231 | | use crate::util::AsAddress; |
1232 | | use crate::{pointer::BecauseImmutable, util::testutil::AU64, FromBytes, Immutable}; |
1233 | | |
1234 | | mod test_ptr_try_cast_into_soundness { |
1235 | | use super::*; |
1236 | | |
1237 | | // This test is designed so that if `Ptr::try_cast_into_xxx` are |
1238 | | // buggy, it will manifest as unsoundness that Miri can detect. |
1239 | | |
1240 | | // - If `size_of::<T>() == 0`, `N == 4` |
1241 | | // - Else, `N == 4 * size_of::<T>()` |
1242 | | // |
1243 | | // Each test will be run for each metadata in `metas`. |
1244 | | fn test<T, I, const N: usize>(metas: I) |
1245 | | where |
1246 | | T: ?Sized + KnownLayout + Immutable + FromBytes, |
1247 | | I: IntoIterator<Item = Option<T::PointerMetadata>> + Clone, |
1248 | | { |
1249 | | let mut bytes = [MaybeUninit::<u8>::uninit(); N]; |
1250 | | let initialized = [MaybeUninit::new(0u8); N]; |
1251 | | for start in 0..=bytes.len() { |
1252 | | for end in start..=bytes.len() { |
1253 | | // Set all bytes to uninitialized other than those in |
1254 | | // the range we're going to pass to `try_cast_from`. |
1255 | | // This allows Miri to detect out-of-bounds reads |
1256 | | // because they read uninitialized memory. Without this, |
1257 | | // some out-of-bounds reads would still be in-bounds of |
1258 | | // `bytes`, and so might spuriously be accepted. |
1259 | | bytes = [MaybeUninit::<u8>::uninit(); N]; |
1260 | | let bytes = &mut bytes[start..end]; |
1261 | | // Initialize only the byte range we're going to pass to |
1262 | | // `try_cast_from`. |
1263 | | bytes.copy_from_slice(&initialized[start..end]); |
1264 | | |
1265 | | let bytes = { |
1266 | | let bytes: *const [MaybeUninit<u8>] = bytes; |
1267 | | #[allow(clippy::as_conversions)] |
1268 | | let bytes = bytes as *const [u8]; |
1269 | | // SAFETY: We just initialized these bytes to valid |
1270 | | // `u8`s. |
1271 | | unsafe { &*bytes } |
1272 | | }; |
1273 | | |
1274 | | // SAFETY: The bytes in `slf` must be initialized. |
1275 | | unsafe fn validate_and_get_len< |
1276 | | T: ?Sized + KnownLayout + FromBytes + Immutable, |
1277 | | >( |
1278 | | slf: Ptr<'_, T, (Shared, Aligned, Initialized)>, |
1279 | | ) -> usize { |
1280 | | let t = slf.recall_validity().as_ref(); |
1281 | | |
1282 | | let bytes = { |
1283 | | let len = mem::size_of_val(t); |
1284 | | let t: *const T = t; |
1285 | | // SAFETY: |
1286 | | // - We know `t`'s bytes are all initialized |
1287 | | // because we just read it from `slf`, which |
1288 | | // points to an initialized range of bytes. If |
1289 | | // there's a bug and this doesn't hold, then |
1290 | | // that's exactly what we're hoping Miri will |
1291 | | // catch! |
1292 | | // - Since `T: FromBytes`, `T` doesn't contain |
1293 | | // any `UnsafeCell`s, so it's okay for `t: T` |
1294 | | // and a `&[u8]` to the same memory to be |
1295 | | // alive concurrently. |
1296 | | unsafe { core::slice::from_raw_parts(t.cast::<u8>(), len) } |
1297 | | }; |
1298 | | |
1299 | | // This assertion ensures that `t`'s bytes are read |
1300 | | // and compared to another value, which in turn |
1301 | | // ensures that Miri gets a chance to notice if any |
1302 | | // of `t`'s bytes are uninitialized, which they |
1303 | | // shouldn't be (see the comment above). |
1304 | | assert_eq!(bytes, vec![0u8; bytes.len()]); |
1305 | | |
1306 | | mem::size_of_val(t) |
1307 | | } |
1308 | | |
1309 | | for meta in metas.clone().into_iter() { |
1310 | | for cast_type in [CastType::Prefix, CastType::Suffix] { |
1311 | | if let Ok((slf, remaining)) = Ptr::from_ref(bytes) |
1312 | | .try_cast_into::<T, BecauseImmutable>(cast_type, meta) |
1313 | | { |
1314 | | // SAFETY: All bytes in `bytes` have been |
1315 | | // initialized. |
1316 | | let len = unsafe { validate_and_get_len(slf) }; |
1317 | | assert_eq!(remaining.len(), bytes.len() - len); |
1318 | | #[allow(unstable_name_collisions)] |
1319 | | let bytes_addr = bytes.as_ptr().addr(); |
1320 | | #[allow(unstable_name_collisions)] |
1321 | | let remaining_addr = |
1322 | | remaining.as_inner().as_non_null().as_ptr().addr(); |
1323 | | match cast_type { |
1324 | | CastType::Prefix => { |
1325 | | assert_eq!(remaining_addr, bytes_addr + len) |
1326 | | } |
1327 | | CastType::Suffix => assert_eq!(remaining_addr, bytes_addr), |
1328 | | } |
1329 | | |
1330 | | if let Some(want) = meta { |
1331 | | let got = KnownLayout::pointer_to_metadata( |
1332 | | slf.as_inner().as_non_null().as_ptr(), |
1333 | | ); |
1334 | | assert_eq!(got, want); |
1335 | | } |
1336 | | } |
1337 | | } |
1338 | | |
1339 | | if let Ok(slf) = Ptr::from_ref(bytes) |
1340 | | .try_cast_into_no_leftover::<T, BecauseImmutable>(meta) |
1341 | | { |
1342 | | // SAFETY: All bytes in `bytes` have been |
1343 | | // initialized. |
1344 | | let len = unsafe { validate_and_get_len(slf) }; |
1345 | | assert_eq!(len, bytes.len()); |
1346 | | |
1347 | | if let Some(want) = meta { |
1348 | | let got = KnownLayout::pointer_to_metadata( |
1349 | | slf.as_inner().as_non_null().as_ptr(), |
1350 | | ); |
1351 | | assert_eq!(got, want); |
1352 | | } |
1353 | | } |
1354 | | } |
1355 | | } |
1356 | | } |
1357 | | } |
1358 | | |
1359 | | #[derive(FromBytes, KnownLayout, Immutable)] |
1360 | | #[repr(C)] |
1361 | | struct SliceDst<T> { |
1362 | | a: u8, |
1363 | | trailing: [T], |
1364 | | } |
1365 | | |
1366 | | // Each test case becomes its own `#[test]` function. We do this because |
1367 | | // this test in particular takes far, far longer to execute under Miri |
1368 | | // than all of our other tests combined. Previously, we had these |
1369 | | // execute sequentially in a single test function. We run Miri tests in |
1370 | | // parallel in CI, but this test being sequential meant that most of |
1371 | | // that parallelism was wasted, as all other tests would finish in a |
1372 | | // fraction of the total execution time, leaving this test to execute on |
1373 | | // a single thread for the remainder of the test. By putting each test |
1374 | | // case in its own function, we permit better use of available |
1375 | | // parallelism. |
1376 | | macro_rules! test { |
1377 | | ($test_name:ident: $ty:ty) => { |
1378 | | #[test] |
1379 | | #[allow(non_snake_case)] |
1380 | | fn $test_name() { |
1381 | | const S: usize = core::mem::size_of::<$ty>(); |
1382 | | const N: usize = if S == 0 { 4 } else { S * 4 }; |
1383 | | test::<$ty, _, N>([None]); |
1384 | | |
1385 | | // If `$ty` is a ZST, then we can't pass `None` as the |
1386 | | // pointer metadata, or else computing the correct trailing |
1387 | | // slice length will panic. |
1388 | | if S == 0 { |
1389 | | test::<[$ty], _, N>([Some(0), Some(1), Some(2), Some(3)]); |
1390 | | test::<SliceDst<$ty>, _, N>([Some(0), Some(1), Some(2), Some(3)]); |
1391 | | } else { |
1392 | | test::<[$ty], _, N>([None, Some(0), Some(1), Some(2), Some(3)]); |
1393 | | test::<SliceDst<$ty>, _, N>([None, Some(0), Some(1), Some(2), Some(3)]); |
1394 | | } |
1395 | | } |
1396 | | }; |
1397 | | ($ty:ident) => { |
1398 | | test!($ty: $ty); |
1399 | | }; |
1400 | | ($($ty:ident),*) => { $(test!($ty);)* } |
1401 | | } |
1402 | | |
1403 | | test!(empty_tuple: ()); |
1404 | | test!(u8, u16, u32, u64, u128, usize, AU64); |
1405 | | test!(i8, i16, i32, i64, i128, isize); |
1406 | | test!(f32, f64); |
1407 | | } |
1408 | | |
1409 | | #[test] |
1410 | | fn test_try_cast_into_explicit_count() { |
1411 | | macro_rules! test { |
1412 | | ($ty:ty, $bytes:expr, $elems:expr, $expect:expr) => {{ |
1413 | | let bytes = [0u8; $bytes]; |
1414 | | let ptr = Ptr::from_ref(&bytes[..]); |
1415 | | let res = |
1416 | | ptr.try_cast_into::<$ty, BecauseImmutable>(CastType::Prefix, Some($elems)); |
1417 | | if let Some(expect) = $expect { |
1418 | | let (ptr, _) = res.unwrap(); |
1419 | | assert_eq!( |
1420 | | KnownLayout::pointer_to_metadata(ptr.as_inner().as_non_null().as_ptr()), |
1421 | | expect |
1422 | | ); |
1423 | | } else { |
1424 | | let _ = res.unwrap_err(); |
1425 | | } |
1426 | | }}; |
1427 | | } |
1428 | | |
1429 | | #[derive(KnownLayout, Immutable)] |
1430 | | #[repr(C)] |
1431 | | struct ZstDst { |
1432 | | u: [u8; 8], |
1433 | | slc: [()], |
1434 | | } |
1435 | | |
1436 | | test!(ZstDst, 8, 0, Some(0)); |
1437 | | test!(ZstDst, 7, 0, None); |
1438 | | |
1439 | | test!(ZstDst, 8, usize::MAX, Some(usize::MAX)); |
1440 | | test!(ZstDst, 7, usize::MAX, None); |
1441 | | |
1442 | | #[derive(KnownLayout, Immutable)] |
1443 | | #[repr(C)] |
1444 | | struct Dst { |
1445 | | u: [u8; 8], |
1446 | | slc: [u8], |
1447 | | } |
1448 | | |
1449 | | test!(Dst, 8, 0, Some(0)); |
1450 | | test!(Dst, 7, 0, None); |
1451 | | |
1452 | | test!(Dst, 9, 1, Some(1)); |
1453 | | test!(Dst, 8, 1, None); |
1454 | | |
1455 | | // If we didn't properly check for overflow, this would cause the |
1456 | | // metadata to overflow to 0, and thus the cast would spuriously |
1457 | | // succeed. |
1458 | | test!(Dst, 8, usize::MAX - 8 + 1, None); |
1459 | | } |
1460 | | } |