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


crypto/bn/bn_gf2m.c:583:5: <RHS trace>
581.   				u->top = top;
582.   	bn_wexpand(b,top);	bdp = b->d;
583.   				bdp[0] = 1;
           ^
584.   				for (i=1;i<top;i++) bdp[i] = 0;
585.   				b->top = top;

crypto/bn/bn_gf2m.c:583:5: Assignment
581.   				u->top = top;
582.   	bn_wexpand(b,top);	bdp = b->d;
583.   				bdp[0] = 1;
           ^
584.   				for (i=1;i<top;i++) bdp[i] = 0;
585.   				b->top = top;

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

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