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,
46 #include "diagnostic.h"
48 /* Externals defined here. */
50 bool ffebad_is_inhibited_
= FALSE
;
52 /* Simple definitions and enumerations. */
54 #define FFEBAD_LONG_MSGS_ 1 /* 0 to use short (or same) messages. */
56 /* Internal typedefs. */
59 /* Private include files. */
62 /* Internal structure definitions. */
64 struct _ffebad_message_
66 const ffebadSeverity severity
;
67 const char *const message
;
70 /* Static objects accessed by functions in this module. */
72 static const struct _ffebad_message_ ffebad_messages_
[]
75 #define FFEBAD_MSG(kwd,sev,msgid) { sev, msgid },
76 #if FFEBAD_LONG_MSGS_ == 0
96 ffebad_here_
[FFEBAD_MAX_
];
97 static const char *ffebad_string_
[FFEBAD_MAX_
];
98 static ffebadIndex ffebad_order_
[FFEBAD_MAX_
];
99 static ffebad ffebad_errnum_
;
100 static ffebadSeverity ffebad_severity_
;
101 static const char *ffebad_message_
;
102 static unsigned char ffebad_index_
;
103 static ffebadIndex ffebad_places_
;
104 static bool ffebad_is_temp_inhibited_
; /* Effective setting of
105 _is_inhibited_ for this
106 _start/_finish invocation. */
108 /* Static functions (internal). */
110 static int ffebad_bufputs_ (char buf
[], int bufi
, const char *s
);
112 /* Internal macros. */
114 #define ffebad_bufflush_(buf, bufi) \
115 (((buf)[bufi] = '\0'), fputs ((buf), stderr), 0)
116 #define ffebad_bufputc_(buf, bufi, c) \
117 (((bufi) == ARRAY_SIZE (buf)) \
118 ? (ffebad_bufflush_ ((buf), (bufi)), ((buf)[0] = (c)), 1) \
119 : (((buf)[bufi] = (c)), (bufi) + 1))
123 ffebad_bufputs_ (char buf
[], int bufi
, const char *s
)
125 for (; *s
!= '\0'; ++s
)
126 bufi
= ffebad_bufputc_ (buf
, bufi
, *s
);
130 /* ffebad_init_0 -- Initialize
137 assert (FFEBAD
== ARRAY_SIZE (ffebad_messages_
));
141 ffebad_severity (ffebad errnum
)
143 return ffebad_messages_
[errnum
].severity
;
146 /* ffebad_start_ -- Start displaying an error message
148 ffebad_start(FFEBAD_SOME_ERROR_CODE);
150 Call ffebad_start to establish the message, ffebad_here and ffebad_string
151 to send run-time data to it as necessary, then ffebad_finish when through
152 to actually get it to print (to stderr).
154 Note: ffebad_start(errnum) turns into ffebad_start_(FALSE,errnum). No
155 outside caller should call ffebad_start_ directly (as indicated by the
156 trailing underscore).
158 Call ffebad_start to start a normal message, one that might be inhibited
159 by the current state of statement guessing. Call ffebad_start_lex
160 instead to start a message that is global to all statement guesses and
161 happens only once for all guesses (i.e. the lexer).
163 sev and message are overrides for the severity and messages when errnum
164 is FFEBAD, meaning the caller didn't want to have to put a message in
165 bad.def to produce a diagnostic. */
168 ffebad_start_ (bool lex_override
, ffebad errnum
, ffebadSeverity sev
,
173 if (ffebad_is_inhibited_
&& !lex_override
)
175 ffebad_is_temp_inhibited_
= TRUE
;
179 if (errnum
!= FFEBAD
)
181 ffebad_severity_
= ffebad_messages_
[errnum
].severity
;
182 ffebad_message_
= gettext (ffebad_messages_
[errnum
].message
);
186 ffebad_severity_
= sev
;
187 ffebad_message_
= gettext (msgid
);
190 switch (ffebad_severity_
)
191 { /* Tell toplev.c about this message. */
192 case FFEBAD_severityINFORMATIONAL
:
193 case FFEBAD_severityTRIVIAL
:
194 if (inhibit_warnings
)
195 { /* User wants no warnings. */
196 ffebad_is_temp_inhibited_
= TRUE
;
200 case FFEBAD_severityWARNING
:
201 case FFEBAD_severityPECULIAR
:
202 case FFEBAD_severityPEDANTIC
:
203 if ((ffebad_severity_
!= FFEBAD_severityPEDANTIC
)
204 || !flag_pedantic_errors
)
206 if (!diagnostic_count_diagnostic (global_dc
, DK_WARNING
))
207 { /* User wants no warnings. */
208 ffebad_is_temp_inhibited_
= TRUE
;
213 /* Fall through (PEDANTIC && flag_pedantic_errors). */
214 case FFEBAD_severityFATAL
:
215 case FFEBAD_severityWEIRD
:
216 case FFEBAD_severitySEVERE
:
217 case FFEBAD_severityDISASTER
:
218 diagnostic_count_diagnostic (global_dc
, DK_ERROR
);
225 ffebad_is_temp_inhibited_
= FALSE
;
226 ffebad_errnum_
= errnum
;
229 for (i
= 0; i
< FFEBAD_MAX_
; ++i
)
231 ffebad_string_
[i
] = NULL
;
232 ffebad_here_
[i
].line
= ffewhere_line_unknown ();
233 ffebad_here_
[i
].col
= ffewhere_column_unknown ();
239 /* ffebad_here -- Establish source location of some diagnostic concern
241 ffebad_here(ffebadIndex i,ffewhereLine line,ffewhereColumn col);
243 Call ffebad_start to establish the message, ffebad_here and ffebad_string
244 to send run-time data to it as necessary, then ffebad_finish when through
245 to actually get it to print (to stderr). */
248 ffebad_here (ffebadIndex index
, ffewhereLine line
, ffewhereColumn col
)
250 ffewhereLineNumber line_num
;
251 ffewhereLineNumber ln
;
252 ffewhereColumnNumber col_num
;
253 ffewhereColumnNumber cn
;
257 if (ffebad_is_temp_inhibited_
)
260 assert (index
< FFEBAD_MAX_
);
261 ffebad_here_
[index
].line
= ffewhere_line_use (line
);
262 ffebad_here_
[index
].col
= ffewhere_column_use (col
);
263 if (ffewhere_line_is_unknown (line
)
264 || ffewhere_column_is_unknown (col
))
266 ffebad_here_
[index
].tag
= FFEBAD_MAX_
;
269 ffebad_here_
[index
].tag
= 0; /* For now, though it shouldn't matter. */
271 /* Sort the source line/col points into the order they occur in the source
272 file. Deal with duplicates appropriately. */
274 line_num
= ffewhere_line_number (line
);
275 col_num
= ffewhere_column_number (col
);
277 /* Determine where in the ffebad_order_ array this new place should go. */
279 for (i
= 0; i
< ffebad_places_
; ++i
)
281 ln
= ffewhere_line_number (ffebad_here_
[ffebad_order_
[i
]].line
);
282 cn
= ffewhere_column_number (ffebad_here_
[ffebad_order_
[i
]].col
);
289 ffebad_here_
[index
].tag
= i
;
290 return; /* Shouldn't go in, has equivalent. */
292 else if (col_num
< cn
)
297 /* Before putting new place in ffebad_order_[i], first increment all tags
298 that are i or greater. */
300 if (i
!= ffebad_places_
)
302 for (j
= 0; j
< FFEBAD_MAX_
; ++j
)
304 if (ffebad_here_
[j
].tag
>= i
)
305 ++ffebad_here_
[j
].tag
;
309 /* Then slide all ffebad_order_[] entries at and above i up one entry. */
311 for (j
= ffebad_places_
; j
> i
; --j
)
312 ffebad_order_
[j
] = ffebad_order_
[j
- 1];
314 /* Finally can put new info in ffebad_order_[i]. */
316 ffebad_order_
[i
] = index
;
317 ffebad_here_
[index
].tag
= i
;
321 /* Establish string for next index (always in order) of message
323 ffebad_string(const char *string);
325 Call ffebad_start to establish the message, ffebad_here and ffebad_string
326 to send run-time data to it as necessary, then ffebad_finish when through
327 to actually get it to print (to stderr). Note: don't trash the string
328 until after calling ffebad_finish, since we just maintain a pointer to
329 the argument passed in until then. */
332 ffebad_string (const char *string
)
334 if (ffebad_is_temp_inhibited_
)
337 assert (ffebad_index_
!= FFEBAD_MAX_
);
338 ffebad_string_
[ffebad_index_
++] = string
;
341 /* ffebad_finish -- Display error message with where & run-time info
345 Call ffebad_start to establish the message, ffebad_here and ffebad_string
346 to send run-time data to it as necessary, then ffebad_finish when through
347 to actually get it to print (to stderr). */
352 #define MAX_SPACES 132
353 static const char *const spaces
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\040\040\040\040\040\040\040\040\040\040\040\040\040\
363 \040\040\040"; /* MAX_SPACES - 1 spaces. */
364 ffewhereLineNumber last_line_num
;
365 ffewhereLineNumber ln
;
366 ffewhereLineNumber rn
;
367 ffewhereColumnNumber last_col_num
;
368 ffewhereColumnNumber cn
;
369 ffewhereColumnNumber cnt
;
375 unsigned const char *s
;
377 static char buf
[1024];
381 if (ffebad_is_temp_inhibited_
)
384 switch (ffebad_severity_
)
386 case FFEBAD_severityINFORMATIONAL
:
390 case FFEBAD_severityWARNING
:
394 case FFEBAD_severitySEVERE
:
403 /* Display the annoying source references. */
408 for (bi
= 0; bi
< ffebad_places_
; ++bi
)
410 if (ffebad_places_
== 1)
415 l
= ffebad_here_
[ffebad_order_
[bi
]].line
;
416 ln
= ffewhere_line_number (l
);
417 rn
= ffewhere_line_filelinenum (l
);
418 cn
= ffewhere_column_number (ffebad_here_
[ffebad_order_
[bi
]].col
);
419 fn
= ffewhere_line_filename (l
);
420 if (ln
!= last_line_num
)
423 fputc ('\n', stderr
);
424 diagnostic_report_current_function (global_dc
);
426 /* the trailing space on the <file>:<line>: line
427 fools emacs19 compilation mode into finding the
429 "%s:%" ffewhereLineNumber_f
"u: %s\n %s\n %s%c",
432 ffewhere_line_content (l
),
433 &spaces
[cn
> MAX_SPACES
? 0 : MAX_SPACES
- cn
+ 4],
437 s
= _("(continued):");
441 cnt
= cn
- last_col_num
;
443 "%s%c", &spaces
[cnt
> MAX_SPACES
444 ? 0 : MAX_SPACES
- cnt
+ 4],
449 if (ffebad_places_
== 0)
451 /* Didn't output "warning:" string, capitalize it for message. */
457 fprintf (stderr
, "%c%s ", c
, &s
[1]);
459 else if (s
[0] != '\0')
460 fprintf (stderr
, "%s ", s
);
463 fputc ('\n', stderr
);
465 /* Release the ffewhere info. */
467 for (bi
= 0; bi
< FFEBAD_MAX_
; ++bi
)
469 ffewhere_line_kill (ffebad_here_
[bi
].line
);
470 ffewhere_column_kill (ffebad_here_
[bi
].col
);
473 /* Now display the message. */
476 for (i
= 0; (c
= ffebad_message_
[i
]) != '\0'; ++i
)
480 c
= ffebad_message_
[++i
];
485 if ((index
< 0) || (index
>= FFEBAD_MAX_
))
487 bufi
= ffebad_bufputs_ (buf
, bufi
, _("[REPORT BUG!!] %"));
488 bufi
= ffebad_bufputc_ (buf
, bufi
, c
);
492 s
= ffebad_string_
[index
];
494 bufi
= ffebad_bufputs_ (buf
, bufi
, _("[REPORT BUG!!]"));
496 bufi
= ffebad_bufputs_ (buf
, bufi
, s
);
499 else if (ISDIGIT (c
))
503 if ((index
< 0) || (index
>= FFEBAD_MAX_
))
505 bufi
= ffebad_bufputs_ (buf
, bufi
, _("[REPORT BUG!!] %"));
506 bufi
= ffebad_bufputc_ (buf
, bufi
, c
);
510 pointer
= ffebad_here_
[index
].tag
+ '1';
511 if (pointer
== FFEBAD_MAX_
+ '1')
513 else if (ffebad_places_
== 1)
515 bufi
= ffebad_bufputc_ (buf
, bufi
, '(');
516 bufi
= ffebad_bufputc_ (buf
, bufi
, pointer
);
517 bufi
= ffebad_bufputc_ (buf
, bufi
, ')');
523 bufi
= ffebad_bufputc_ (buf
, bufi
, '%');
526 bufi
= ffebad_bufputs_ (buf
, bufi
, _("[REPORT BUG!!]"));
527 bufi
= ffebad_bufputc_ (buf
, bufi
, '%');
528 bufi
= ffebad_bufputc_ (buf
, bufi
, c
);
532 bufi
= ffebad_bufputc_ (buf
, bufi
, c
);
534 bufi
= ffebad_bufputc_ (buf
, bufi
, '\n');
535 bufi
= ffebad_bufflush_ (buf
, bufi
);