* lib/regex_internal.c (re_node_set_insert):
Add a debug assertion to pacify GCC 11.2 -fanalyzer.
2021-07-31 Paul Eggert <eggert@cs.ucla.edu>
+ regex: pacify GCC 11.2 -fanalyzer
+ * lib/regex_internal.c (re_node_set_insert):
+ Add a debug assertion to pacify GCC 11.2 -fanalyzer.
+
maint: pacify GCC 11.2 -fanalyzer in crypto tests
* tests/bench-digest.h (main): Report an error after memory
exhaustion, instead of using a null pointer.
if (__glibc_unlikely (set->nelem) == 0)
{
- /* We already guaranteed above that set->alloc != 0. */
+ /* Although we already guaranteed above that set->alloc != 0 and
+ therefore set->elems != NULL, add a debug assertion to pacify
+ GCC 11.2 -fanalyzer. */
+ DEBUG_ASSERT (set->elems);
set->elems[0] = elem;
++set->nelem;
return true;