Guard iterator::is_match() against invalid member position.

libbitcoin · Jun 10, 2024 · 536f13c · 536f13c
1 parent 324907b
commit 536f13c
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/include/bitcoin/database/impl/primitives/iterator.ipp b/include/bitcoin/database/impl/primitives/iterator.ipp
@@ -62,11 +62,10 @@ TEMPLATE
 INLINE bool CLASS::is_match() const NOEXCEPT
 {
     using namespace system;
-    BC_ASSERT(!is_add_overflow(link_to_position(link_), Link::size));
-
-    if (!memory_)
+    if (link_.is_terminal() || !memory_)
         return false;
 
+    BC_ASSERT(!is_add_overflow(link_to_position(link_), Link::size));
     auto link = memory_->offset(link_to_position(link_) + Link::size);
     if (is_null(link))
         return false;