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


crypto/property/defn_cache.c:86:9: Call
84.       if (pl == NULL) {
85.           elem.prop = prop;
86.           lh_PROPERTY_DEFN_ELEM_delete(property_defns, &elem);
              ^
87.           return 1;
88.       }

crypto/property/defn_cache.c:30:1: Parameter `lh->num_items`
  28.   } PROPERTY_DEFN_ELEM;
  29.   
  30. > DEFINE_LHASH_OF(PROPERTY_DEFN_ELEM);
  31.   
  32.   static LHASH_OF(PROPERTY_DEFN_ELEM) *property_defns = NULL;

crypto/property/defn_cache.c:30:1: Call
  28.   } PROPERTY_DEFN_ELEM;
  29.   
  30. > DEFINE_LHASH_OF(PROPERTY_DEFN_ELEM);
  31.   
  32.   static LHASH_OF(PROPERTY_DEFN_ELEM) *property_defns = NULL;

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_PROPERTY_DEFN_ELEM_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)))
