#ifndef DIAGNOSTIC_H
#define DIAGNOSTIC_H
+#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 */
+
+/**
+ * Issue a diagnostic message.
+ * Format types:
+ * %Y const symbol_t *
+ * %E const expression_t *
+ * %Q unsigned (qualifier)
+ * %T type_t
+ * %K token_t
+ * %k token_kind_t
+ * %P const source_position_t *
+ *
+ */
void diagnosticf(const char *fmt, ...);
-void errorf(source_position_t pos, const char *fmt, ...);
-void warningf(source_position_t pos, const char *fmt, ...);
+void errorf(const source_position_t *pos, const char *fmt, ...);
+void warningf(const source_position_t *pos, const char *fmt, ...);
+NORETURN internal_errorf(const source_position_t *pos, const char *fmt, ...);
extern unsigned diagnostic_count;
extern unsigned error_count;