ssl/ssl_lib.c:2328: error: INTEGER_OVERFLOW_L2
  ([0, 1+max(0, `s->initial_ctx->sessions->num_nodes`)] - 1):unsigned32 by call to `SSL_CTX_flush_sessions`.
Showing all 9 steps of the trace


ssl/ssl_lib.c:2302:1: Parameter `s->initial_ctx->sessions->num_nodes`
2300.   }
2301.   
2302. > void ssl_update_cache(SSL *s, int mode)
2303.   {
2304.       int i;

ssl/ssl_lib.c:2328:13: Call
2326.                 ? s->session_ctx->stats.sess_connect_good
2327.                 : s->session_ctx->stats.sess_accept_good) & 0xff) == 0xff) {
2328.               SSL_CTX_flush_sessions(s->session_ctx, (unsigned long)time(NULL));
                    ^
2329.           }
2330.       }

ssl/ssl_sess.c:1067:1: Parameter `s->sessions->num_nodes`
  1065.   static IMPLEMENT_LHASH_DOALL_ARG_FN(timeout, SSL_SESSION, TIMEOUT_PARAM)
  1066.   
  1067. > void SSL_CTX_flush_sessions(SSL_CTX *s, long t)
  1068.   {
  1069.       unsigned long i;

ssl/ssl_sess.c:1080:5: Call
  1078.       i = CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load;
  1079.       CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load = 0;
  1080.       lh_SSL_SESSION_doall_arg(tp.cache, LHASH_DOALL_ARG_FN(timeout),
              ^
  1081.                                TIMEOUT_PARAM, &tp);
  1082.       CHECKED_LHASH_OF(SSL_SESSION, tp.cache)->down_load = i;

crypto/lhash/lhash.c:294:1: Parameter `lh->num_nodes`
    292.   }
    293.   
    294. > void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
    295.   {
    296.       doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);

crypto/lhash/lhash.c:296:5: Call
    294.   void lh_doall_arg(_LHASH *lh, LHASH_DOALL_ARG_FN_TYPE func, void *arg)
    295.   {
    296.       doall_util_fn(lh, 1, (LHASH_DOALL_FN_TYPE)0, func, arg);
               ^
    297.   }
    298.   

crypto/lhash/lhash.c:256:1: <LHS trace>
254.   }
255.   
256. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
257.                             LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
258.   {

crypto/lhash/lhash.c:256:1: Parameter `lh->num_nodes`
      254.   }
      255.   
      256. > static void doall_util_fn(_LHASH *lh, int use_arg, LHASH_DOALL_FN_TYPE func,
      257.                             LHASH_DOALL_ARG_FN_TYPE func_arg, void *arg)
      258.   {

crypto/lhash/lhash.c:269:10: Binary operation: ([0, 1+max(0, s->initial_ctx->sessions->num_nodes)] - 1):unsigned32 by call to `SSL_CTX_flush_sessions` 
      267.        * memory leaks otherwise
      268.        */
      269.       for (i = lh->num_nodes - 1; i >= 0; i--) {
                      ^
      270.           a = lh->b[i];
      271.           while (a != NULL) {
