Problem reported by Robbie Harwood in:
https://lists.gnu.org/r/bug-gnulib/2021-12/msg00005.html
* lib/regexec.c (clean_state_log_if_needed):
Add a DEBUG_ASSERT; this both pacifies Coverity and
will help to debug in case some other change mistakenly
causes the assertion to become false.
+2021-12-07 Paul Eggert <eggert@cs.ucla.edu>
+
+ regex: pacify Coverity clean_state_log_if_needed
+ Problem reported by Robbie Harwood in:
+ https://lists.gnu.org/r/bug-gnulib/2021-12/msg00005.html
+ * lib/regexec.c (clean_state_log_if_needed):
+ Add a DEBUG_ASSERT; this both pacifies Coverity and
+ will help to debug in case some other change mistakenly
+ causes the assertion to become false.
+
2021-12-07 Bruno Haible <bruno@clisp.org>
gettext-h: Optimize also for clang.
if (top < next_state_log_idx)
{
+ DEBUG_ASSERT (mctx->state_log != NULL);
memset (mctx->state_log + top + 1, '\0',
sizeof (re_dfastate_t *) * (next_state_log_idx - top));
mctx->state_log_top = next_state_log_idx;