mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

move const fn with a null check into const_ptr_is_null gate

Browse Source
This commit is contained in:
Ralf Jung 2024-09-09 20:09:13 +02:00
parent 720bd0dd6c
commit e10224a7c3
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/core/src/ptr/const_ptr.rs
View File

@ -268,7 +268,7 @@ impl<T: ?Sized> *const T {
/// } /// }
/// ``` /// ```
#[stable(feature = "ptr_as_ref", since = "1.9.0")] #[stable(feature = "ptr_as_ref", since = "1.9.0")]
#[rustc_const_unstable(feature = "const_ptr_as_ref", issue = "91822")] #[rustc_const_unstable(feature = "const_ptr_is_null", issue = "74939")]
#[inline] #[inline]
pub const unsafe fn as_ref<'a>(self) -> Option<&'a T> { pub const unsafe fn as_ref<'a>(self) -> Option<&'a T> {
// SAFETY: the caller must guarantee that `self` is valid // SAFETY: the caller must guarantee that `self` is valid

4
library/core/src/ptr/mut_ptr.rs
View File

@ -276,7 +276,7 @@ impl<T: ?Sized> *mut T {
/// } /// }
/// ``` /// ```
#[stable(feature = "ptr_as_ref", since = "1.9.0")] #[stable(feature = "ptr_as_ref", since = "1.9.0")]
#[rustc_const_unstable(feature = "const_ptr_as_ref", issue = "91822")] #[rustc_const_unstable(feature = "const_ptr_is_null", issue = "74939")]
#[inline] #[inline]
pub const unsafe fn as_ref<'a>(self) -> Option<&'a T> { pub const unsafe fn as_ref<'a>(self) -> Option<&'a T> {
// SAFETY: the caller must guarantee that `self` is valid for a // SAFETY: the caller must guarantee that `self` is valid for a
@ -595,7 +595,7 @@ impl<T: ?Sized> *mut T {
/// println!("{s:?}"); // It'll print: "[4, 2, 3]". /// println!("{s:?}"); // It'll print: "[4, 2, 3]".
/// ``` /// ```
#[stable(feature = "ptr_as_ref", since = "1.9.0")] #[stable(feature = "ptr_as_ref", since = "1.9.0")]
#[rustc_const_unstable(feature = "const_ptr_as_ref", issue = "91822")] #[rustc_const_unstable(feature = "const_ptr_is_null", issue = "74939")]
#[inline] #[inline]
pub const unsafe fn as_mut<'a>(self) -> Option<&'a mut T> { pub const unsafe fn as_mut<'a>(self) -> Option<&'a mut T> {
// SAFETY: the caller must guarantee that `self` is be valid for // SAFETY: the caller must guarantee that `self` is be valid for