changed printf format for size_t printing
[cparser] / diagnostic.c
index 952bf19..8a15ef8 100644 (file)
+/*
+ * This file is part of cparser.
+ * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
+ *
+ * This program is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License
+ * as published by the Free Software Foundation; either version 2
+ * of the License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+ * 02111-1307, USA.
+ */
 #include <stdarg.h>
 #include <stdio.h>
 
 #include "diagnostic.h"
+#include "adt/error.h"
+#include "symbol_t.h"
+#include "token_t.h"
+#include "ast.h"
+#include "type.h"
+#include "warning.h"
 
+/** Number of occurred diagnostics. */
+unsigned diagnostic_count = 0;
+/** Number of occurred errors. */
+unsigned error_count      = 0;
+/** Number of occurred warnings. */
+unsigned warning_count    = 0;
+/** true if warnings should be inhibited */
+bool inhibit_all_warnings = false;
 
-void parser_print_prefix_pos(const source_position_t pos)
+/**
+ * Issue a diagnostic message.
+ */
+static void diagnosticvf(const char *const fmt, va_list ap)
 {
-       fprintf(stderr, "%s:%u: ", pos.input_name, pos.linenr);
+       for (const char* f = fmt; *f != '\0'; ++f) {
+               if (*f == '%') {
+                       ++f;
+
+                       bool extended = false;
+                       if (*f == '#') {
+                               extended = true;
+                               ++f;
+                       }
+
+                       switch (*f) {
+                               case '%':
+                                       fputc(*f, stderr);
+                                       break;
+
+                               case 'C': {
+                                       const wint_t val = va_arg(ap, wint_t);
+                                       fputwc(val, stderr);
+                                       break;
+                               }
+
+                               case 'c': {
+                                       const unsigned char val = (unsigned char) va_arg(ap, int);
+                                       fputc(val, stderr);
+                                       break;
+                               }
+
+                               case 'd': {
+                                       const int val = va_arg(ap, int);
+                                       fprintf(stderr, "%d", val);
+                                       break;
+                               }
+
+                               case 's': {
+                                       const char* const str = va_arg(ap, const char*);
+                                       fputs(str, stderr);
+                                       break;
+                               }
+
+                               case 'Y': {
+                                       const symbol_t *const symbol = va_arg(ap, const symbol_t*);
+                                       fputs(symbol->string, stderr);
+                                       break;
+                               }
+
+                               case 'E': {
+                                       const expression_t* const expr = va_arg(ap, const expression_t*);
+                                       print_expression(expr);
+                                       break;
+                               }
+
+                               case 'Q': {
+                                       const unsigned qualifiers = va_arg(ap, unsigned);
+                                       print_type_qualifiers(qualifiers);
+                                       break;
+                               }
+
+                               case 'T': {
+                                       const type_t* const type = va_arg(ap, const type_t*);
+                                       const symbol_t*     sym  = NULL;
+                                       if (extended) {
+                                               sym = va_arg(ap, const symbol_t*);
+                                       }
+                                       print_type_ext(type, sym, NULL);
+                                       break;
+                               }
+
+                               case 'K': {
+                                       const token_t* const token = va_arg(ap, const token_t*);
+                                       print_token(stderr, token);
+                                       break;
+                               }
+
+                               case 'k': {
+                                       if (extended) {
+                                               bool              first     = false;
+                                               va_list*          toks      = va_arg(ap, va_list*);
+                                               const char* const delimiter = va_arg(ap, const char*);
+                                               for (;;) {
+                                                       const token_type_t tok = va_arg(*toks, token_type_t);
+                                                       if (tok == 0)
+                                                               break;
+                                                       if (first) {
+                                                               first = false;
+                                                       } else {
+                                                               fputs(delimiter, stderr);
+                                                       }
+                                                       print_token_type(stderr, tok);
+                                               }
+                                       } else {
+                                               const token_type_t token = va_arg(ap, token_type_t);
+                                               print_token_type(stderr, token);
+                                       }
+                                       break;
+                               }
+
+                               default:
+                                       panic("unknown format specifier");
+                       }
+               } else {
+                       fputc(*f, stderr);
+               }
+       }
+}
+
+void diagnosticf(const char *const fmt, ...)
+{
+       va_list ap;
+       va_start(ap, fmt);
+       ++diagnostic_count;
+       diagnosticvf(fmt, ap);
+       va_end(ap);
 }
 
-void parser_print_warning_prefix_pos(const source_position_t pos)
+static void errorvf(const source_position_t pos,
+                    const char *const fmt, va_list ap)
 {
-       parser_print_prefix_pos(pos);
-       fputs("warning: ", stderr);
+       fprintf(stderr, "%s:%u: error: ", pos.input_name, pos.linenr);
+       ++error_count;
+       diagnosticvf(fmt, ap);
+       fputc('\n', stderr);
+
+       if (warning.fatal_errors)
+               exit(EXIT_FAILURE);
+}
+
+void errorf(const source_position_t pos, const char *const fmt, ...)
+{
+       va_list ap;
+       va_start(ap, fmt);
+       errorvf(pos, fmt, ap);
+       va_end(ap);
 }
 
-void parse_warning_pos(const source_position_t pos, const char *const message)
+static void warningvf(const source_position_t pos,
+                      const char *const fmt, va_list ap)
 {
-       parser_print_prefix_pos(pos);
-       fprintf(stderr, "warning: %s\n", message);
+       fprintf(stderr, "%s:%u: warning: ", pos.input_name, pos.linenr);
+       ++warning_count;
+       diagnosticvf(fmt, ap);
+       fputc('\n', stderr);
 }
 
-void parse_warning_posf(const source_position_t pos, const char *const fmt, ...)
+void warningf(const source_position_t pos, const char *const fmt, ...)
 {
-       parser_print_prefix_pos(pos);
-       fputs("warning: ", stderr);
+       if (inhibit_all_warnings)
+               return;
+
        va_list ap;
        va_start(ap, fmt);
-       vfprintf(stderr, fmt, ap);
+       if (warning.s_are_errors) {
+               errorvf(pos, fmt, ap);
+       } else {
+               warningvf(pos, fmt, ap);
+       }
        va_end(ap);
+}
+
+static void internal_errorvf(const source_position_t pos,
+                    const char *const fmt, va_list ap)
+{
+       fprintf(stderr, "%s:%u: internal error: ", pos.input_name, pos.linenr);
+       diagnosticvf(fmt, ap);
        fputc('\n', stderr);
 }
+
+void internal_errorf(const source_position_t pos, const char *const fmt, ...)
+{
+       va_list ap;
+       va_start(ap, fmt);
+       internal_errorvf(pos, fmt, ap);
+       va_end(ap);
+       abort();
+}