ssl/s3_cbc.c:650: 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:402:1: <LHS trace>
400.    * padding too. ) 
401.    */
402. > void ssl3_cbc_digest_record(
403.   	const EVP_MD_CTX *ctx,
404.   	unsigned char* md_out,

ssl/s3_cbc.c:402:1: Parameter `data_plus_mac_plus_padding_size`
400.    * padding too. ) 
401.    */
402. > void ssl3_cbc_digest_record(
403.   	const EVP_MD_CTX *ctx,
404.   	unsigned char* md_out,

ssl/s3_cbc.c:402:1: <RHS trace>
400.    * padding too. ) 
401.    */
402. > void ssl3_cbc_digest_record(
403.   	const EVP_MD_CTX *ctx,
404.   	unsigned char* md_out,

ssl/s3_cbc.c:402:1: Parameter `data_plus_mac_plus_padding_size`
400.    * padding too. ) 
401.    */
402. > void ssl3_cbc_digest_record(
403.   	const EVP_MD_CTX *ctx,
404.   	unsigned char* md_out,

ssl/s3_cbc.c:650:9: 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
648.   				b = header[k];
649.   			else if (k < data_plus_mac_plus_padding_size + header_length)
650.   				b = data[k-header_length];
               ^
651.   			k++;
652.   
