fix #6346

Z3Prover · Feb 16, 2023 · 554a9e8 · 554a9e8
1 parent 7c08e53
commit 554a9e8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/util/zstring.cpp b/src/util/zstring.cpp
@@ -214,7 +214,8 @@ int zstring::indexofu(zstring const& other, unsigned offset) const {
 }
 
 int zstring::last_indexof(zstring const& other) const {
-    if (other.length() == 0) return length();
+    if (length() == 0 && other.length() == 0) return 0;
+    if (other.length() == 0) return -1;
     if (other.length() > length()) return -1;
     for (unsigned last = length() - other.length() + 1; last-- > 0; ) {
         bool suffix = true;