diff options
Diffstat (limited to 'src/support/utilities.cpp')
| -rw-r--r-- | src/support/utilities.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/support/utilities.cpp b/src/support/utilities.cpp index ea426df9c..f051a1871 100644 --- a/src/support/utilities.cpp +++ b/src/support/utilities.cpp @@ -24,9 +24,8 @@ #include "sanitizer/common_interface_defs.h" #endif -void wasm::handle_unreachable(const char* msg, - const char* file, - unsigned line) { +[[noreturn]] void +wasm::handle_unreachable(const char* msg, const char* file, unsigned line) { #ifndef NDEBUG if (msg) { std::cerr << msg << "\n"; |