mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

expand comment

Browse Source
This commit is contained in:
Ralf Jung 2023-08-09 22:10:16 +02:00 committed by GitHub
parent 1e347e1e73
commit 2c69b466ac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/tools/miri/src/concurrency/range_object_map.rs
View File

@ -45,6 +45,7 @@ impl<T> RangeObjectMap<T> {
self.v.binary_search_by(|elem| -> std::cmp::Ordering { self.v.binary_search_by(|elem| -> std::cmp::Ordering {
if offset < elem.range.start { if offset < elem.range.start {
// We are too far right (offset is further left). // We are too far right (offset is further left).
// (`Greater` means that `elem` is greater than the desired target.)
std::cmp::Ordering::Greater std::cmp::Ordering::Greater
} else if offset >= elem.range.end() { } else if offset >= elem.range.end() {
// We are too far left (offset is further right). // We are too far left (offset is further right).