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


ssl/s3_both.c:614:1: <LHS trace>
612.    *    - Improve this code.
613.    */
614. > static void *
615.   freelist_extract(SSL_CTX *ctx, int for_read, int sz)
616.   	{

ssl/s3_both.c:614:1: Parameter `ctx->rbuf_freelist->len`
612.    *    - Improve this code.
613.    */
614. > static void *
615.   freelist_extract(SSL_CTX *ctx, int for_read, int sz)
616.   	{

ssl/s3_both.c:629:7: Binary operation: ([0, +oo] - 1):unsigned32
627.   		list->head = ent->next;
628.   		result = ent;
629.   		if (--list->len == 0)
             ^
630.   			list->chunklen = 0;
631.   		}
