fix #7343

NikolajBjorner · NikolajBjorner · commit 656545564dfd · 2024-08-14T09:17:05.000-07:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/src/opt/opt_parse.cpp b/src/opt/opt_parse.cpp
@@ -69,7 +69,7 @@ class opt_stream_buffer {
 bool opt_stream_buffer::parse_token(char const* token) {
     skip_whitespace();
     char const* t = token;
-    while (*t && ch() == *t) {
+    while (*t && ch() && ch() == *t) {
         next();
         ++t;
     }

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,7 @@ class opt_stream_buffer {`
`69`	`69`	`bool opt_stream_buffer::parse_token(char const* token) {`
`70`	`70`	`skip_whitespace();`
`71`	`71`	`char const* t = token;`
`72`		`- while (t && ch() == t) {`
	`72`	`+ while (t && ch() && ch() == t) {`
`73`	`73`	`next();`
`74`	`74`	`++t;`
`75`	`75`	`}`