]> Savannah Git Hosting - gnulib.git/commit
regex: pacify Coverity clean_state_log_if_needed
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 7 Dec 2021 22:34:21 +0000 (14:34 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 7 Dec 2021 22:37:55 +0000 (14:37 -0800)
commit8f3e5e5046055bc00151fe28b50ac438270e23b3
tree8e425da076ba1ed2c28df83e98dae4285af6cdee
parentcdebefdc665ef39bfc1467933b3c2c6a5b74bbe4
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.
ChangeLog
lib/regexec.c