Skip to content

Use assert() instead of abort() for CPPCHECK and -fanalyzer

Ondřej Surý requested to merge ondrej/use-assert-instead-of-abort-for-CPPCHECK into main

Previously our DbC macros were redefined from the internal implementation of assertion failure to simple if (!(e)) abort() macros. Turns out that doesn't work that well with new GCC code analyzer (-fanalyze), so this commit changes the code to redefine our DbC macros to simple assert() if CPPCHECK is defined and NDEBUG isn't.

Merge request reports