crypto/bn/bn_gf2m.c:728: error: INTEGER_OVERFLOW_L2
  (0 - [0, 1]):unsigned64.
Showing all 4 steps of the trace


crypto/bn/bn_gf2m.c:716:13: <RHS trace>
714.           cdp = c->d;
715.           for (i = 0; i < top; i++)
716.               cdp[i] = 0;
                   ^
717.           c->top = top;
718.           vdp = v->d;             /* It pays off to "cache" *->d pointers,

crypto/bn/bn_gf2m.c:716:13: Assignment
714.           cdp = c->d;
715.           for (i = 0; i < top; i++)
716.               cdp[i] = 0;
                   ^
717.           c->top = top;
718.           vdp = v->d;             /* It pays off to "cache" *->d pointers,

crypto/bn/bn_gf2m.c:727:17: Assignment
725.   
726.                   u0 = udp[0];
727.                   b0 = bdp[0];
                       ^
728.                   mask = (BN_ULONG)0 - (b0 & 1);
729.                   b0 ^= p->d[0] & mask;

crypto/bn/bn_gf2m.c:728:17: Binary operation: (0 - [0, 1]):unsigned64
726.                   u0 = udp[0];
727.                   b0 = bdp[0];
728.                   mask = (BN_ULONG)0 - (b0 & 1);
                       ^
729.                   b0 ^= p->d[0] & mask;
730.                   for (i = 0; i < top - 1; i++) {
