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


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

ssl/s3_cbc.c:322:41: Assignment
320.        * least two because the header is larger than a single block.
321.        */
322.       if (num_blocks > variance_blocks + (is_sslv3 ? 1 : 0)) {
                                               ^
323.           num_starting_blocks = num_blocks - variance_blocks;
324.           k = md_block_size * num_starting_blocks;

ssl/s3_cbc.c:264:23: <RHS trace>
262.        * variance_blocks can be reduced.
263.        */
264.       variance_blocks = is_sslv3 ? 2 : 6;
                             ^
265.       /*
266.        * From now on we're dealing with the MAC, which conceptually has 13

ssl/s3_cbc.c:264:23: Assignment
262.        * variance_blocks can be reduced.
263.        */
264.       variance_blocks = is_sslv3 ? 2 : 6;
                             ^
265.       /*
266.        * From now on we're dealing with the MAC, which conceptually has 13

ssl/s3_cbc.c:264:5: Assignment
262.        * variance_blocks can be reduced.
263.        */
264.       variance_blocks = is_sslv3 ? 2 : 6;
           ^
265.       /*
266.        * From now on we're dealing with the MAC, which conceptually has 13

ssl/s3_cbc.c:323:9: Binary operation: ([3, +oo] - [2, 6]):unsigned64
321.        */
322.       if (num_blocks > variance_blocks + (is_sslv3 ? 1 : 0)) {
323.           num_starting_blocks = num_blocks - variance_blocks;
               ^
324.           k = md_block_size * num_starting_blocks;
325.       }
