diff --git a/src/behavior-considered-undefined.md b/src/behavior-considered-undefined.md index b617ee3d7..9fb3d7414 100644 --- a/src/behavior-considered-undefined.md +++ b/src/behavior-considered-undefined.md @@ -10,7 +10,7 @@ the guarantee that these issues are never caused by safe code. (uninitialized) memory * Breaking the [pointer aliasing rules](http://llvm.org/docs/LangRef.html#pointer-aliasing-rules) - with raw pointers (a subset of the rules used by C) + on accesses through raw pointers (a subset of the rules used by C) * `&mut T` and `&T` follow LLVM’s scoped [noalias] model, except if the `&T` contains an `UnsafeCell`. Unsafe code must not violate these aliasing guarantees.