commit | b255b88f06b81523c64369fe686fedab0225de54 | [log] [tgz] |
---|---|---|
author | Dan Gohman <gohman@apple.com> | Thu Aug 20 17:08:17 2009 +0000 |
committer | Dan Gohman <gohman@apple.com> | Thu Aug 20 17:08:17 2009 +0000 |
tree | 54a9107679e4fb5d4b04edbb379234290e411de3 | |
parent | 36891e654832d3b2191e4c5586c7818e237e6b7f [diff] |
Clarify a few things in the inbounds description. Describing inbounds in terms of infinitely precise arithmetic prohibits the assumption address-space-sized integer arithmetic will wrap, with a wrapped-around value landing within the same object. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79538 91177308-0d34-0410-b5e6-96231b3b80d8