zephyr/subsys/debug
Stephanos Ioannidis 230ddd9a7f lib: os: assert: Add unreachable path hint for assertion failure
This commit adds the `CODE_UNREACHABLE` hint at the end of the
assertion failure branch so that the compiler takes note of the assert
function not returning when an assertion fails.

This prevents the compiler from generating misguided warnings assuming
the asserted execution paths.

It also introduces the `ASSERT_TEST` Kconfig symbol, which indicates
that the "assert test mode" is enabled. This symbol may be selected by
the tests that require the assert post action function to return
without aborting so that the test can proceed.

Note that the `CODE_UNREACHABLE` hint is specified only when the assert
test mode is disabled in order to prevent the tests from crashing when
the assert post action function returns.

Signed-off-by: Stephanos Ioannidis <root@stephanos.io>
2022-08-10 14:32:36 +02:00
..
coredump
gdbstub debug: gdbstub: Move to DTS for uart device 2022-08-01 09:09:45 -07:00
CMakeLists.txt
Kconfig lib: os: assert: Add unreachable path hint for assertion failure 2022-08-10 14:32:36 +02:00
asan_hacks.c
gdbstub.c
gdbstub_backend.h
thread_analyzer.c
thread_info.c