Paul Eggert <egg...@cs.ucla.edu> writes: > On 12/7/21 09:38, Robbie Harwood wrote: > >> My*guess* is that Coverity has noticed that `mctx->state_log` is >> checked against NULL in many other places in that file, and was unable >> to prove to itself that it couldn't be NULL there too. If that's the >> case, a DEBUG_ASSERT would presumably do the trick better. > > Yes, I can see why Coverity can't deduce the code is safe. > > I installed the attached patch into Gnulib; it adds a DEBUG_ASSERT which > should be a reasonable prophylactic even if we don't use Coverity. I > hope this also suffices to pacify Coverity.
Thanks! Be well, --Robbie
signature.asc
Description: PGP signature
