offset can be zero

japaric · japaric · commit 46d1361f72b0 · 2021-08-26T13:57:01.000+02:00
diff --git a/src/pool/cas.rs b/src/pool/cas.rs
@@ -177,7 +177,8 @@ impl<T> Ptr<T> {
     }
 
     pub fn dangling() -> Self {
-        unsafe { Self::from_parts(initial_tag_value(), core::mem::align_of::<T>() as i32) }
+        // `anchor()` returns a well-aligned pointer so an offset of 0 will also produce a well-aligned pointer
+        unsafe { Self::from_parts(initial_tag_value(), 0) }
     }
 
     pub unsafe fn as_ref(&self) -> &T {

Original file line number	Diff line number	Diff line change
`@@ -177,7 +177,8 @@ impl<T> Ptr<T> {`
`177`	`177`	`}`
`178`	`178`
`179`	`179`	`pub fn dangling() -> Self {`
`180`		`- unsafe { Self::from_parts(initial_tag_value(), core::mem::align_of::<T>() as i32) }`
	`180`	+ // `anchor()` returns a well-aligned pointer so an offset of 0 will also produce a well-aligned pointer
	`181`	`+ unsafe { Self::from_parts(initial_tag_value(), 0) }`
`181`	`182`	`}`
`182`	`183`
`183`	`184`	`pub unsafe fn as_ref(&self) -> &T {`