Skip to content

Commit 5524a17

Browse files
committedApr 7, 2021
adjust wording
1 parent c644a95 commit 5524a17

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed
 

‎src/behavior-considered-undefined.md

+5-3
Original file line numberDiff line numberDiff line change
@@ -23,8 +23,9 @@ code.
2323
</div>
2424

2525
* Data races.
26-
* Evaluating a dereference [place expression] (`*expr`) on a raw pointer that is
27-
[dangling] or unaligned.
26+
* Evaluating a [dereference expression] (`*expr`) on a raw pointer that is
27+
[dangling] or unaligned, even in [place expression context]
28+
(e.g. `addr_of!(&*expr)`).
2829
* Breaking the [pointer aliasing rules]. `&mut T` and `&T` follow LLVM’s scoped
2930
[noalias] model, except if the `&T` contains an [`UnsafeCell<U>`].
3031
* Mutating immutable data. All data inside a [`const`] item is immutable. Moreover, all
@@ -91,4 +92,5 @@ cannot be bigger than `isize::MAX` bytes.
9192
[Rustonomicon]: ../nomicon/index.html
9293
[`NonNull<T>`]: ../core/ptr/struct.NonNull.html
9394
[`NonZero*`]: ../core/num/index.html
94-
[place expression]: expressions.md#place-expressions-and-value-expressions
95+
[dereference expression]: expressions/operator-expr.md#the-dereference-operator
96+
[place expression context]: expressions.md#place-expressions-and-value-expressions

0 commit comments

Comments
 (0)