OSDN Git Service

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