Index: source/libvpx/vpx/internal/vpx_codec_internal.h |
diff --git a/source/libvpx/vpx/internal/vpx_codec_internal.h b/source/libvpx/vpx/internal/vpx_codec_internal.h |
index cbfffd0af2ab5b1fe46f86440b3fe9ab64afbc66..7380fcc7e24c5b0e8d13273956dd401730bfddb8 100644 |
--- a/source/libvpx/vpx/internal/vpx_codec_internal.h |
+++ b/source/libvpx/vpx/internal/vpx_codec_internal.h |
@@ -425,10 +425,18 @@ struct vpx_internal_error_info { |
jmp_buf jmp; |
}; |
+#define CLANG_ANALYZER_NORETURN |
+#if defined(__has_feature) |
+#if __has_feature(attribute_analyzer_noreturn) |
+#undef CLANG_ANALYZER_NORETURN |
+#define CLANG_ANALYZER_NORETURN __attribute__((analyzer_noreturn)) |
+#endif |
+#endif |
+ |
void vpx_internal_error(struct vpx_internal_error_info *info, |
vpx_codec_err_t error, |
const char *fmt, |
- ...); |
+ ...) CLANG_ANALYZER_NORETURN; |
#ifdef __cplusplus |
} // extern "C" |