crypto/property/defn_cache.c:101: 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:101:9: Call
99.       if (pl == NULL) {
100.           elem.prop = prop;
101.           lh_PROPERTY_DEFN_ELEM_delete(property_defns, &elem);
               ^
102.           return 1;
103.       }

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 unsigned long property_defn_hash(const PROPERTY_DEFN_ELEM *a)

crypto/property/defn_cache.c:30:1: Call
  28.   } PROPERTY_DEFN_ELEM;
  29.   
  30. > DEFINE_LHASH_OF(PROPERTY_DEFN_ELEM);
  31.   
  32.   static unsigned long property_defn_hash(const PROPERTY_DEFN_ELEM *a)

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

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

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