ssl/t1_lib.c:1852: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 2):unsigned64 by call to `PACKET_forward`.
Showing all 8 steps of the trace


ssl/t1_lib.c:1852:10: Call
1850.       tmppkt = *pkt;
1851.   
1852.       if (!PACKET_forward(&tmppkt, 2)
                 ^
1853.               || !PACKET_get_net_2(&tmppkt, &type)
1854.               || !PACKET_get_net_2(&tmppkt, &size)

ssl/packet_locl.h:426:8: Parameter `len`
  424.   
  425.   /* Move the current reading position forward |len| bytes */
  426.   __owur static inline int PACKET_forward(PACKET *pkt, size_t len)
                ^
  427.   {
  428.       if (PACKET_remaining(pkt) < len)

ssl/packet_locl.h:431:5: Call
  429.           return 0;
  430.   
  431.       packet_forward(pkt, len);
             ^
  432.   
  433.       return 1;

ssl/packet_locl.h:79:1: <LHS trace>
77.   
78.   /* Internal unchecked shorthand; don't use outside this file. */
79. > static inline void packet_forward(PACKET *pkt, size_t len)
80.   {
81.       pkt->curr += len;

ssl/packet_locl.h:79:1: Parameter `pkt->remaining`
    77.   
    78.   /* Internal unchecked shorthand; don't use outside this file. */
    79. > static inline void packet_forward(PACKET *pkt, size_t len)
    80.   {
    81.       pkt->curr += len;

ssl/packet_locl.h:79:1: <RHS trace>
77.   
78.   /* Internal unchecked shorthand; don't use outside this file. */
79. > static inline void packet_forward(PACKET *pkt, size_t len)
80.   {
81.       pkt->curr += len;

ssl/packet_locl.h:79:1: Parameter `len`
    77.   
    78.   /* Internal unchecked shorthand; don't use outside this file. */
    79. > static inline void packet_forward(PACKET *pkt, size_t len)
    80.   {
    81.       pkt->curr += len;

ssl/packet_locl.h:82:5: Binary operation: ([0, +oo] - 2):unsigned64 by call to `PACKET_forward` 
    80.   {
    81.       pkt->curr += len;
    82.       pkt->remaining -= len;
              ^
    83.   }
    84.   
