From f66b4f088062fcda727fcc5081479191d3a3a456 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Feb 2022 15:32:41 +0200 Subject: [PATCH] fir #5856 --- src/util/zstring.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/zstring.cpp b/src/util/zstring.cpp index e73c4cd52..570510458 100644 --- a/src/util/zstring.cpp +++ b/src/util/zstring.cpp @@ -216,7 +216,7 @@ int zstring::indexofu(zstring const& other, unsigned offset) const { int zstring::last_indexof(zstring const& other) const { if (other.length() == 0) return length(); if (other.length() > length()) return -1; - for (unsigned last = length() - other.length(); last-- > 0; ) { + for (unsigned last = length() - other.length() + 1; last-- > 0; ) { bool suffix = true; for (unsigned j = 0; suffix && j < other.length(); ++j) { suffix = m_buffer[last + j] == other[j];