crypto/txt_db/txt_db.c:275: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `lh_OPENSSL_STRING_delete`.
Showing all 7 steps of the trace


crypto/txt_db/txt_db.c:237:1: Parameter `(*db->index)->num_items`
235.   }
236.   
237. > int TXT_DB_insert(TXT_DB *db, OPENSSL_STRING *row)
238.   {
239.       int i;

crypto/txt_db/txt_db.c:275:19: Call
273.               if ((db->qual[i] != NULL) && (db->qual[i] (row) == 0))
274.                   continue;
275.               (void)lh_OPENSSL_STRING_delete(db->index[i], row);
                         ^
276.           }
277.       }

include/openssl/lhash.h:197:1: Parameter `lh->num_items`
  195.       LHASH_OF(type)
  196.   
  197. > DEFINE_LHASH_OF(OPENSSL_STRING);
  198.   DEFINE_LHASH_OF(OPENSSL_CSTRING);
  199.   

include/openssl/lhash.h:197:1: Call
  195.       LHASH_OF(type)
  196.   
  197. > DEFINE_LHASH_OF(OPENSSL_STRING);
  198.   DEFINE_LHASH_OF(OPENSSL_CSTRING);
  199.   

crypto/lhash/lhash.c:103:1: <LHS trace>
101.   }
102.   
103. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
104.   {
105.       unsigned long hash;

crypto/lhash/lhash.c:103:1: Parameter `lh->num_items`
    101.   }
    102.   
    103. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
    104.   {
    105.       unsigned long hash;

crypto/lhash/lhash.c:123:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `lh_OPENSSL_STRING_delete` 
    121.       }
    122.   
    123.       lh->num_items--;
               ^
    124.       if ((lh->num_nodes > MIN_NODES) &&
    125.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
