ssl/tls13_enc.c:60: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `WPACKET_close`.
Showing all 11 steps of the trace


ssl/tls13_enc.c:57:17: Call
55.       if (!WPACKET_init_static_len(&pkt, hkdflabel, sizeof(hkdflabel), 0)
56.               || !WPACKET_put_bytes_u16(&pkt, outlen)
57.               || !WPACKET_start_sub_packet_u8(&pkt)
                      ^
58.               || !WPACKET_memcpy(&pkt, label_prefix, sizeof(label_prefix) - 1)
59.               || !WPACKET_memcpy(&pkt, label, labellen)

ssl/packet.c:251:1: Parameter `lenbytes`
  249.   }
  250.   
  251. > int WPACKET_start_sub_packet_len__(WPACKET *pkt, size_t lenbytes)
  252.   {
  253.       WPACKET_SUB *sub;

ssl/packet.c:268:5: Assignment
  266.       pkt->subs = sub;
  267.       sub->pwritten = pkt->written + lenbytes;
  268.       sub->lenbytes = lenbytes;
             ^
  269.   
  270.       if (lenbytes == 0) {

ssl/tls13_enc.c:60:17: Call
58.               || !WPACKET_memcpy(&pkt, label_prefix, sizeof(label_prefix) - 1)
59.               || !WPACKET_memcpy(&pkt, label, labellen)
60.               || !WPACKET_close(&pkt)
                      ^
61.               || !WPACKET_sub_memcpy_u8(&pkt, hash, (hash == NULL) ? 0 : hashlen)
62.               || !WPACKET_get_total_written(&pkt, &hkdflabellen)

ssl/packet.c:219:1: Parameter `pkt->curr`
  217.   }
  218.   
  219. > int WPACKET_close(WPACKET *pkt)
  220.   {
  221.       /*

ssl/packet.c:228:12: Call
  226.           return 0;
  227.   
  228.       return wpacket_intern_close(pkt);
                    ^
  229.   }
  230.   

ssl/packet.c:185:1: <LHS trace>
183.    * close a sub-packet and write out its length if necessary.
184.    */
185. > static int wpacket_intern_close(WPACKET *pkt)
186.   {
187.       WPACKET_SUB *sub = pkt->subs;

ssl/packet.c:185:1: Parameter `pkt->curr`
    183.    * close a sub-packet and write out its length if necessary.
    184.    */
    185. > static int wpacket_intern_close(WPACKET *pkt)
    186.   {
    187.       WPACKET_SUB *sub = pkt->subs;

ssl/packet.c:185:1: <RHS trace>
183.    * close a sub-packet and write out its length if necessary.
184.    */
185. > static int wpacket_intern_close(WPACKET *pkt)
186.   {
187.       WPACKET_SUB *sub = pkt->subs;

ssl/packet.c:185:1: Parameter `pkt->subs->lenbytes`
    183.    * close a sub-packet and write out its length if necessary.
    184.    */
    185. > static int wpacket_intern_close(WPACKET *pkt)
    186.   {
    187.       WPACKET_SUB *sub = pkt->subs;

ssl/packet.c:197:13: Binary operation: ([0, +oo] - 1):unsigned64 by call to `WPACKET_close` 
    195.               && sub->flags & WPACKET_FLAGS_ABANDON_ON_ZERO_LENGTH) {
    196.           /* Deallocate any bytes allocated for the length of the WPACKET */
    197.           if ((pkt->curr - sub->lenbytes) == sub->packet_len) {
                       ^
    198.               pkt->written -= sub->lenbytes;
    199.               pkt->curr -= sub->lenbytes;
