nsz Git - cparser/blob - diagnostic.c

   1 /*
   2  * This file is part of cparser.
   3  * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
   4  *
   5  * This program is free software; you can redistribute it and/or
   6  * modify it under the terms of the GNU General Public License
   7  * as published by the Free Software Foundation; either version 2
   8  * of the License, or (at your option) any later version.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13  * GNU General Public License for more details.
  14  *
  15  * You should have received a copy of the GNU General Public License
  16  * along with this program; if not, write to the Free Software
  17  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
  18  * 02111-1307, USA.
  19  */
  20 #include <stdarg.h>
  21 #include <stdio.h>
  22
  23 #include "diagnostic.h"
  24 #include "adt/error.h"
  25 #include "symbol_t.h"
  26 #include "token_t.h"
  27 #include "ast.h"
  28 #include "type.h"
  29 #include "warning.h"
  30
  31 /** Number of occurred diagnostics. */
  32 unsigned diagnostic_count = 0;
  33 /** Number of occurred errors. */
  34 unsigned error_count      = 0;
  35 /** Number of occurred warnings. */
  36 unsigned warning_count    = 0;
  37 /** true if warnings should be inhibited */
  38 bool inhibit_all_warnings = false;
  39
  40 /**
  41  * Issue a diagnostic message.
  42  */
  43 static void diagnosticvf(const char *const fmt, va_list ap)
  44 {
  45         for (const char* f = fmt; *f != '\0'; ++f) {
  46                 if (*f == '%') {
  47                         ++f;
  48
  49                         bool extended = false;
  50                         if (*f == '#') {
  51                                 extended = true;
  52                                 ++f;
  53                         }
  54
  55                         switch (*f) {
  56                                 case '%':
  57                                         fputc(*f, stderr);
  58                                         break;
  59
  60                                 case 'C': {
  61                                         const wint_t val = va_arg(ap, wint_t);
  62                                         fputwc(val, stderr);
  63                                         break;
  64                                 }
  65
  66                                 case 'c': {
  67                                         const unsigned char val = (unsigned char) va_arg(ap, int);
  68                                         fputc(val, stderr);
  69                                         break;
  70                                 }
  71
  72                                 case 'd': {
  73                                         const int val = va_arg(ap, int);
  74                                         fprintf(stderr, "%d", val);
  75                                         break;
  76                                 }
  77
  78                                 case 's': {
  79                                         const char* const str = va_arg(ap, const char*);
  80                                         fputs(str, stderr);
  81                                         break;
  82                                 }
  83
  84                                 case 'Y': {
  85                                         const symbol_t *const symbol = va_arg(ap, const symbol_t*);
  86                                         fputs(symbol->string, stderr);
  87                                         break;
  88                                 }
  89
  90                                 case 'E': {
  91                                         const expression_t* const expr = va_arg(ap, const expression_t*);
  92                                         print_expression(expr);
  93                                         break;
  94                                 }
  95
  96                                 case 'Q': {
  97                                         const unsigned qualifiers = va_arg(ap, unsigned);
  98                                         print_type_qualifiers(qualifiers);
  99                                         break;
 100                                 }
 101
 102                                 case 'T': {
 103                                         const type_t* const type = va_arg(ap, const type_t*);
 104                                         const symbol_t*     sym  = NULL;
 105                                         if (extended) {
 106                                                 sym = va_arg(ap, const symbol_t*);
 107                                         }
 108                                         print_type_ext(type, sym, NULL);
 109                                         break;
 110                                 }
 111
 112                                 case 'K': {
 113                                         const token_t* const token = va_arg(ap, const token_t*);
 114                                         print_token(stderr, token);
 115                                         break;
 116                                 }
 117
 118                                 case 'k': {
 119                                         if (extended) {
 120                                                 bool              first     = false;
 121                                                 va_list*          toks      = va_arg(ap, va_list*);
 122                                                 const char* const delimiter = va_arg(ap, const char*);
 123                                                 for (;;) {
 124                                                         const token_type_t tok = va_arg(*toks, token_type_t);
 125                                                         if (tok == 0)
 126                                                                 break;
 127                                                         if (first) {
 128                                                                 first = false;
 129                                                         } else {
 130                                                                 fputs(delimiter, stderr);
 131                                                         }
 132                                                         print_token_type(stderr, tok);
 133                                                 }
 134                                         } else {
 135                                                 const token_type_t token = va_arg(ap, token_type_t);
 136                                                 print_token_type(stderr, token);
 137                                         }
 138                                         break;
 139                                 }
 140
 141                                 default:
 142                                         panic("unknown format specifier");
 143                         }
 144                 } else {
 145                         fputc(*f, stderr);
 146                 }
 147         }
 148 }
 149
 150 void diagnosticf(const char *const fmt, ...)
 151 {
 152         va_list ap;
 153         va_start(ap, fmt);
 154         ++diagnostic_count;
 155         diagnosticvf(fmt, ap);
 156         va_end(ap);
 157 }
 158
 159 static void errorvf(const source_position_t pos,
 160                     const char *const fmt, va_list ap)
 161 {
 162         fprintf(stderr, "%s:%u: error: ", pos.input_name, pos.linenr);
 163         ++error_count;
 164         diagnosticvf(fmt, ap);
 165         fputc('\n', stderr);
 166
 167         if (warning.fatal_errors)
 168                 exit(EXIT_FAILURE);
 169 }
 170
 171 void errorf(const source_position_t pos, const char *const fmt, ...)
 172 {
 173         va_list ap;
 174         va_start(ap, fmt);
 175         errorvf(pos, fmt, ap);
 176         va_end(ap);
 177 }
 178
 179 static void warningvf(const source_position_t pos,
 180                       const char *const fmt, va_list ap)
 181 {
 182         fprintf(stderr, "%s:%u: warning: ", pos.input_name, pos.linenr);
 183         ++warning_count;
 184         diagnosticvf(fmt, ap);
 185         fputc('\n', stderr);
 186 }
 187
 188 void warningf(const source_position_t pos, const char *const fmt, ...)
 189 {
 190         if (inhibit_all_warnings)
 191                 return;
 192
 193         va_list ap;
 194         va_start(ap, fmt);
 195         if (warning.s_are_errors) {
 196                 errorvf(pos, fmt, ap);
 197         } else {
 198                 warningvf(pos, fmt, ap);
 199         }
 200         va_end(ap);
 201 }
 202
 203 static void internal_errorvf(const source_position_t pos,
 204                     const char *const fmt, va_list ap)
 205 {
 206         fprintf(stderr, "%s:%u: internal error: ", pos.input_name, pos.linenr);
 207         diagnosticvf(fmt, ap);
 208         fputc('\n', stderr);
 209 }
 210
 211 void internal_errorf(const source_position_t pos, const char *const fmt, ...)
 212 {
 213         va_list ap;
 214         va_start(ap, fmt);
 215         internal_errorvf(pos, fmt, ap);
 216         va_end(ap);
 217         abort();
 218 }