In the member function ParseNextKey() of the Block::Ite class in the leveldb/table/block.cc file, the last member variable restart_index_ updated.

In the leveldb/table/block.cc file, the member function ParseNextKey() of the Block::Ite class, when updating the member variable restart_index_, the last judgment condition of the while loop (**GetRestartPoint(restart_index_ + 1) < current_**) should be added with an equal sign, right? If the first KV of the restart point is read without the equal sign, the restart_index will not be updated in time, and the second KV must be read to update.

Start in leveldb/table/block.cc at Block::Ite::ParseNextKey() and inspect how restart_index_ is updated by the while-loop condition around GetRestartPoint(restart_index_ + 1) and current_. Verify behavior when the first key at a restart point is read; done means restart_index_ is updated at that point without requiring the next key.

Written by the indexing model from the issue text.