In C23 the noreturn attribute for functions needs [[ ]] to work. At least gcc15 in c23 mode trips over this.
-- :wq Claudio Index: patches/patch-src_flint_h =================================================================== RCS file: patches/patch-src_flint_h diff -N patches/patch-src_flint_h --- /dev/null 1 Jan 1970 00:00:00 -0000 +++ patches/patch-src_flint_h 30 Oct 2025 15:07:01 -0000 @@ -0,0 +1,14 @@ +In C23 noreturn is actually spelled [[noreturn]] + +Index: src/flint.h +--- src/flint.h.orig ++++ src/flint.h +@@ -146,7 +146,7 @@ typedef struct __FLINT_FILE FLINT_FILE; + #elif __STDC_VERSION__ < 202300L + # define FLINT_NORETURN _Noreturn + #else +-# define FLINT_NORETURN noreturn ++# define FLINT_NORETURN [[noreturn]] + #endif + + #if FLINT_USES_TLS
