test/lhash_test.c:205: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `lh_int_delete`.
Showing all 10 steps of the trace


test/lhash_test.c:189:9: Call
187.           }
188.           *p = 3 * i + 1;
189.           lh_int_insert(h, p);
               ^
190.       }
191.   

test/lhash_test.c:34:1: Parameter `lh->num_items`
  32.   #endif
  33.   
  34. > DEFINE_LHASH_OF(int);
  35.   
  36.   static int int_tests[] = { 65537, 13, 1, 3, -5, 6, 7, 4, -10, -12, -14, 22, 9,

test/lhash_test.c:34:1: Call
  32.   #endif
  33.   
  34. > DEFINE_LHASH_OF(int);
  35.   
  36.   static int int_tests[] = { 65537, 13, 1, 3, -5, 6, 7, 4, -10, -12, -14, 22, 9,

crypto/lhash/lhash.c:70:1: Parameter `lh->num_items`
    68.   }
    69.   
    70. > void *OPENSSL_LH_insert(OPENSSL_LHASH *lh, void *data)
    71.   {
    72.       unsigned long hash;

test/lhash_test.c:205:14: Call
203.           const int j = (7 * i + 4) % n * 3 + 1;
204.   
205.           if (!TEST_ptr(p = lh_int_delete(h, &j))) {
                    ^
206.               TEST_info("lhash stress delete %d\n", i);
207.               goto end;

test/lhash_test.c:34:1: Parameter `lh->num_items`
  32.   #endif
  33.   
  34. > DEFINE_LHASH_OF(int);
  35.   
  36.   static int int_tests[] = { 65537, 13, 1, 3, -5, 6, 7, 4, -10, -12, -14, 22, 9,

test/lhash_test.c:34:1: Call
  32.   #endif
  33.   
  34. > DEFINE_LHASH_OF(int);
  35.   
  36.   static int int_tests[] = { 65537, 13, 1, 3, -5, 6, 7, 4, -10, -12, -14, 22, 9,

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