From 4d982e133ec7f0215cfffb05cb82b0278c99c7f3 Mon Sep 17 00:00:00 2001 From: joaquintides Date: Wed, 8 Mar 2023 18:29:55 +0100 Subject: [PATCH] added is-not-end assumption on table_iterator::increment --- include/boost/unordered/detail/foa.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/include/boost/unordered/detail/foa.hpp b/include/boost/unordered/detail/foa.hpp index c5c7abe6..67c0a46f 100644 --- a/include/boost/unordered/detail/foa.hpp +++ b/include/boost/unordered/detail/foa.hpp @@ -892,6 +892,7 @@ private: inline void increment()noexcept { + BOOST_UNORDERED_ASSUME(p!=nullptr); increment(std::integral_constant{}); }