X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=diagnostic.c;h=eacf085389f7087743c844088c010c63af295938;hb=b63886b188eeedf36d8df12df3fe1f5fd90818d4;hp=9a7ca82fb0b25bb160bd3b190a69a0214f52ca9a;hpb=63e9daef66b06084272b2be411bfd1c1ed64dbc6;p=cparser diff --git a/diagnostic.c b/diagnostic.c index 9a7ca82..eacf085 100644 --- a/diagnostic.c +++ b/diagnostic.c @@ -1,19 +1,54 @@ +/* + * This file is part of cparser. + * Copyright (C) 2007-2008 Matthias Braun + * + * 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 #include -#include "adt/error.h" -#include "ast.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; + +static const source_position_t *curr_pos = NULL; + +/** + * prints an additional source position + */ +static void print_source_position(FILE *out, const source_position_t *pos) { + fprintf(out, "at line %u", pos->linenr); + if (curr_pos == NULL || curr_pos->input_name != pos->input_name) + fprintf(out, " of \"%s\"", pos->input_name); +} - -//#define ABORT_ON_ERROR - - -bool found_error; - - +/** + * Issue a diagnostic message. + */ static void diagnosticvf(const char *const fmt, va_list ap) { for (const char* f = fmt; *f != '\0'; ++f) { @@ -38,7 +73,7 @@ static void diagnosticvf(const char *const fmt, va_list ap) } case 'c': { - const unsigned char val = va_arg(ap, int); + const unsigned char val = (unsigned char) va_arg(ap, int); fputc(val, stderr); break; } @@ -55,6 +90,21 @@ static void diagnosticvf(const char *const fmt, va_list ap) break; } + case 'u': { + const unsigned int val = va_arg(ap, unsigned int); + fprintf(stderr, "%u", val); + break; + } + + case 'Y': { + const symbol_t *const symbol = va_arg(ap, const symbol_t*); + if (symbol == NULL) + fputs("(null)", stderr); + else + fputs(symbol->string, stderr); + break; + } + case 'E': { const expression_t* const expr = va_arg(ap, const expression_t*); print_expression(expr); @@ -77,6 +127,12 @@ static void diagnosticvf(const char *const fmt, va_list ap) break; } + case 't': { + const token_t *const token = va_arg(ap, const token_t*); + print_pp_token(stderr, token); + break; + } + case 'K': { const token_t* const token = va_arg(ap, const token_t*); print_token(stderr, token); @@ -85,7 +141,7 @@ static void diagnosticvf(const char *const fmt, va_list ap) case 'k': { if (extended) { - bool first = false; + bool first = true; va_list* toks = va_arg(ap, va_list*); const char* const delimiter = va_arg(ap, const char*); for (;;) { @@ -106,6 +162,12 @@ static void diagnosticvf(const char *const fmt, va_list ap) break; } + case 'P': { + const source_position_t *pos = va_arg(ap, const source_position_t *); + print_source_position(stderr, pos); + break; + } + default: panic("unknown format specifier"); } @@ -119,31 +181,72 @@ void diagnosticf(const char *const fmt, ...) { va_list ap; va_start(ap, fmt); + ++diagnostic_count; + curr_pos = NULL; diagnosticvf(fmt, ap); va_end(ap); } -void errorf(const source_position_t pos, const char *const fmt, ...) +static void errorvf(const source_position_t *pos, + const char *const fmt, va_list ap) { - found_error = true; - fprintf(stderr, "%s:%u: error: ", pos.input_name, pos.linenr); - va_list ap; - va_start(ap, fmt); + fprintf(stderr, "%s:%u: error: ", pos->input_name, pos->linenr); + ++error_count; + curr_pos = pos; diagnosticvf(fmt, ap); - va_end(ap); fputc('\n', stderr); -#ifdef ABORT_ON_ERROR - abort(); -#endif + if (warning.fatal_errors) + exit(EXIT_FAILURE); } -void warningf(const source_position_t pos, const char *const fmt, ...) +void errorf(const source_position_t *pos, const char *const fmt, ...) { - fprintf(stderr, "%s:%u: warning: ", pos.input_name, pos.linenr); va_list ap; va_start(ap, fmt); + curr_pos = pos; + errorvf(pos, fmt, ap); + va_end(ap); +} + +static void warningvf(const source_position_t *pos, + const char *const fmt, va_list ap) +{ + fprintf(stderr, "%s:%u: warning: ", pos->input_name, pos->linenr); + ++warning_count; + curr_pos = pos; diagnosticvf(fmt, ap); + fputc('\n', stderr); +} + +void warningf(const source_position_t *pos, const char *const fmt, ...) +{ + va_list ap; + va_start(ap, fmt); + curr_pos = pos; + 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); + curr_pos = pos; + 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); + curr_pos = pos; + internal_errorvf(pos, fmt, ap); + va_end(ap); + abort(); +}