Re: [PATCH v2 01/48] docs/spin: replace assert(0) with g_assert_not_reached()

On 9/12/24 09:14, Paolo Bonzini wrote: On 9/12/24 09:38, Pierrick Bouvier wrote: This patch is part of a series that moves towards a consistent use of g_assert_not_reached() rather than an ad hoc mix of different assertion mechanisms. Reviewed-by: Richard Henderson Signed-off-by: Pierrick Bouv

Re: [PATCH v2 01/48] docs/spin: replace assert(0) with g_assert_not_reached()

On 9/12/24 09:38, Pierrick Bouvier wrote: This patch is part of a series that moves towards a consistent use of g_assert_not_reached() rather than an ad hoc mix of different assertion mechanisms. Reviewed-by: Richard Henderson Signed-off-by: Pierrick Bouvier This is not C code, so please dro

[PATCH v2 01/48] docs/spin: replace assert(0) with g_assert_not_reached()

This patch is part of a series that moves towards a consistent use of g_assert_not_reached() rather than an ad hoc mix of different assertion mechanisms. Reviewed-by: Richard Henderson Signed-off-by: Pierrick Bouvier --- docs/spin/aio_notify_accept.promela | 6 +++--- docs/spin/aio_notify_bug.p