From fcc40310c7179fb9b8e1fe759ff23766f2d9f63a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 15 Feb 2020 21:16:34 -1000 Subject: [PATCH] fix #3015 Signed-off-by: Nikolaj Bjorner --- src/parsers/smt2/smt2scanner.cpp | 2 +- src/parsers/smt2/smt2scanner.h | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/src/parsers/smt2/smt2scanner.cpp b/src/parsers/smt2/smt2scanner.cpp index 82b326ce0..5f689d331 100644 --- a/src/parsers/smt2/smt2scanner.cpp +++ b/src/parsers/smt2/smt2scanner.cpp @@ -379,7 +379,7 @@ namespace smt2 { char const * scanner::cached_str(unsigned begin, unsigned end) { m_cache_result.reset(); - while (isspace(m_cache[begin]) && begin < end) + while (begin < end && isspace(m_cache[begin])) begin++; while (begin < end && isspace(m_cache[end-1])) end--; diff --git a/src/parsers/smt2/smt2scanner.h b/src/parsers/smt2/smt2scanner.h index 5fad416b0..857b1e065 100644 --- a/src/parsers/smt2/smt2scanner.h +++ b/src/parsers/smt2/smt2scanner.h @@ -102,6 +102,7 @@ namespace smt2 { void stop_caching() { m_cache_input = false; } unsigned cache_size() const { return m_cache.size(); } void reset_cache() { m_cache.reset(); } + char const * cached_str(unsigned begin, unsigned end); };