Add precondition assertions for file prefetch buffer reads

facebook · Dec 6, 2024 · 0ace993 · 0ace993
1 parent 31408c0
commit 0ace993
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/file/file_prefetch_buffer.cc b/file/file_prefetch_buffer.cc
@@ -856,7 +856,9 @@ bool FilePrefetchBuffer::TryReadFromCacheUntracked(
   if (copy_to_overlap_buffer) {
     buf = overlap_buf_;
   }
+  assert(buf->offset_ <= offset);
   uint64_t offset_in_buffer = offset - buf->offset_;
+  assert(n <= buf->CurrentSize() - offset_in_buffer);
   *result = Slice(buf->buffer_.BufferStart() + offset_in_buffer, n);
   if (prefetched) {
     readahead_size_ = std::min(max_readahead_size_, readahead_size_ * 2);