Merge pull request flintlib#2116 from orlitzky/c23

src/flint.h.in: fix "noreturn" attribute in C23 mode
albinahlback · Nov 26, 2024 · 9b3d2b6 · 9b3d2b6
2 parents cb7513b + ee51683
commit 9b3d2b6
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/flint.h.in b/src/flint.h.in
@@ -156,12 +156,10 @@ typedef const ulong * nn_srcptr;
 # define FLINT_DEPRECATED
 #endif
 
-#if defined(__cplusplus)
+#if defined(__cplusplus) || ( __STDC_VERSION__ >= 202300L )
 # define FLINT_NORETURN [[noreturn]]
-#elif __STDC_VERSION__ < 202300L
-# define FLINT_NORETURN _Noreturn
 #else
-# define FLINT_NORETURN noreturn
+# define FLINT_NORETURN _Noreturn
 #endif
 
 #if FLINT_USES_TLS