crypto/bn/bn_lib.c:98: error: INTEGER_OVERFLOW_L2
  (0 - [0, 1]):unsigned64.
Showing all 5 steps of the trace


crypto/bn/bn_lib.c:90:1: <RHS trace>
88.   }
89.   
90. > int BN_num_bits_word(BN_ULONG l)
91.   {
92.       BN_ULONG x, mask;

crypto/bn/bn_lib.c:90:1: Parameter `l`
88.   }
89.   
90. > int BN_num_bits_word(BN_ULONG l)
91.   {
92.       BN_ULONG x, mask;

crypto/bn/bn_lib.c:96:5: Assignment
94.   
95.   #if BN_BITS2 > 32
96.       x = l >> 32;
          ^
97.       mask = (0 - x) & BN_MASK2;
98.       mask = (0 - (mask >> (BN_BITS2 - 1)));

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

crypto/bn/bn_lib.c:98:5: Binary operation: (0 - [0, 1]):unsigned64
96.       x = l >> 32;
97.       mask = (0 - x) & BN_MASK2;
98.       mask = (0 - (mask >> (BN_BITS2 - 1)));
           ^
99.       bits += 32 & mask;
100.       l ^= (x ^ l) & mask;
