aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2009-03-09 20:55:18 +0000
committerChris Lattner <sabre@nondot.org>2009-03-09 20:55:18 +0000
commit8c0e62cdb274635d9f92c22836a80ea3d5e937cc (patch)
tree1eff010b9a2e1fd511338e91d47e7e8619b8a62f
parent23e528be8069ead5f598e4043481fa2ef122a0e6 (diff)
Clarify wording, patch by Stefanus Du Toit!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66458 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--docs/LangRef.html12
1 files changed, 7 insertions, 5 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html
index 0985cbd61e..6b7038dbcc 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -3637,11 +3637,13 @@ the LLVM code for the given testcase is equivalent to:</p>
}
</pre>
-<p>Note that it is undefined to access an array out of bounds: array and
-pointer indexes must always be within the defined bounds of the array type.
-The one exception for this rule is zero length arrays. These arrays are
-defined to be accessible as variable length arrays, which requires access
-beyond the zero'th element.</p>
+<p>Note that it is undefined to access an array out of bounds: array
+and pointer indexes must always be within the defined bounds of the
+array type when accessed with an instruction that dereferences the
+pointer (e.g. a load or store instruction). The one exception for
+this rule is zero length arrays. These arrays are defined to be
+accessible as variable length arrays, which requires access beyond the
+zero'th element.</p>
<p>The getelementptr instruction is often confusing. For some more insight
into how it works, see <a href="GetElementPtr.html">the getelementptr