annotate gcc/diagnostic-core.h @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 /* Declarations of core diagnostic functionality for code that does
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 not need to deal with diagnostic contexts or diagnostic info
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 structures.
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
4 Copyright (C) 1998-2020 Free Software Foundation, Inc.
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 This file is part of GCC.
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 GCC is free software; you can redistribute it and/or modify it under
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 the terms of the GNU General Public License as published by the Free
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 Software Foundation; either version 3, or (at your option) any later
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 version.
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 for more details.
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 along with GCC; see the file COPYING3. If not see
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 <http://www.gnu.org/licenses/>. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 #ifndef GCC_DIAGNOSTIC_CORE_H
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 #define GCC_DIAGNOSTIC_CORE_H
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 #include "bversion.h"
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 /* Constants used to discriminate diagnostics. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 typedef enum
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 {
111
kono
parents: 68
diff changeset
30 #define DEFINE_DIAGNOSTIC_KIND(K, msgid, C) K,
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 #include "diagnostic.def"
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 #undef DEFINE_DIAGNOSTIC_KIND
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 DK_LAST_DIAGNOSTIC_KIND,
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 /* This is used for tagging pragma pops in the diagnostic
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 classification history chain. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 DK_POP
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 } diagnostic_t;
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
39 /* RAII-style class for grouping related diagnostics. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
40
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
41 class auto_diagnostic_group
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
42 {
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
43 public:
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
44 auto_diagnostic_group ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
45 ~auto_diagnostic_group ();
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
46 };
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
47
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
48 /* Forward decl. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
49 class diagnostic_metadata; /* See diagnostic-metadata.h. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
50
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 extern const char *progname;
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
52
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 extern const char *trim_filename (const char *);
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
54
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 /* If we haven't already defined a front-end-specific diagnostics
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 style, use the generic one. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 #ifndef GCC_DIAG_STYLE
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 #define GCC_DIAG_STYLE __gcc_tdiag__
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 #endif
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 /* None of these functions are suitable for ATTRIBUTE_PRINTF, because
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 each language front end can extend them with its own set of format
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 specifiers. We must use custom format checks. */
111
kono
parents: 68
diff changeset
63 #if (CHECKING_P && GCC_VERSION >= 4001) || GCC_VERSION == BUILDING_GCC_VERSION
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 #define ATTRIBUTE_GCC_DIAG(m, n) __attribute__ ((__format__ (GCC_DIAG_STYLE, m, n))) ATTRIBUTE_NONNULL(m)
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 #else
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 #define ATTRIBUTE_GCC_DIAG(m, n) ATTRIBUTE_NONNULL(m)
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 #endif
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 extern void internal_error (const char *, ...) ATTRIBUTE_GCC_DIAG(1,2)
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 ATTRIBUTE_NORETURN;
111
kono
parents: 68
diff changeset
70 extern void internal_error_no_backtrace (const char *, ...)
kono
parents: 68
diff changeset
71 ATTRIBUTE_GCC_DIAG(1,2) ATTRIBUTE_NORETURN;
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 /* Pass one of the OPT_W* from options.h as the first parameter. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 extern bool warning (int, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
74 extern bool warning_n (location_t, int, unsigned HOST_WIDE_INT,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
75 const char *, const char *, ...)
111
kono
parents: 68
diff changeset
76 ATTRIBUTE_GCC_DIAG(4,6) ATTRIBUTE_GCC_DIAG(5,6);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
77 extern bool warning_n (rich_location *, int, unsigned HOST_WIDE_INT,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
78 const char *, const char *, ...)
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
79 ATTRIBUTE_GCC_DIAG(4, 6) ATTRIBUTE_GCC_DIAG(5, 6);
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 extern bool warning_at (location_t, int, const char *, ...)
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 ATTRIBUTE_GCC_DIAG(3,4);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
82 extern bool warning_at (rich_location *, int, const char *, ...)
111
kono
parents: 68
diff changeset
83 ATTRIBUTE_GCC_DIAG(3,4);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
84 extern bool warning_meta (rich_location *,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
85 const diagnostic_metadata &, int,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
86 const char *, ...)
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
87 ATTRIBUTE_GCC_DIAG(4,5);
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 extern void error (const char *, ...) ATTRIBUTE_GCC_DIAG(1,2);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
89 extern void error_n (location_t, unsigned HOST_WIDE_INT, const char *,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
90 const char *, ...)
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 ATTRIBUTE_GCC_DIAG(3,5) ATTRIBUTE_GCC_DIAG(4,5);
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
92 extern void error_at (location_t, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
93 extern void error_at (rich_location *, const char *, ...)
111
kono
parents: 68
diff changeset
94 ATTRIBUTE_GCC_DIAG(2,3);
kono
parents: 68
diff changeset
95 extern void fatal_error (location_t, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3)
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 ATTRIBUTE_NORETURN;
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 /* Pass one of the OPT_W* from options.h as the second parameter. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 extern bool pedwarn (location_t, int, const char *, ...)
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
99 ATTRIBUTE_GCC_DIAG(3,4);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
100 extern bool pedwarn (rich_location *, int, const char *, ...)
111
kono
parents: 68
diff changeset
101 ATTRIBUTE_GCC_DIAG(3,4);
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
102 extern bool permerror (location_t, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
103 extern bool permerror (rich_location *, const char *,
111
kono
parents: 68
diff changeset
104 ...) ATTRIBUTE_GCC_DIAG(2,3);
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
105 extern void sorry (const char *, ...) ATTRIBUTE_GCC_DIAG(1,2);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
106 extern void sorry_at (location_t, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3);
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
107 extern void inform (location_t, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3);
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
108 extern void inform (rich_location *, const char *, ...) ATTRIBUTE_GCC_DIAG(2,3);
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
109 extern void inform_n (location_t, unsigned HOST_WIDE_INT, const char *,
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
110 const char *, ...)
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 ATTRIBUTE_GCC_DIAG(3,5) ATTRIBUTE_GCC_DIAG(4,5);
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 extern void verbatim (const char *, ...) ATTRIBUTE_GCC_DIAG(1,2);
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 extern bool emit_diagnostic (diagnostic_t, location_t, int,
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 const char *, ...) ATTRIBUTE_GCC_DIAG(4,5);
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
115 extern bool emit_diagnostic (diagnostic_t, rich_location *, int,
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
116 const char *, ...) ATTRIBUTE_GCC_DIAG(4,5);
111
kono
parents: 68
diff changeset
117 extern bool emit_diagnostic_valist (diagnostic_t, location_t, int, const char *,
kono
parents: 68
diff changeset
118 va_list *) ATTRIBUTE_GCC_DIAG (4,0);
68
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
119 extern bool seen_error (void);
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
120
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
121 #ifdef BUFSIZ
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
122 /* N.B. Unlike all the others, fnotice is just gettext+fprintf, and
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
123 therefore it can have ATTRIBUTE_PRINTF. */
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
124 extern void fnotice (FILE *, const char *, ...)
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
125 ATTRIBUTE_PRINTF_2;
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
126 #endif
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
127
561a7518be6b update gcc-4.6
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
128 #endif /* ! GCC_DIAGNOSTIC_CORE_H */