Searched refs:is_range_1_empty (Results 1 – 1 of 1) sorted by relevance
1485 bool const is_range_1_empty = buffer == buffer_end; in op_merge_blocks_with_buf() local1486 BOOST_ASSERT(is_range_1_empty || (buffer_end-buffer) == (last1+l_block-unmerged)); in op_merge_blocks_with_buf()1487 if(is_range_1_empty){ in op_merge_blocks_with_buf()1494 … BOOST_MOVE_ADAPTIVE_SORT_INVARIANT(!is_range_1_empty || (last_min-first_min) == (last2-unmerged)); in op_merge_blocks_with_buf()1498 is_range1_A ^= is_range_1_empty; in op_merge_blocks_with_buf()