diff --git a/src/frontend/numparam/xpressn.c b/src/frontend/numparam/xpressn.c index 2d25df921..8729cb3da 100644 --- a/src/frontend/numparam/xpressn.c +++ b/src/frontend/numparam/xpressn.c @@ -712,10 +712,11 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end) do { - c = *s++; - if (s > s_end) + if (s >= s_end) break; + c = *s++; + // facts: upcase('\0') == '\0' // facts: alfanum('\0') == false // facts: alfanum(upcase(x)) == alfanum(x) @@ -729,7 +730,7 @@ fetchid(SPICE_DSTRINGPTR t, const char *s, const char *s_end) } while (1); - return s - 1; /* return updated s */ + return s; }