crypto/bn/bn_prime.c:451: error: INTEGER_OVERFLOW_L2
  (0 - [0, 18446744073709551615]):unsigned64 by call to `BN_mod_word`.
Showing all 10 steps of the trace


crypto/bn/bn_prime.c:451:25: Call
449.            * check that for p and q gcd(p-1,primes) == 1 (except for 2)
450.            */
451.           BN_ULONG pmod = BN_mod_word(p, (BN_ULONG)primes[i]);
                               ^
452.           BN_ULONG qmod = BN_mod_word(q, (BN_ULONG)primes[i]);
453.           if (pmod == (BN_ULONG)-1 || qmod == (BN_ULONG)-1)

crypto/bn/bn_word.c:13:1: Parameter `w`
  11.   #include "bn_lcl.h"
  12.   
  13. > BN_ULONG BN_mod_word(const BIGNUM *a, BN_ULONG w)
  14.   {
  15.   #ifndef BN_LLONG

crypto/bn/bn_word.c:35:15: Call
  33.               return (BN_ULONG)-1;
  34.   
  35.           ret = BN_div_word(tmp, w);
                      ^
  36.           BN_free(tmp);
  37.   

crypto/bn/bn_word.c:61:1: Parameter `w`
    59.   }
    60.   
    61. > BN_ULONG BN_div_word(BIGNUM *a, BN_ULONG w)
    62.   {
    63.       BN_ULONG ret = 0;

crypto/bn/bn_word.c:67:5: Assignment
    65.   
    66.       bn_check_top(a);
    67.       w &= BN_MASK2;
              ^
    68.   
    69.       if (!w)

crypto/bn/bn_word.c:76:20: Call
    74.   
    75.       /* normalize input (so bn_div_words doesn't complain) */
    76.       j = BN_BITS2 - BN_num_bits_word(w);
                             ^
    77.       w <<= j;
    78.       if (!BN_lshift(a, a, j))

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: Binary operation: (0 - [0, 18446744073709551615]):unsigned64 by call to `BN_mod_word` 
      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;
