ssl/s3_cbc.c:600: error: INTEGER_OVERFLOW_L2
  ([3, +oo] - [2, 6]):unsigned32.
Showing all 6 steps of the trace


ssl/s3_cbc.c:599:41: <LHS trace>
597.        * least two because the header is larger than a single block.
598.        */
599.       if (num_blocks > variance_blocks + (is_sslv3 ? 1 : 0)) {
                                               ^
600.           num_starting_blocks = num_blocks - variance_blocks;
601.           k = md_block_size * num_starting_blocks;

ssl/s3_cbc.c:599:41: Assignment
597.        * least two because the header is larger than a single block.
598.        */
599.       if (num_blocks > variance_blocks + (is_sslv3 ? 1 : 0)) {
                                               ^
600.           num_starting_blocks = num_blocks - variance_blocks;
601.           k = md_block_size * num_starting_blocks;

ssl/s3_cbc.c:541:23: <RHS trace>
539.        * variance_blocks can be reduced.
540.        */
541.       variance_blocks = is_sslv3 ? 2 : 6;
                             ^
542.       /*
543.        * From now on we're dealing with the MAC, which conceptually has 13

ssl/s3_cbc.c:541:23: Assignment
539.        * variance_blocks can be reduced.
540.        */
541.       variance_blocks = is_sslv3 ? 2 : 6;
                             ^
542.       /*
543.        * From now on we're dealing with the MAC, which conceptually has 13

ssl/s3_cbc.c:541:5: Assignment
539.        * variance_blocks can be reduced.
540.        */
541.       variance_blocks = is_sslv3 ? 2 : 6;
           ^
542.       /*
543.        * From now on we're dealing with the MAC, which conceptually has 13

ssl/s3_cbc.c:600:9: Binary operation: ([3, +oo] - [2, 6]):unsigned32
598.        */
599.       if (num_blocks > variance_blocks + (is_sslv3 ? 1 : 0)) {
600.           num_starting_blocks = num_blocks - variance_blocks;
               ^
601.           k = md_block_size * num_starting_blocks;
602.       }
