crypto/rc4/rc4_enc.c:164: error: INTEGER_OVERFLOW_L1
  (0 - 8):unsigned64.
Showing all 1 steps of the trace


crypto/rc4/rc4_enc.c:164:20: Binary operation: (0 - 8):unsigned64
162.           if (!is_endian.little) { /* BIG-ENDIAN CASE */
163.   # define BESHFT(c)      (((sizeof(RC4_CHUNK)-(c)-1)*8)&(sizeof(RC4_CHUNK)*8-1))
164.               for (; len & (0 - sizeof(RC4_CHUNK)); len -= sizeof(RC4_CHUNK)) {
                          ^
165.                   ichunk = *(RC4_CHUNK *) indata;
166.                   otp = RC4_STEP << BESHFT(0);
