Re: [PATCH-for-6.1? v2] target/nios2: Mark raise_exception() as noreturn

[Richard Henderson]

On 7/29/21 9:13 AM, Richard Henderson wrote:
> On 7/29/21 12:13 AM, Philippe Mathieu-Daudé wrote:
> > Raised exceptions don't return, so mark the helper with
> > noreturn.
> >
> > Fixes: 032c76bc6f9 ("nios2: Add architecture emulation support")
> > Signed-off-by: Philippe Mathieu-Daudé<f4bug@amsat.org>
> > ---
>
> Reviewed-by: Richard Henderson <richard.henderson@linaro.org>

I'm going to queue this for 6.1, since I have another bug that wants pulling and this is 
trivial.


r~