diff options
| author | Philippe Mathieu-Daudé <f4bug@amsat.org> | 2021-07-29 12:13:15 +0200 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2021-07-30 08:23:12 -1000 |
| commit | 236f6709ae0da224314c3344c339ed0dc07c15cf (patch) | |
| tree | bce9af4a3fbd81f2418ebd704b09be60cb079dc1 | |
| parent | 7039e1f60486662d238ea1a16992a3efe80d7840 (diff) | |
target/nios2: Mark raise_exception() as noreturn
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>
Message-Id: <20210729101315.2318714-1-f4bug@amsat.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
| -rw-r--r-- | target/nios2/helper.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/target/nios2/helper.h b/target/nios2/helper.h index b0cb9146a5..6c8f0b5b35 100644 --- a/target/nios2/helper.h +++ b/target/nios2/helper.h @@ -18,7 +18,7 @@ * <http://www.gnu.org/licenses/lgpl-2.1.html> */ -DEF_HELPER_2(raise_exception, void, env, i32) +DEF_HELPER_FLAGS_2(raise_exception, TCG_CALL_NO_WG, noreturn, env, i32) #if !defined(CONFIG_USER_ONLY) DEF_HELPER_2(mmu_read_debug, void, env, i32) |