aboutsummaryrefslogtreecommitdiffstats
path: root/docs/LangRef.html
diff options
context:
space:
mode:
authorDan Gohman <gohman@apple.com>2009-07-29 16:00:30 +0000
committerDan Gohman <gohman@apple.com>2009-07-29 16:00:30 +0000
commit0a28d18cd47433eff31a12d9d721000f2d52489b (patch)
tree606f3a7bb5a32d2d335ce9dd13114ce9148a0123 /docs/LangRef.html
parentdcb40a3c1c747c88c4e634e34d1b4d7533a86ada (diff)
downloadexternal_llvm-0a28d18cd47433eff31a12d9d721000f2d52489b.zip
external_llvm-0a28d18cd47433eff31a12d9d721000f2d52489b.tar.gz
external_llvm-0a28d18cd47433eff31a12d9d721000f2d52489b.tar.bz2
Add one-past-the-end language to the inbounds keyword.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@77460 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/LangRef.html')
-rw-r--r--docs/LangRef.html11
1 files changed, 7 insertions, 4 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html
index 2589771..33fc7d4 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -3998,10 +3998,13 @@ entry:
</pre>
<p>If the <tt>inbounds</tt> keyword is present, the result value of the
- <tt>getelementptr</tt> is undefined if the base pointer is not pointing
- into an allocated object, or if any of the addresses formed by successive
- addition of the offsets implied by the indices to the base address is
- outside of the allocated object into which the base pointer points.</p>
+ <tt>getelementptr</tt> is undefined if the base pointer is not an
+ <i>in bounds</i> address of an allocated object, or if any of the addresses
+ formed by successive addition of the offsets implied by the indices to
+ the base address are not an <i>in bounds</i> address of that allocated
+ object.
+ The <i>in bounds</i> addresses for an allocated object are all the addresses
+ that point into the object, plus the address one past the end.</p>
<p>If the <tt>inbounds</tt> keyword is not present, the offsets are added to
the base address with silently-wrapping two's complement arithmetic, and