Skip to content

Commit f223d09

Browse files
authored
Merge pull request #78 from allanlw/clarify-alias-access-ub
Clarify that breaking the Pointer Aliasing Rules requires an access
2 parents 2855801 + eb47cd4 commit f223d09

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/behavior-considered-undefined.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ the guarantee that these issues are never caused by safe code.
1010
(uninitialized) memory
1111
* Breaking the [pointer aliasing
1212
rules](http://llvm.org/docs/LangRef.html#pointer-aliasing-rules)
13-
with raw pointers (a subset of the rules used by C)
13+
on accesses through raw pointers (a subset of the rules used by C)
1414
* `&mut T` and `&T` follow LLVM’s scoped [noalias] model, except if the `&T`
1515
contains an `UnsafeCell<U>`. Unsafe code must not violate these aliasing
1616
guarantees.

0 commit comments

Comments
 (0)