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.

llvm-svn: 79538
1 file changed
tree: 48e8a2722273815031e6ea8db508c48827cd260b
  1. clang/
  2. compiler-rt/
  3. llvm/