ssl/s3_cbc.c:677: error: INTEGER_OVERFLOW_L2
  ([13, `data_plus_mac_plus_padding_size` + `mac_secret_length` + 58] - [14-min(1, `data_plus_mac_plus_padding_size`), `mac_secret_length` + 59]):unsigned32.
Showing all 5 steps of the trace


ssl/s3_cbc.c:409:1: <LHS trace>
407.    * padding too. )
408.    */
409. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
410.                               unsigned char *md_out,
411.                               size_t *md_out_size,

ssl/s3_cbc.c:409:1: Parameter `data_plus_mac_plus_padding_size`
407.    * padding too. )
408.    */
409. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
410.                               unsigned char *md_out,
411.                               size_t *md_out_size,

ssl/s3_cbc.c:409:1: <RHS trace>
407.    * padding too. )
408.    */
409. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
410.                               unsigned char *md_out,
411.                               size_t *md_out_size,

ssl/s3_cbc.c:409:1: Parameter `data_plus_mac_plus_padding_size`
407.    * padding too. )
408.    */
409. > void ssl3_cbc_digest_record(const EVP_MD_CTX *ctx,
410.                               unsigned char *md_out,
411.                               size_t *md_out_size,

ssl/s3_cbc.c:677:21: Binary operation: ([13, data_plus_mac_plus_padding_size + mac_secret_length + 58] - [14-min(1, data_plus_mac_plus_padding_size), mac_secret_length + 59]):unsigned32
675.                   b = header[k];
676.               else if (k < data_plus_mac_plus_padding_size + header_length)
677.                   b = data[k - header_length];
                           ^
678.               k++;
679.   
