Fixes a bug where flushing 0..-1 found only the very first code region, due to passing 0..0 to binary_search.
Adds a unit test and an assert on passing 0..0 in the future.
Fixes #4097 (closed)
Fixes a bug where flushing 0..-1 found only the very first code region, due to passing 0..0 to binary_search.
Adds a unit test and an assert on passing 0..0 in the future.
Fixes #4097 (closed)