On Mon, May 20, 2024 at 5:43 PM Bruno Haible <br...@clisp.org> wrote:
> Jeffrey Walton wrote: > > I think this is a valid finding. It will operate one way in release > builds > > (-DNDEBUG), and another way in debug builds (no NDEBUG). > > No. Like Coverity, you are assuming that 'ASSERT' works like 'assert'. > But it does not. The raison d'être of ASSERT is to work independently > of NDEBUG (and to produce a better diagnostic). > See tests/macros.h line 67. > That macro has been traditionally called VERIFY. It is effectively an assert without the gyrations around NDEBUG. Jeff
