Merge pull request #10 from RalfJung/addr

use transmute for ptr.addr
Gankra · Jun 8, 2022 · 872e0f1 · 872e0f1
2 parents 796f0f2 + 9373c80
commit 872e0f1
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -604,7 +604,9 @@ impl<T> Strict for *mut T {
         T: Sized,
     {
         // FIXME(strict_provenance_magic): I am magic and should be a compiler intrinsic.
-        self as usize
+        // SAFETY: Pointer-to-integer transmutes are valid (if you are okay with losing the
+        // provenance).
+        unsafe { core::mem::transmute(self) }
     }
 
     #[must_use]
@@ -658,7 +660,9 @@ impl<T> Strict for *const T {
         T: Sized,
     {
         // FIXME(strict_provenance_magic): I am magic and should be a compiler intrinsic.
-        self as usize
+        // SAFETY: Pointer-to-integer transmutes are valid (if you are okay with losing the
+        // provenance).
+        unsafe { core::mem::transmute(self) }
     }
 
     #[must_use]