diff options
| author | AtariDreams <gfunni234@gmail.com> | 2024-07-11 05:21:14 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-11 10:21:14 +0100 |
| commit | eb61956d1a039d9cb03e0d041f33ab2ecc80519e (patch) | |
| tree | f04a1a062513ea53f2ca6927ca32e881ec1bd7d3 /lldb/source/Plugins/ObjectFile/JSON/ObjectFileJSON.h | |
| parent | bf4167fd1d06ff68da2cbea210a4ccfa045694d3 (diff) | |
| download | llvm-eb61956d1a039d9cb03e0d041f33ab2ecc80519e.zip llvm-eb61956d1a039d9cb03e0d041f33ab2ecc80519e.tar.gz llvm-eb61956d1a039d9cb03e0d041f33ab2ecc80519e.tar.bz2 | |
[ObjC][CodeGen] Assume a for-in loop is in bounds and cannot overflow (#94885)
When accessing data in the buffer, we know we won't overrun the buffer,
so we know it is inbounds. In addition, we know that the addition to
increase the index is also NUW because the buffer's end has to be
unsigned-greater-than 0, which becomes untrue if the bounds ever has an
unsigned wrap.
Diffstat (limited to 'lldb/source/Plugins/ObjectFile/JSON/ObjectFileJSON.h')
0 files changed, 0 insertions, 0 deletions