inform clang-analyzer about noreturn of assertion failures

lukemaurer · Jul 31, 2024 · cd7f011 · cd7f011
1 parent be26469
commit cd7f011
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/runtime/caml/misc.h b/runtime/caml/misc.h
@@ -279,7 +279,15 @@ typedef char char_os;
    from the callsite, making debuggers able to see it. */
 #define CAMLassert(x) \
   (CAMLlikely(x) ? (void) 0 : caml_failed_assert ( #x , __OSFILE__, __LINE__))
-CAMLextern void caml_failed_assert (char *, char_os *, int);
+CAMLextern void caml_failed_assert (char *, char_os *, int)
+#if defined(__has_feature)
+  /* However, we do inform clang-analyzer that this function never returns,
+     since that improves analysis without breaking debugging */
+  #if __has_feature(attribute_analyzer_noreturn)
+    __attribute__((analyzer_noreturn))
+  #endif
+#endif
+;
 #else
 #define CAMLassert(x) ((void) 0)
 #endif