ssl/statem/statem_srvr.c:2777: error: INTEGER_OVERFLOW_L2
  ([0, +oo] - 1):unsigned64 by call to `BUF_reverse`.
Showing all 5 steps of the trace


ssl/statem/statem_srvr.c:2698:9: Assignment
2696.       if (PACKET_remaining(pkt) == 64
2697.           && EVP_PKEY_id(pkey) == NID_id_GostR3410_2001) {
2698.           len = 64;
                ^
2699.       } else
2700.   #endif

ssl/statem/statem_srvr.c:2777:13: Call
2775.                   goto f_err;
2776.               }
2777.               BUF_reverse(gost_data, data, len);
                    ^
2778.               data = gost_data;
2779.           }

crypto/buffer/buffer.c:194:1: <LHS trace>
192.   }
193.   
194. > void BUF_reverse(unsigned char *out, const unsigned char *in, size_t size)
195.   {
196.       size_t i;

crypto/buffer/buffer.c:194:1: Parameter `size`
  192.   }
  193.   
  194. > void BUF_reverse(unsigned char *out, const unsigned char *in, size_t size)
  195.   {
  196.       size_t i;

crypto/buffer/buffer.c:198:9: Binary operation: ([0, +oo] - 1):unsigned64 by call to `BUF_reverse` 
  196.       size_t i;
  197.       if (in) {
  198.           out += size - 1;
                 ^
  199.           for (i = 0; i < size; i++)
  200.               *out-- = *in++;
