* Two-byte buffers: verifies carry is discarded (8-bit truncation). * 0xFF + 0x01 = 0x100 -> AL = 0x00 (carry discarded). * 0xFF + 0x02 = 0x101 -> AL = 0x01. */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected