crypto/property/property.c:485: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `lh_QUERY_delete`.
Showing all 6 steps of the trace


crypto/property/property.c:485:9: Call
483.       if (method == NULL) {
484.           elem.query = prop_query;
485.           lh_QUERY_delete(alg->cache, &elem);
               ^
486.           ossl_property_unlock(store);
487.           return 1;

crypto/property/property.c:41:1: Parameter `lh->num_items`
  39.   } QUERY;
  40.   
  41. > DEFINE_LHASH_OF(QUERY);
  42.   
  43.   typedef struct {

crypto/property/property.c:41:1: Call
  39.   } QUERY;
  40.   
  41. > DEFINE_LHASH_OF(QUERY);
  42.   
  43.   typedef struct {

crypto/lhash/lhash.c:136:1: <LHS trace>
134.   }
135.   
136. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
137.   {
138.       unsigned long hash;

crypto/lhash/lhash.c:136:1: Parameter `lh->num_items`
    134.   }
    135.   
    136. > void *OPENSSL_LH_delete(OPENSSL_LHASH *lh, const void *data)
    137.   {
    138.       unsigned long hash;

crypto/lhash/lhash.c:156:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `lh_QUERY_delete` 
    154.       }
    155.   
    156.       lh->num_items--;
               ^
    157.       if ((lh->num_nodes > MIN_NODES) &&
    158.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
