File tree 1 file changed +7
-18
lines changed
1 file changed +7
-18
lines changed Original file line number Diff line number Diff line change @@ -2969,32 +2969,21 @@ declare_lint! {
2969
2969
/// which causes [undefined behavior].
2970
2970
///
2971
2971
/// ### Example
2972
+ ///
2972
2973
/// ```rust,no_run
2974
+ /// # #![allow(unused)]
2973
2975
/// unsafe {
2974
- /// &*core::ptr::null::<i32>()
2975
- /// };
2976
- /// ```
2977
- /// ```rust,no_run
2978
- /// unsafe {
2979
- /// core::ptr::addr_of!(*std::ptr::null::<i32>())
2980
- /// };
2981
- /// ```
2982
- /// ```rust,no_run
2983
- /// unsafe {
2984
- /// *core::ptr::null::<i32>()
2985
- /// };
2986
- /// ```
2987
- /// ```rust,no_run
2988
- /// unsafe {
2989
- /// *(0 as *const i32)
2990
- /// };
2976
+ /// let x = &*core::ptr::null::<i32>();
2977
+ /// let x = core::ptr::addr_of!(*std::ptr::null::<i32>());
2978
+ /// let x = *core::ptr::null::<i32>();
2979
+ /// let x = *(0 as *const i32);
2980
+ /// }
2991
2981
/// ```
2992
2982
///
2993
2983
/// {{produces}}
2994
2984
///
2995
2985
/// ### Explanation
2996
2986
///
2997
- ///
2998
2987
/// Dereferencing a null pointer causes [undefined behavior] even as a place expression,
2999
2988
/// like `&*(0 as *const i32)` or `addr_of!(*(0 as *const i32))`.
3000
2989
///
You can’t perform that action at this time.
0 commit comments