crypto/bn/bn_div.c:149: error: INTEGER_OVERFLOW_L2
  (0 - [0, 63]):unsigned64.
Showing all 14 steps of the trace


crypto/bn/bn_div.c:145:18: <RHS trace>
143.       BN_ULONG *d = num->d, n, m, rmask;
144.       int top = num->top;
145.       int rshift = BN_num_bits_word(d[top - 1]), lshift, i;
                        ^
146.   
147.       lshift = BN_BITS2 - rshift;

crypto/bn/bn_div.c:145:18: Call
143.       BN_ULONG *d = num->d, n, m, rmask;
144.       int top = num->top;
145.       int rshift = BN_num_bits_word(d[top - 1]), lshift, i;
                        ^
146.   
147.       lshift = BN_BITS2 - rshift;

crypto/bn/bn_lib.c:93:17: Assignment
  91.   {
  92.       BN_ULONG x, mask;
  93.       int bits = (l != 0);
                        ^
  94.   
  95.   #if BN_BITS2 > 32

crypto/bn/bn_lib.c:93:5: Assignment
  91.   {
  92.       BN_ULONG x, mask;
  93.       int bits = (l != 0);
            ^
  94.   
  95.   #if BN_BITS2 > 32

crypto/bn/bn_lib.c:99:5: Assignment
  97.       mask = (0 - x) & BN_MASK2;
  98.       mask = (0 - (mask >> (BN_BITS2 - 1)));
  99.       bits += 32 & mask;
             ^
  100.       l ^= (x ^ l) & mask;
  101.   #endif

crypto/bn/bn_lib.c:106:5: Assignment
  104.       mask = (0 - x) & BN_MASK2;
  105.       mask = (0 - (mask >> (BN_BITS2 - 1)));
  106.       bits += 16 & mask;
             ^
  107.       l ^= (x ^ l) & mask;
  108.   

crypto/bn/bn_lib.c:112:5: Assignment
  110.       mask = (0 - x) & BN_MASK2;
  111.       mask = (0 - (mask >> (BN_BITS2 - 1)));
  112.       bits += 8 & mask;
             ^
  113.       l ^= (x ^ l) & mask;
  114.   

crypto/bn/bn_lib.c:118:5: Assignment
  116.       mask = (0 - x) & BN_MASK2;
  117.       mask = (0 - (mask >> (BN_BITS2 - 1)));
  118.       bits += 4 & mask;
             ^
  119.       l ^= (x ^ l) & mask;
  120.   

crypto/bn/bn_lib.c:124:5: Assignment
  122.       mask = (0 - x) & BN_MASK2;
  123.       mask = (0 - (mask >> (BN_BITS2 - 1)));
  124.       bits += 2 & mask;
             ^
  125.       l ^= (x ^ l) & mask;
  126.   

crypto/bn/bn_lib.c:130:5: Assignment
  128.       mask = (0 - x) & BN_MASK2;
  129.       mask = (0 - (mask >> (BN_BITS2 - 1)));
  130.       bits += 1 & mask;
             ^
  131.   
  132.       return bits;

crypto/bn/bn_lib.c:132:5: Assignment
  130.       bits += 1 & mask;
  131.   
  132.       return bits;
             ^
  133.   }
  134.   

crypto/bn/bn_div.c:145:5: Assignment
143.       BN_ULONG *d = num->d, n, m, rmask;
144.       int top = num->top;
145.       int rshift = BN_num_bits_word(d[top - 1]), lshift, i;
           ^
146.   
147.       lshift = BN_BITS2 - rshift;

crypto/bn/bn_div.c:148:5: Assignment
146.   
147.       lshift = BN_BITS2 - rshift;
148.       rshift %= BN_BITS2;            /* say no to undefined behaviour */
           ^
149.       rmask = (BN_ULONG)0 - rshift;  /* rmask = 0 - (rshift != 0) */
150.       rmask |= rmask >> 8;

crypto/bn/bn_div.c:149:5: Binary operation: (0 - [0, 63]):unsigned64
147.       lshift = BN_BITS2 - rshift;
148.       rshift %= BN_BITS2;            /* say no to undefined behaviour */
149.       rmask = (BN_ULONG)0 - rshift;  /* rmask = 0 - (rshift != 0) */
           ^
150.       rmask |= rmask >> 8;
151.   
