apps/dh.c:266: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `DH_check`.
Showing all 10 steps of the trace


apps/dh.c:252:3: Call
250.   	if (text)
251.   		{
252.   		DHparams_print(out,dh);
         ^
253.   #ifdef undef
254.   		printf("p=");

crypto/dh/dh_ameth.c:464:1: Parameter `x->pub_key->top`
  462.   	}
  463.   
  464. > int DHparams_print(BIO *bp, const DH *x)
  465.   	{
  466.   	return do_dh_print(bp, x, 4, NULL, 0);

crypto/dh/dh_ameth.c:466:9: Call
  464.   int DHparams_print(BIO *bp, const DH *x)
  465.   	{
  466.   	return do_dh_print(bp, x, 4, NULL, 0);
                 ^
  467.   	}
  468.   

crypto/dh/dh_ameth.c:316:1: Parameter `x->pub_key->top`
    314.   	}
    315.   
    316. > static int do_dh_print(BIO *bp, const DH *x, int indent,
    317.   						ASN1_PCTX *ctx, int ptype)
    318.   	{

apps/dh.c:266:8: Call
264.   	if (check)
265.   		{
266.   		if (!DH_check(dh,&i))
              ^
267.   			{
268.   			ERR_print_errors(bio_err);

crypto/dh/dh_check.c:73:1: Parameter `dh->p->top`
  71.    */
  72.   
  73. > int DH_check(const DH *dh, int *ret)
  74.   	{
  75.   	int ok=0;

crypto/dh/dh_check.c:88:5: Call
  86.   	if (BN_is_word(dh->g,DH_GENERATOR_2))
  87.   		{
  88.   		l=BN_mod_word(dh->p,24);
            ^
  89.   		if (l != 11) *ret|=DH_NOT_SUITABLE_GENERATOR;
  90.   		}

crypto/bn/bn_word.c:63:1: <LHS trace>
61.   #include "bn_lcl.h"
62.   
63. > BN_ULONG BN_mod_word(const BIGNUM *a, BN_ULONG w)
64.   	{
65.   #ifndef BN_LLONG

crypto/bn/bn_word.c:63:1: Parameter `a->top`
    61.   #include "bn_lcl.h"
    62.   
    63. > BN_ULONG BN_mod_word(const BIGNUM *a, BN_ULONG w)
    64.   	{
    65.   #ifndef BN_LLONG

crypto/bn/bn_word.c:77:7: Binary operation: ([0, +oo] - 1):unsigned64 by call to `DH_check` 
    75.   	bn_check_top(a);
    76.   	w&=BN_MASK2;
    77.   	for (i=a->top-1; i>=0; i--)
                ^
    78.   		{
    79.   #ifndef BN_LLONG
