1 /* bad.c -- Implementation File (module.c template V1.0)
2 Copyright (C) 1995, 2002 Free Software Foundation, Inc.
3 Contributed by James Craig Burley.
5 This file is part of GNU Fortran.
7 GNU Fortran is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 2, or (at your option)
12 GNU Fortran is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with GNU Fortran; see the file COPYING. If not, write to
19 the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
26 Handles the displaying of diagnostic messages regarding the user's source
32 /* If there's a %E or %4 in the messages, set this to at least 5,
47 /* Externals defined here. */
49 bool ffebad_is_inhibited_ = FALSE;
51 /* Simple definitions and enumerations. */
53 #define FFEBAD_LONG_MSGS_ 1 /* 0 to use short (or same) messages. */
55 /* Internal typedefs. */
58 /* Private include files. */
61 /* Internal structure definitions. */
63 struct _ffebad_message_
65 const ffebadSeverity severity;
66 const char *const message;
69 /* Static objects accessed by functions in this module. */
71 static const struct _ffebad_message_ ffebad_messages_[]
74 #define FFEBAD_MSG(kwd,sev,msgid) { sev, msgid },
75 #if FFEBAD_LONG_MSGS_ == 0
95 ffebad_here_[FFEBAD_MAX_];
96 static const char *ffebad_string_[FFEBAD_MAX_];
97 static ffebadIndex ffebad_order_[FFEBAD_MAX_];
98 static ffebad ffebad_errnum_;
99 static ffebadSeverity ffebad_severity_;
100 static const char *ffebad_message_;
101 static unsigned char ffebad_index_;
102 static ffebadIndex ffebad_places_;
103 static bool ffebad_is_temp_inhibited_; /* Effective setting of
104 _is_inhibited_ for this
105 _start/_finish invocation. */
107 /* Static functions (internal). */
109 static int ffebad_bufputs_ (char buf[], int bufi, const char *s);
111 /* Internal macros. */
113 #define ffebad_bufflush_(buf, bufi) \
114 (((buf)[bufi] = '\0'), fputs ((buf), stderr), 0)
115 #define ffebad_bufputc_(buf, bufi, c) \
116 (((bufi) == ARRAY_SIZE (buf)) \
117 ? (ffebad_bufflush_ ((buf), (bufi)), ((buf)[0] = (c)), 1) \
118 : (((buf)[bufi] = (c)), (bufi) + 1))
122 ffebad_bufputs_ (char buf[], int bufi, const char *s)
124 for (; *s != '\0'; ++s)
125 bufi = ffebad_bufputc_ (buf, bufi, *s);
129 /* ffebad_init_0 -- Initialize
136 assert (FFEBAD == ARRAY_SIZE (ffebad_messages_));
140 ffebad_severity (ffebad errnum)
142 return ffebad_messages_[errnum].severity;
145 /* ffebad_start_ -- Start displaying an error message
147 ffebad_start(FFEBAD_SOME_ERROR_CODE);
149 Call ffebad_start to establish the message, ffebad_here and ffebad_string
150 to send run-time data to it as necessary, then ffebad_finish when through
151 to actually get it to print (to stderr).
153 Note: ffebad_start(errnum) turns into ffebad_start_(FALSE,errnum). No
154 outside caller should call ffebad_start_ directly (as indicated by the
155 trailing underscore).
157 Call ffebad_start to start a normal message, one that might be inhibited
158 by the current state of statement guessing. Call ffebad_start_lex
159 instead to start a message that is global to all statement guesses and
160 happens only once for all guesses (i.e. the lexer).
162 sev and message are overrides for the severity and messages when errnum
163 is FFEBAD, meaning the caller didn't want to have to put a message in
164 bad.def to produce a diagnostic. */
167 ffebad_start_ (bool lex_override, ffebad errnum, ffebadSeverity sev,
172 if (ffebad_is_inhibited_ && !lex_override)
174 ffebad_is_temp_inhibited_ = TRUE;
178 if (errnum != FFEBAD)
180 ffebad_severity_ = ffebad_messages_[errnum].severity;
181 ffebad_message_ = gettext (ffebad_messages_[errnum].message);
185 ffebad_severity_ = sev;
186 ffebad_message_ = gettext (msgid);
189 switch (ffebad_severity_)
190 { /* Tell toplev.c about this message. */
191 case FFEBAD_severityINFORMATIONAL:
192 case FFEBAD_severityTRIVIAL:
193 if (inhibit_warnings)
194 { /* User wants no warnings. */
195 ffebad_is_temp_inhibited_ = TRUE;
199 case FFEBAD_severityWARNING:
200 case FFEBAD_severityPECULIAR:
201 case FFEBAD_severityPEDANTIC:
202 if ((ffebad_severity_ != FFEBAD_severityPEDANTIC)
203 || !flag_pedantic_errors)
205 if (count_error (1) == 0)
206 { /* User wants no warnings. */
207 ffebad_is_temp_inhibited_ = TRUE;
212 /* Fall through (PEDANTIC && flag_pedantic_errors). */
213 case FFEBAD_severityFATAL:
214 case FFEBAD_severityWEIRD:
215 case FFEBAD_severitySEVERE:
216 case FFEBAD_severityDISASTER:
224 ffebad_is_temp_inhibited_ = FALSE;
225 ffebad_errnum_ = errnum;
228 for (i = 0; i < FFEBAD_MAX_; ++i)
230 ffebad_string_[i] = NULL;
231 ffebad_here_[i].line = ffewhere_line_unknown ();
232 ffebad_here_[i].col = ffewhere_column_unknown ();
238 /* ffebad_here -- Establish source location of some diagnostic concern
240 ffebad_here(ffebadIndex i,ffewhereLine line,ffewhereColumn col);
242 Call ffebad_start to establish the message, ffebad_here and ffebad_string
243 to send run-time data to it as necessary, then ffebad_finish when through
244 to actually get it to print (to stderr). */
247 ffebad_here (ffebadIndex index, ffewhereLine line, ffewhereColumn col)
249 ffewhereLineNumber line_num;
250 ffewhereLineNumber ln;
251 ffewhereColumnNumber col_num;
252 ffewhereColumnNumber cn;
256 if (ffebad_is_temp_inhibited_)
259 assert (index < FFEBAD_MAX_);
260 ffebad_here_[index].line = ffewhere_line_use (line);
261 ffebad_here_[index].col = ffewhere_column_use (col);
262 if (ffewhere_line_is_unknown (line)
263 || ffewhere_column_is_unknown (col))
265 ffebad_here_[index].tag = FFEBAD_MAX_;
268 ffebad_here_[index].tag = 0; /* For now, though it shouldn't matter. */
270 /* Sort the source line/col points into the order they occur in the source
271 file. Deal with duplicates appropriately. */
273 line_num = ffewhere_line_number (line);
274 col_num = ffewhere_column_number (col);
276 /* Determine where in the ffebad_order_ array this new place should go. */
278 for (i = 0; i < ffebad_places_; ++i)
280 ln = ffewhere_line_number (ffebad_here_[ffebad_order_[i]].line);
281 cn = ffewhere_column_number (ffebad_here_[ffebad_order_[i]].col);
288 ffebad_here_[index].tag = i;
289 return; /* Shouldn't go in, has equivalent. */
291 else if (col_num < cn)
296 /* Before putting new place in ffebad_order_[i], first increment all tags
297 that are i or greater. */
299 if (i != ffebad_places_)
301 for (j = 0; j < FFEBAD_MAX_; ++j)
303 if (ffebad_here_[j].tag >= i)
304 ++ffebad_here_[j].tag;
308 /* Then slide all ffebad_order_[] entries at and above i up one entry. */
310 for (j = ffebad_places_; j > i; --j)
311 ffebad_order_[j] = ffebad_order_[j - 1];
313 /* Finally can put new info in ffebad_order_[i]. */
315 ffebad_order_[i] = index;
316 ffebad_here_[index].tag = i;
320 /* Establish string for next index (always in order) of message
322 ffebad_string(const char *string);
324 Call ffebad_start to establish the message, ffebad_here and ffebad_string
325 to send run-time data to it as necessary, then ffebad_finish when through
326 to actually get it to print (to stderr). Note: don't trash the string
327 until after calling ffebad_finish, since we just maintain a pointer to
328 the argument passed in until then. */
331 ffebad_string (const char *string)
333 if (ffebad_is_temp_inhibited_)
336 assert (ffebad_index_ != FFEBAD_MAX_);
337 ffebad_string_[ffebad_index_++] = string;
340 /* ffebad_finish -- Display error message with where & run-time info
344 Call ffebad_start to establish the message, ffebad_here and ffebad_string
345 to send run-time data to it as necessary, then ffebad_finish when through
346 to actually get it to print (to stderr). */
351 #define MAX_SPACES 132
352 static const char *const spaces
354 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
355 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
356 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
357 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
358 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
359 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
360 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
361 \040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\040\
362 \040\040\040"; /* MAX_SPACES - 1 spaces. */
363 ffewhereLineNumber last_line_num;
364 ffewhereLineNumber ln;
365 ffewhereLineNumber rn;
366 ffewhereColumnNumber last_col_num;
367 ffewhereColumnNumber cn;
368 ffewhereColumnNumber cnt;
374 unsigned const char *s;
376 static char buf[1024];
380 if (ffebad_is_temp_inhibited_)
383 switch (ffebad_severity_)
385 case FFEBAD_severityINFORMATIONAL:
389 case FFEBAD_severityWARNING:
393 case FFEBAD_severitySEVERE:
402 /* Display the annoying source references. */
407 for (bi = 0; bi < ffebad_places_; ++bi)
409 if (ffebad_places_ == 1)
414 l = ffebad_here_[ffebad_order_[bi]].line;
415 ln = ffewhere_line_number (l);
416 rn = ffewhere_line_filelinenum (l);
417 cn = ffewhere_column_number (ffebad_here_[ffebad_order_[bi]].col);
418 fn = ffewhere_line_filename (l);
419 if (ln != last_line_num)
422 fputc ('\n', stderr);
423 report_error_function (fn);
425 /* the trailing space on the <file>:<line>: line
426 fools emacs19 compilation mode into finding the
428 "%s:%" ffewhereLineNumber_f "u: %s\n %s\n %s%c",
431 ffewhere_line_content (l),
432 &spaces[cn > MAX_SPACES ? 0 : MAX_SPACES - cn + 4],
436 s = _("(continued):");
440 cnt = cn - last_col_num;
442 "%s%c", &spaces[cnt > MAX_SPACES
443 ? 0 : MAX_SPACES - cnt + 4],
448 if (ffebad_places_ == 0)
450 /* Didn't output "warning:" string, capitalize it for message. */
456 fprintf (stderr, "%c%s ", c, &s[1]);
458 else if (s[0] != '\0')
459 fprintf (stderr, "%s ", s);
462 fputc ('\n', stderr);
464 /* Release the ffewhere info. */
466 for (bi = 0; bi < FFEBAD_MAX_; ++bi)
468 ffewhere_line_kill (ffebad_here_[bi].line);
469 ffewhere_column_kill (ffebad_here_[bi].col);
472 /* Now display the message. */
475 for (i = 0; (c = ffebad_message_[i]) != '\0'; ++i)
479 c = ffebad_message_[++i];
484 if ((index < 0) || (index >= FFEBAD_MAX_))
486 bufi = ffebad_bufputs_ (buf, bufi, _("[REPORT BUG!!] %"));
487 bufi = ffebad_bufputc_ (buf, bufi, c);
491 s = ffebad_string_[index];
493 bufi = ffebad_bufputs_ (buf, bufi, _("[REPORT BUG!!]"));
495 bufi = ffebad_bufputs_ (buf, bufi, s);
498 else if (ISDIGIT (c))
502 if ((index < 0) || (index >= FFEBAD_MAX_))
504 bufi = ffebad_bufputs_ (buf, bufi, _("[REPORT BUG!!] %"));
505 bufi = ffebad_bufputc_ (buf, bufi, c);
509 pointer = ffebad_here_[index].tag + '1';
510 if (pointer == FFEBAD_MAX_ + '1')
512 else if (ffebad_places_ == 1)
514 bufi = ffebad_bufputc_ (buf, bufi, '(');
515 bufi = ffebad_bufputc_ (buf, bufi, pointer);
516 bufi = ffebad_bufputc_ (buf, bufi, ')');
522 bufi = ffebad_bufputc_ (buf, bufi, '%');
525 bufi = ffebad_bufputs_ (buf, bufi, _("[REPORT BUG!!]"));
526 bufi = ffebad_bufputc_ (buf, bufi, '%');
527 bufi = ffebad_bufputc_ (buf, bufi, c);
531 bufi = ffebad_bufputc_ (buf, bufi, c);
533 bufi = ffebad_bufputc_ (buf, bufi, '\n');
534 bufi = ffebad_bufflush_ (buf, bufi);