Wrap to 0, loop does not run, later code assumes it did. Hang or logic bug, still a class. Patched by checking before the wrap.
Not every overflow is a write. Some are a lie the rest of the function believes.
Refs: CVE Program
Lab / educational. Public binaries and patched classes only. Isolated VM.