ssl/s3_cbc.c:706: error: INTEGER_OVERFLOW_L2
  ([48, 127] - [48, 120]):unsigned32.
Showing all 5 steps of the trace


ssl/s3_cbc.c:425:5: <LHS trace>
423.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
424.       void (*md_transform) (void *ctx, const unsigned char *block);
425.       unsigned md_size, md_block_size = 64;
           ^
426.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
427.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:425:5: Assignment
423.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
424.       void (*md_transform) (void *ctx, const unsigned char *block);
425.       unsigned md_size, md_block_size = 64;
           ^
426.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
427.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:425:5: <RHS trace>
423.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
424.       void (*md_transform) (void *ctx, const unsigned char *block);
425.       unsigned md_size, md_block_size = 64;
           ^
426.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
427.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:425:5: Assignment
423.       void (*md_final_raw) (void *ctx, unsigned char *md_out);
424.       void (*md_transform) (void *ctx, const unsigned char *block);
425.       unsigned md_size, md_block_size = 64;
           ^
426.       unsigned sslv3_pad_length = 40, header_length, variance_blocks,
427.           len, max_mac_bytes, num_blocks,

ssl/s3_cbc.c:706:44: Binary operation: ([48, 127] - [48, 120]):unsigned32
704.                   /* If this is index_b, write a length byte. */
705.                   b = constant_time_select_8(is_block_b,
706.                                              length_bytes[j -
                                                  ^
707.                                                           (md_block_size -
708.                                                            md_length_size)], b);
