crypto/mem_dbg.c:579: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `lh_delete`.
Showing all 4 steps of the trace


crypto/mem_dbg.c:579:18: Call
577.   
578.               m.addr = addr1;
579.               mp = lh_MEM_delete(mh, &m);
                        ^
580.               if (mp != NULL) {
581.                   mp->addr = addr2;

crypto/lhash/lhash.c:189:1: <LHS trace>
187.   }
188.   
189. > void *lh_delete(_LHASH *lh, const void *data)
190.   {
191.       unsigned long hash;

crypto/lhash/lhash.c:189:1: Parameter `lh->num_items`
  187.   }
  188.   
  189. > void *lh_delete(_LHASH *lh, const void *data)
  190.   {
  191.       unsigned long hash;

crypto/lhash/lhash.c:209:5: Binary operation: ([0, +oo] - 1):unsigned64 by call to `lh_delete` 
  207.       }
  208.   
  209.       lh->num_items--;
             ^
  210.       if ((lh->num_nodes > MIN_NODES) &&
  211.           (lh->down_load >= (lh->num_items * LH_LOAD_MULT / lh->num_nodes)))
