diff --git a/src/libcore/intrinsics.rs b/src/libcore/intrinsics.rs index 8e3180cd2a6f..daa43337fd79 100644 --- a/src/libcore/intrinsics.rs +++ b/src/libcore/intrinsics.rs @@ -975,7 +975,7 @@ extern "rust-intrinsic" { /// The caller must ensure that `src` points to a valid sequence of type /// `T`. /// - /// # [Undefined Behavior] + /// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -998,8 +998,6 @@ extern "rust-intrinsic" { /// copies of `T`, regardless of whether `T: Copy`, which can result in /// undefined behavior if both copies are used. /// - /// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html - /// /// # Examples /// /// Manually implement [`Vec::append`]: @@ -1065,7 +1063,7 @@ extern "rust-intrinsic" { /// `copy` is unsafe because it dereferences a raw pointer. The caller must /// ensure that `src` points to a valid sequence of type `T`. /// - /// # [Undefined Behavior] + /// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -1086,7 +1084,6 @@ extern "rust-intrinsic" { /// can result in undefined behavior if both copies are used. /// /// [`Copy`]: ../marker/trait.Copy.html - /// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html /// /// # Examples /// @@ -1118,7 +1115,7 @@ extern "rust-intrinsic" { /// `write_bytes` is unsafe because it dereferences a raw pointer. The /// caller must ensure that the poiinter points to a valid value of type `T`. /// - /// # [Undefined Behavior] + /// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// diff --git a/src/libcore/ptr.rs b/src/libcore/ptr.rs index 9069feab06c8..4cb9c655441d 100644 --- a/src/libcore/ptr.rs +++ b/src/libcore/ptr.rs @@ -57,7 +57,7 @@ pub use intrinsics::write_bytes; /// `drop_in_place` is unsafe because it dereferences a raw pointer. The caller /// must ensure that the pointer points to a valid value of type `T`. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -73,7 +73,6 @@ pub use intrinsics::write_bytes; /// /// [`Copy`]: ../marker/trait.Copy.html /// [`write`]: ./fn.write.html -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html /// /// # Examples /// @@ -157,7 +156,7 @@ pub const fn null_mut() -> *mut T { 0 as *mut T } /// `swap` is unsafe because it dereferences a raw pointer. The caller must /// ensure that both pointers point to valid values of type `T`. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -165,8 +164,6 @@ pub const fn null_mut() -> *mut T { 0 as *mut T } /// /// * `x` and `y` must be properly aligned. /// -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html -/// /// # Examples /// /// Swapping two non-overlapping regions: @@ -317,7 +314,7 @@ unsafe fn swap_nonoverlapping_bytes(x: *mut u8, y: *mut u8, len: usize) { /// /// [`mem::replace`]: ../mem/fn.replace.html /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -325,8 +322,6 @@ unsafe fn swap_nonoverlapping_bytes(x: *mut u8, y: *mut u8, len: usize) { /// /// * `dest` must be properly aligned. /// -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html -/// /// # Examples /// /// ``` @@ -358,7 +353,7 @@ pub unsafe fn replace(dest: *mut T, mut src: T) -> T { /// `read` is unsafe because it dereferences a raw pointer. The caller /// must ensure that the pointer points to a valid value of type `T`. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -377,7 +372,6 @@ pub unsafe fn replace(dest: *mut T, mut src: T) -> T { /// [`Copy`]: ../marker/trait.Copy.html /// [`read_unaligned`]: ./fn.read_unaligned.html /// [`write`]: ./fn.write.html -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html /// /// # Examples /// @@ -447,7 +441,7 @@ pub unsafe fn read(src: *const T) -> T { /// `read_unaligned` is unsafe because it dereferences a raw pointer. The caller /// must ensure that the pointer points to a valid value of type `T`. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -463,7 +457,6 @@ pub unsafe fn read(src: *const T) -> T { /// /// [`Copy`]: ../marker/trait.Copy.html /// [`write_unaligned`]: ./fn.write_unaligned.html -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html /// /// # Examples /// @@ -530,7 +523,7 @@ pub unsafe fn read_unaligned(src: *const T) -> T { /// /// `write` is unsafe because it dereferences a raw pointer. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// `write` can trigger undefined behavior if any of the following conditions /// are violated: @@ -540,7 +533,6 @@ pub unsafe fn read_unaligned(src: *const T) -> T { /// * `dst` must be properly aligned. Use [`write_unaligned`] if this is not the /// case. /// -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html /// [`write_unaligned`]: ./fn.write_unaligned.html /// /// # Examples @@ -609,15 +601,13 @@ pub unsafe fn write(dst: *mut T, src: T) { /// /// `write_unaligned` is unsafe because it dereferences a raw pointer. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// `write_unaligned` can trigger undefined behavior if any of the following /// conditions are violated: /// /// * `dst` must point to valid memory. /// -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html -/// /// # Examples /// /// Access fields in a packed struct: @@ -684,7 +674,7 @@ pub unsafe fn write_unaligned(dst: *mut T, src: T) { /// `read_volatile` is unsafe because it dereferences a raw pointer. The caller /// must ensure that the pointer points to a valid value of type `T`. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// Behavior is undefined if any of the following conditions are violated: /// @@ -702,7 +692,6 @@ pub unsafe fn write_unaligned(dst: *mut T, src: T) { /// /// [`Copy`]: ../marker/trait.Copy.html /// [`write_volatile`]: ./fn.write_volatile.html -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html /// /// # Examples /// @@ -754,7 +743,7 @@ pub unsafe fn read_volatile(src: *const T) -> T { /// /// `write_volatile` is unsafe because it dereferences a raw pointer. /// -/// # [Undefined Behavior] +/// # Undefined Behavior /// /// `write_volatile` can trigger undefined behavior if any of the following /// conditions are violated: @@ -763,8 +752,6 @@ pub unsafe fn read_volatile(src: *const T) -> T { /// /// * `dst` must be properly aligned. /// -/// [Undefined Behavior]: ../../reference/behavior-considered-undefined.html -/// /// # Examples /// /// Basic usage: