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


crypto/bn/bn_gf2m.c:586:25: <RHS trace>
584.   				b->top = top;
585.   	bn_wexpand(c,top);	cdp = c->d;
586.   				for (i=0;i<top;i++) cdp[i] = 0;
                               ^
587.   				c->top = top;
588.   	vdp = v->d;	/* It pays off to "cache" *->d pointers, because

crypto/bn/bn_gf2m.c:586:25: Assignment
584.   				b->top = top;
585.   	bn_wexpand(c,top);	cdp = c->d;
586.   				for (i=0;i<top;i++) cdp[i] = 0;
                               ^
587.   				c->top = top;
588.   	vdp = v->d;	/* It pays off to "cache" *->d pointers, because

crypto/bn/bn_gf2m.c:599:4: Assignment
597.   
598.   			u0   = udp[0];
599.   			b0   = bdp[0];
          ^
600.   			mask = (BN_ULONG)0-(b0&1);
601.   			b0  ^= p->d[0]&mask;

crypto/bn/bn_gf2m.c:600:4: Binary operation: (0 - [0, 1]):unsigned64
598.   			u0   = udp[0];
599.   			b0   = bdp[0];
600.   			mask = (BN_ULONG)0-(b0&1);
          ^
601.   			b0  ^= p->d[0]&mask;
602.   			for (i=0;i<top-1;i++)
