diff options
| author | Dan Gohman <gohman@apple.com> | 2009-11-09 19:01:53 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-11-09 19:01:53 +0000 |
| commit | 7657f6b0029ffb667b4e313ecaaf47a72976c99b (patch) | |
| tree | eb7f3609184c2d9534f548bdf3a44cd1d062fc46 /docs | |
| parent | eaa181c83ae7d6295e95753a1d6ae9a684d35fa7 (diff) | |
| download | llvm-7657f6b0029ffb667b4e313ecaaf47a72976c99b.tar.gz llvm-7657f6b0029ffb667b4e313ecaaf47a72976c99b.tar.bz2 llvm-7657f6b0029ffb667b4e313ecaaf47a72976c99b.tar.xz | |
The inbounds keyword isn't relevant to overindexing of
static array types. Thanks to Duncan for pointing this out!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86576 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/LangRef.html | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index be2b93b5a0..ab656d89a7 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -1576,13 +1576,12 @@ Classifications</a> </div> </tr> </table> -<p>Except when the <tt>inbounds</tt> keyword is present, there is no limitation - on indexing beyond the end of the array implied by the static type (though - any loads or stores must of course be within the bounds of the allocated - object!). This means that single-dimension 'variable sized array' addressing - can be implemented in LLVM with a zero length array type. An implementation - of 'pascal style arrays' in LLVM could use the type - "<tt>{ i32, [0 x float]}</tt>", for example.</p> +<p>There is no restriction on indexing beyond the end of the array implied by + a static type (though there are restrictions on indexing beyond the bounds + of an allocated object in some cases). This means that single-dimension + 'variable sized array' addressing can be implemented in LLVM with a zero + length array type. An implementation of 'pascal style arrays' in LLVM could + use the type "<tt>{ i32, [0 x float]}</tt>", for example.</p> <p>Note that the code generator does not yet support large aggregate types to be used as function return types. The specific limit on how large an aggregate |