On 2/21/23 13:25, Philippe Mathieu-Daudé wrote:
In order to avoid warnings such commit c0a6665c3c ("target/i386: Remove compilation errors when -Werror=maybe-uninitialized"), replace all assert(0) and g_assert(0) by g_assert_not_reached().Remove any code following g_assert_not_reached(). See previous commit for rationale. Signed-off-by: Philippe Mathieu-Daudé <phi...@linaro.org> --- docs/spin/aio_notify_accept.promela | 6 +- docs/spin/aio_notify_bug.promela | 6 +-
C only. Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~
