Branch data Line data Source code
1 : : /* Various diagnostic subroutines for the GNU C language.
2 : : Copyright (C) 2000-2024 Free Software Foundation, Inc.
3 : : Contributed by Gabriel Dos Reis <gdr@codesourcery.com>
4 : :
5 : : This file is part of GCC.
6 : :
7 : : GCC is free software; you can redistribute it and/or modify it under
8 : : the terms of the GNU General Public License as published by the Free
9 : : Software Foundation; either version 3, or (at your option) any later
10 : : version.
11 : :
12 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 : : for more details.
16 : :
17 : : You should have received a copy of the GNU General Public License
18 : : along with GCC; see the file COPYING3. If not see
19 : : <http://www.gnu.org/licenses/>. */
20 : :
21 : : #include "config.h"
22 : : #include "system.h"
23 : : #include "coretypes.h"
24 : : #include "tm.h"
25 : : #include "c-tree.h"
26 : : #include "opts.h"
27 : :
28 : : /* Issue an ISO C23 pedantic warning MSGID if -pedantic outside C2Y mode,
29 : : otherwise issue warning MSGID if -Wc23-c2y-compat is specified.
30 : : This function is supposed to be used for matters that are allowed in
31 : : ISO C2Y but not supported in ISO C23, thus we explicitly don't pedwarn
32 : : when C2Y is specified. */
33 : :
34 : : bool
35 : 634 : pedwarn_c23 (location_t location,
36 : : diagnostic_option_id option_id,
37 : : const char *gmsgid, ...)
38 : : {
39 : 634 : diagnostic_info diagnostic;
40 : 634 : va_list ap;
41 : 634 : bool warned = false;
42 : 634 : rich_location richloc (line_table, location);
43 : :
44 : 634 : va_start (ap, gmsgid);
45 : : /* If desired, issue the C23/C2Y compat warning, which is more specific
46 : : than -pedantic. */
47 : 634 : if (warn_c23_c2y_compat > 0)
48 : : {
49 : 106 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc,
50 : 106 : (pedantic && !flag_isoc2y)
51 : : ? DK_PEDWARN : DK_WARNING);
52 : 106 : diagnostic.option_id = OPT_Wc23_c2y_compat;
53 : 106 : warned = diagnostic_report_diagnostic (global_dc, &diagnostic);
54 : : }
55 : : /* -Wno-c23-c2y-compat suppresses even the pedwarns. */
56 : 528 : else if (warn_c23_c2y_compat == 0)
57 : : ;
58 : : /* For -pedantic outside C2Y, issue a pedwarn. */
59 : 477 : else if (pedantic && !flag_isoc2y)
60 : : {
61 : 106 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc, DK_PEDWARN);
62 : 106 : diagnostic.option_id = option_id;
63 : 106 : warned = diagnostic_report_diagnostic (global_dc, &diagnostic);
64 : : }
65 : 634 : va_end (ap);
66 : 1268 : return warned;
67 : 634 : }
68 : :
69 : : /* Issue an ISO C11 pedantic warning MSGID if -pedantic outside C23 mode,
70 : : otherwise issue warning MSGID if -Wc11-c23-compat is specified.
71 : : This function is supposed to be used for matters that are allowed in
72 : : ISO C23 but not supported in ISO C11, thus we explicitly don't pedwarn
73 : : when C23 is specified.
74 : :
75 : : Additionally, warn if OPTION_ID is not OPT_Wpedantic nor
76 : : OPT_Wc11_c23_compat. */
77 : :
78 : : bool
79 : 164905 : pedwarn_c11 (location_t location,
80 : : diagnostic_option_id option_id,
81 : : const char *gmsgid, ...)
82 : : {
83 : 164905 : diagnostic_info diagnostic;
84 : 164905 : va_list ap;
85 : 164905 : bool warned = false;
86 : 164905 : rich_location richloc (line_table, location);
87 : :
88 : 164905 : va_start (ap, gmsgid);
89 : : /* If desired, issue the C11/C23 compat warning, which is more specific than
90 : : -pedantic, or the warning specified by option_id. */
91 : 164905 : if (warn_c11_c23_compat > 0 || (option_id.m_idx != OPT_Wpedantic
92 : 564 : && option_id.m_idx != OPT_Wc11_c23_compat))
93 : : {
94 : 685 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc,
95 : 685 : (pedantic && !flag_isoc23)
96 : : ? DK_PEDWARN : DK_WARNING);
97 : 685 : if (option_id == OPT_Wpedantic)
98 : 117 : diagnostic.option_id = OPT_Wc11_c23_compat;
99 : : else
100 : 568 : diagnostic.option_id = option_id;
101 : 685 : warned = diagnostic_report_diagnostic (global_dc, &diagnostic);
102 : : }
103 : : /* -Wno-c11-c23-compat suppresses even the pedwarns. */
104 : 164220 : else if (warn_c11_c23_compat == 0)
105 : : ;
106 : : /* For -pedantic outside C23, issue a pedwarn. */
107 : 164043 : else if (pedantic && !flag_isoc23)
108 : : {
109 : 262 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc, DK_PEDWARN);
110 : 262 : diagnostic.option_id = option_id;
111 : 262 : warned = diagnostic_report_diagnostic (global_dc, &diagnostic);
112 : : }
113 : 164905 : va_end (ap);
114 : 329810 : return warned;
115 : 164905 : }
116 : :
117 : : /* Issue an ISO C99 pedantic warning MSGID if -pedantic outside C11 mode,
118 : : otherwise issue warning MSGID if -Wc99-c11-compat is specified.
119 : : This function is supposed to be used for matters that are allowed in
120 : : ISO C11 but not supported in ISO C99, thus we explicitly don't pedwarn
121 : : when C11 is specified. */
122 : :
123 : : bool
124 : 69518 : pedwarn_c99 (location_t location,
125 : : diagnostic_option_id option_id,
126 : : const char *gmsgid, ...)
127 : : {
128 : 69518 : diagnostic_info diagnostic;
129 : 69518 : va_list ap;
130 : 69518 : bool warned = false;
131 : 69518 : rich_location richloc (line_table, location);
132 : :
133 : 69518 : va_start (ap, gmsgid);
134 : : /* If desired, issue the C99/C11 compat warning, which is more specific
135 : : than -pedantic. */
136 : 69518 : if (warn_c99_c11_compat > 0)
137 : : {
138 : 53 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc,
139 : 53 : (pedantic && !flag_isoc11)
140 : : ? DK_PEDWARN : DK_WARNING);
141 : 53 : diagnostic.option_id = OPT_Wc99_c11_compat;
142 : 53 : warned = diagnostic_report_diagnostic (global_dc, &diagnostic);
143 : : }
144 : : /* -Wno-c99-c11-compat suppresses even the pedwarns. */
145 : 69465 : else if (warn_c99_c11_compat == 0)
146 : : ;
147 : : /* For -pedantic outside C11, issue a pedwarn. */
148 : 63552 : else if (pedantic && !flag_isoc11)
149 : : {
150 : 81 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc, DK_PEDWARN);
151 : 81 : diagnostic.option_id = option_id;
152 : 81 : warned = diagnostic_report_diagnostic (global_dc, &diagnostic);
153 : : }
154 : 69518 : va_end (ap);
155 : 139036 : return warned;
156 : 69518 : }
157 : :
158 : : /* Issue an ISO C90 pedantic warning MSGID if -pedantic outside C99 mode,
159 : : otherwise issue warning MSGID if -Wc90-c99-compat is specified, or if
160 : : a specific option such as -Wlong-long is specified.
161 : : This function is supposed to be used for matters that are allowed in
162 : : ISO C99 but not supported in ISO C90, thus we explicitly don't pedwarn
163 : : when C99 is specified. (There is no flag_c90.) */
164 : :
165 : : bool
166 : 4202293 : pedwarn_c90 (location_t location,
167 : : diagnostic_option_id option_id,
168 : : const char *gmsgid, ...)
169 : : {
170 : 4202293 : diagnostic_info diagnostic;
171 : 4202293 : va_list ap;
172 : 4202293 : bool warned = false;
173 : 4202293 : rich_location richloc (line_table, location);
174 : :
175 : 4202293 : va_start (ap, gmsgid);
176 : : /* Warnings such as -Wvla are the most specific ones. */
177 : 4202293 : if (option_id.m_idx != OPT_Wpedantic)
178 : : {
179 : 2980167 : int opt_var = *(int *) option_flag_var (option_id.m_idx, &global_options);
180 : 2980167 : if (opt_var == 0)
181 : 2655999 : goto out;
182 : 324168 : else if (opt_var > 0)
183 : : {
184 : 932 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc,
185 : 932 : (pedantic && !flag_isoc99)
186 : : ? DK_PEDWARN : DK_WARNING);
187 : 932 : diagnostic.option_id = option_id;
188 : 932 : diagnostic_report_diagnostic (global_dc, &diagnostic);
189 : 932 : warned = true;
190 : 932 : goto out;
191 : : }
192 : : }
193 : : /* Maybe we want to issue the C90/C99 compat warning, which is more
194 : : specific than -pedantic. */
195 : 1545362 : if (warn_c90_c99_compat > 0)
196 : : {
197 : 67 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc,
198 : 67 : (pedantic && !flag_isoc99)
199 : : ? DK_PEDWARN : DK_WARNING);
200 : 67 : diagnostic.option_id = OPT_Wc90_c99_compat;
201 : 67 : diagnostic_report_diagnostic (global_dc, &diagnostic);
202 : : }
203 : : /* -Wno-c90-c99-compat suppresses the pedwarns. */
204 : 1545295 : else if (warn_c90_c99_compat == 0)
205 : : ;
206 : : /* For -pedantic outside C99, issue a pedwarn. */
207 : 1109085 : else if (pedantic && !flag_isoc99)
208 : : {
209 : 401 : diagnostic_set_info (&diagnostic, gmsgid, &ap, &richloc, DK_PEDWARN);
210 : 401 : diagnostic.option_id = option_id;
211 : 401 : diagnostic_report_diagnostic (global_dc, &diagnostic);
212 : 401 : warned = true;
213 : : }
214 : 1108684 : out:
215 : 4202293 : va_end (ap);
216 : 8404586 : return warned;
217 : 4202293 : }
|
