ssl/statem/statem.c:763: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - [0, 2]):unsigned64 by call to `WPACKET_finish`.
Showing all 10 steps of the trace


ssl/statem/statem.c:763:25: Call
761.                       || (confunc != NULL && !confunc(s, &pkt))
762.                       || !ssl_close_construct_packet(s, &pkt, mt)
763.                       || !WPACKET_finish(&pkt)) {
                               ^
764.                   WPACKET_cleanup(&pkt);
765.                   ossl_statem_set_error(s);

ssl/packet.c:232:1: Parameter `pkt->subs->lenbytes`
  230.   }
  231.   
  232. > int WPACKET_finish(WPACKET *pkt)
  233.   {
  234.       int ret;

ssl/statem/statem.c:763:25: Call
761.                       || (confunc != NULL && !confunc(s, &pkt))
762.                       || !ssl_close_construct_packet(s, &pkt, mt)
763.                       || !WPACKET_finish(&pkt)) {
                               ^
764.                   WPACKET_cleanup(&pkt);
765.                   ossl_statem_set_error(s);

ssl/packet.c:232:1: Parameter `pkt->curr`
  230.   }
  231.   
  232. > int WPACKET_finish(WPACKET *pkt)
  233.   {
  234.       int ret;

ssl/packet.c:243:11: Call
  241.           return 0;
  242.   
  243.       ret = wpacket_intern_close(pkt);
                   ^
  244.       if (ret) {
  245.           OPENSSL_free(pkt->subs);

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

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

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

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

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