Am 21.10.15 um 00:37 schrieb Steffan Karger: > The code behind our ASSERT() macro is pretty complex. Although it seems > to be correct, make it trivially clear we will never return from a failed > assert by adding an _exit(1) call. As was suggested by Sebastian Krahmer > of the SuSE security team. > > A secondary benefit is that tools like clang static analyzer and coverity > can now understand our ASSERT() macros too. To make sure they do, change > assert_failed() to a static inline function. > This change makes absolute sense. ACK from me.
Arne
