ssl/s3_both.c:603: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned32.
Showing all 3 steps of the trace


ssl/s3_both.c:590:1: <LHS trace>
588.    *    - Improve this code.
589.    */
590. > static void *freelist_extract(SSL_CTX *ctx, int for_read, int sz)
591.   {
592.       SSL3_BUF_FREELIST *list;

ssl/s3_both.c:590:1: Parameter `ctx->rbuf_freelist->len`
588.    *    - Improve this code.
589.    */
590. > static void *freelist_extract(SSL_CTX *ctx, int for_read, int sz)
591.   {
592.       SSL3_BUF_FREELIST *list;

ssl/s3_both.c:603:13: Binary operation: ([0, +oo] - 1):unsigned32
601.           list->head = ent->next;
602.           result = ent;
603.           if (--list->len == 0)
                   ^
604.               list->chunklen = 0;
605.       }
