bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

note about stack-allocated variables being allocated objects

Browse source
This commit is contained in:
Ralf Jung 2019-08-05 18:41:33 +02:00
parent 4be0675589
commit aa72b1d3e3
1 changed files with 16 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

24
src/libcore/ptr/mod.rs
View file

@ -1120,7 +1120,8 @@ impl<T: ?Sized> *const T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and resulting pointer must be either in bounds or one /// * Both the starting and resulting pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The computed offset, **in bytes**, cannot overflow an `isize`. /// * The computed offset, **in bytes**, cannot overflow an `isize`.
/// ///
@ -1223,7 +1224,8 @@ impl<T: ?Sized> *const T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and other pointer must be either in bounds or one /// * Both the starting and other pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The distance between the pointers, **in bytes**, cannot overflow an `isize`. /// * The distance between the pointers, **in bytes**, cannot overflow an `isize`.
/// ///
@ -1338,7 +1340,8 @@ impl<T: ?Sized> *const T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and resulting pointer must be either in bounds or one /// * Both the starting and resulting pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The computed offset, **in bytes**, cannot overflow an `isize`. /// * The computed offset, **in bytes**, cannot overflow an `isize`.
/// ///
@ -1395,7 +1398,8 @@ impl<T: ?Sized> *const T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and resulting pointer must be either in bounds or one /// * Both the starting and resulting pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The computed offset cannot exceed `isize::MAX` **bytes**. /// * The computed offset cannot exceed `isize::MAX` **bytes**.
/// ///
@ -1755,7 +1759,8 @@ impl<T: ?Sized> *mut T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and resulting pointer must be either in bounds or one /// * Both the starting and resulting pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The computed offset, **in bytes**, cannot overflow an `isize`. /// * The computed offset, **in bytes**, cannot overflow an `isize`.
/// ///
@ -1901,7 +1906,8 @@ impl<T: ?Sized> *mut T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and other pointer must be either in bounds or one /// * Both the starting and other pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The distance between the pointers, **in bytes**, cannot overflow an `isize`. /// * The distance between the pointers, **in bytes**, cannot overflow an `isize`.
/// ///
@ -2005,7 +2011,8 @@ impl<T: ?Sized> *mut T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and resulting pointer must be either in bounds or one /// * Both the starting and resulting pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The computed offset, **in bytes**, cannot overflow an `isize`. /// * The computed offset, **in bytes**, cannot overflow an `isize`.
/// ///
@ -2062,7 +2069,8 @@ impl<T: ?Sized> *mut T {
/// Behavior: /// Behavior:
/// ///
/// * Both the starting and resulting pointer must be either in bounds or one /// * Both the starting and resulting pointer must be either in bounds or one
/// byte past the end of the same allocated object. /// byte past the end of the same allocated object. Note that in Rust,
/// every (stack-allocated) variable is considered a separate allocated object.
/// ///
/// * The computed offset cannot exceed `isize::MAX` **bytes**. /// * The computed offset cannot exceed `isize::MAX` **bytes**.
/// ///