apps/ocsp.c:1301: error: INTEGER_OVERFLOW_L2
  ([0, 8] - 1):unsigned32 by call to `SSL_CTX_free`.
Showing all 13 steps of the trace


apps/ocsp.c:1276:15: Call
1274.       if (use_ssl == 1) {
1275.           BIO *sbio;
1276.           ctx = SSL_CTX_new(TLS_client_method());
                      ^
1277.           if (ctx == NULL) {
1278.               BIO_printf(bio_err, "Error creating SSL context.\n");

ssl/ssl_lib.c:1701:21: Call
  1699.           goto err;
  1700.   
  1701.       ret->sessions = lh_SSL_SESSION_new();
                              ^
  1702.       if (ret->sessions == NULL)
  1703.           goto err;

crypto/lhash/lhash.c:123:5: Assignment
    121.       ret->comp = ((c == NULL) ? (LHASH_COMP_FN_TYPE)strcmp : c);
    122.       ret->hash = ((h == NULL) ? (LHASH_HASH_FN_TYPE)lh_strhash : h);
    123.       ret->num_nodes = MIN_NODES / 2;
               ^
    124.       ret->num_alloc_nodes = MIN_NODES;
    125.       ret->pmax = MIN_NODES / 2;

apps/ocsp.c:1301:5: Call
1299.    end:
1300.       BIO_free_all(cbio);
1301.       SSL_CTX_free(ctx);
            ^
1302.       return resp;
1303.   }

ssl/ssl_lib.c:1782:1: Parameter `a->sessions->num_nodes`
  1780.   }
  1781.   
  1782. > void SSL_CTX_free(SSL_CTX *a)
  1783.   {
  1784.       int i;

ssl/ssl_lib.c:1814:9: Call
  1812.        */
  1813.       if (a->sessions != NULL)
  1814.           SSL_CTX_flush_sessions(a, 0);
                  ^
  1815.   
  1816.       CRYPTO_free_ex_data(CRYPTO_EX_INDEX_SSL_CTX, a, &a->ex_data);

ssl/ssl_sess.c:1049:1: Parameter `s->sessions->num_nodes`
    1047.   static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION, TIMEOUT_PARAM)
    1048.   
    1049. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
    1050.   {
    1051.       unsigned long i;

ssl/ssl_sess.c:1062:5: Call
    1060.       i = CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load;
    1061.       CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load = 0;
    1062.       lh_SSL_SESSION_doall_arg(tp.cache, LHASH_DOALL_ARG_FN(timeout),
                ^
    1063.                                TIMEOUT_PARAM, &tp);
    1064.       CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load = i;

crypto/lhash/lhash.c:274:1: Parameter `lh->num_nodes`
      272.   }
      273.   
      274. > void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
      275.   {
      276.       doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);

crypto/lhash/lhash.c:276:5: Call
      274.   void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
      275.   {
      276.       doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);
                 ^
      277.   }
      278.   

crypto/lhash/lhash.c:236:1: <LHS trace>
234.   }
235.   
236. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
237.                             LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
238.   {

crypto/lhash/lhash.c:236:1: Parameter `lh->num_nodes`
        234.   }
        235.   
        236. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
        237.                             LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
        238.   {

crypto/lhash/lhash.c:249:10: Binary operation: ([0, 8] - 1):unsigned32 by call to `SSL_CTX_free` 
        247.        * memory leaks otherwise
        248.        */
        249.       for (i = lh->num_nodes - 1; i >= 0; i--) {
                        ^
        250.           a = lh->b[i];
        251.           while (a != NULL) {
