Re: [PATCH v3 20/30] target/ppc: Mark helper_raise_exception* as noreturn

[Philippe Mathieu-Daudé]

On 4/30/21 3:15 AM, Richard Henderson wrote:
> Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
> ---
>  target/ppc/helper.h | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)

Reviewed-by: Philippe Mathieu-Daudé <f4...@amsat.org>