AtariDreams eb61956d1a [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.

2024-07-11 10:21:14 +01:00

155 KiB

Raw Blame History

View Raw