target/microblaze: Mark raise_exception as noreturn
commit41060b74bf4597b8260205bf1b6ed43c3b1696d7
authorRichard Henderson <richard.henderson@linaro.org>
Tue, 25 Aug 2020 14:35:19 +0000 (25 07:35 -0700)
committerRichard Henderson <richard.henderson@linaro.org>
Tue, 1 Sep 2020 14:41:38 +0000 (1 07:41 -0700)
tree5c5d4f678f01eab687a1c74ae39d54e632c33da9
parent41ba37c4778e9364348e4ffe448650ae5e4b3563
target/microblaze: Mark raise_exception as noreturn

This will allow tcg to remove any dead code that might
follow an exception.

Tested-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Reviewed-by: Edgar E. Iglesias <edgar.iglesias@xilinx.com>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
target/microblaze/helper.h