#include <stdbool.h>
#include "token_t.h"
+/* define a NORETURN attribute */
+#ifndef NORETURN
+# if defined(__GNUC__)
+# if __GNUC__ >= 3 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 70)
+# define NORETURN void __attribute__ ((noreturn))
+# endif /* __GNUC__ >= 3 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 70) */
+# endif /* defined(__GNUC__) */
+
+# if defined(_MSC_VER)
+# define NORETURN void __declspec(noreturn)
+# endif /* defined(_MSC_VER) */
+
+/* If not set above, use "void" for DOES_NOT_RETURN. */
+# ifndef NORETURN
+# define NORETURN void
+# endif /* ifndef NORETURN */
+#endif /* ifndef NORETURN */
+
void diagnosticf(const char *fmt, ...);
void errorf(source_position_t pos, const char *fmt, ...);
void warningf(source_position_t pos, const char *fmt, ...);
+NORETURN internal_errorf(source_position_t pos, const char *fmt, ...);
extern unsigned diagnostic_count;
extern unsigned error_count;