1 /* Functions to enable and disable individual warnings on an expression
3 Copyright (C) 2021-2022 Free Software Foundation, Inc.
4 Contributed by Martin Sebor <msebor@redhat.com>
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
24 #include "coretypes.h"
30 #include "diagnostic-spec.h"
31 #include "pretty-print.h"
34 /* Initialize *THIS from warning option OPT. */
36 nowarn_spec_t::nowarn_spec_t (opt_code opt)
38 /* Create a very simple mapping based on testing and experience.
39 It should become more refined with time. */
50 /* Flow-sensitive warnings about pointer problems issued by both
51 front ends and the middle end. */
57 /* Flow-sensitive warnings about arithmetic overflow issued by both
58 front ends and the middle end. */
60 case OPT_Wshift_count_negative:
61 case OPT_Wshift_count_overflow:
62 case OPT_Wstrict_overflow:
66 /* Lexical warnings issued by front ends. */
69 case OPT_Wparentheses:
70 case OPT_Wreturn_type:
71 case OPT_Wsizeof_array_div:
72 case OPT_Wstrict_aliasing:
74 case OPT_Wunused_function:
75 case OPT_Wunused_but_set_variable:
76 case OPT_Wunused_variable:
77 case OPT_Wunused_but_set_parameter:
81 /* Access warning group. */
82 case OPT_Warray_bounds:
83 case OPT_Warray_bounds_:
84 case OPT_Wformat_overflow_:
85 case OPT_Wformat_truncation_:
87 case OPT_Wsizeof_pointer_memaccess:
88 case OPT_Wstrict_aliasing_:
89 case OPT_Wstringop_overflow_:
90 case OPT_Wstringop_overread:
91 case OPT_Wstringop_truncation:
95 /* Initialization warning group. */
97 case OPT_Wuninitialized:
98 case OPT_Wmaybe_uninitialized:
102 case OPT_Wdangling_pointer_:
103 case OPT_Wreturn_local_addr:
104 case OPT_Wuse_after_free_:
105 m_bits = NW_DANGLING;
108 case OPT_Wpessimizing_move:
109 case OPT_Wredundant_move:
110 m_bits = NW_REDUNDANT;
114 /* A catchall group for everything else. */
119 /* A mapping from a 'location_t' to the warning spec set for it. */
121 GTY(()) nowarn_map_t *nowarn_map;
123 /* Return the no-warning disposition for location LOC and option OPT
124 or for all/any otions by default. */
127 warning_suppressed_at (location_t loc, opt_code opt /* = all_warnings */)
129 gcc_checking_assert (!RESERVED_LOCATION_P (loc));
134 if (const nowarn_spec_t* const pspec = nowarn_map->get (loc))
136 const nowarn_spec_t optspec (opt);
137 return *pspec & optspec;
143 /* Change the supression of warnings for location LOC.
144 OPT controls which warnings are affected.
145 The wildcard OPT of -1 controls all warnings.
146 If SUPP is true (the default), enable the suppression of the warnings.
147 If SUPP is false, disable the suppression of the warnings. */
150 suppress_warning_at (location_t loc, opt_code opt /* = all_warnings */,
151 bool supp /* = true */)
153 gcc_checking_assert (!RESERVED_LOCATION_P (loc));
155 const nowarn_spec_t optspec (supp ? opt : opt_code ());
157 if (nowarn_spec_t *pspec = nowarn_map ? nowarn_map->get (loc) : NULL)
169 nowarn_map->remove (loc);
173 if (!supp || opt == no_warning)
177 nowarn_map = nowarn_map_t::create_ggc (32);
179 nowarn_map->put (loc, optspec);
183 /* Copy the no-warning disposition from one location to another. */
186 copy_warning (location_t to, location_t from)
191 nowarn_spec_t *from_spec;
192 if (RESERVED_LOCATION_P (from))
195 from_spec = nowarn_map->get (from);
196 if (RESERVED_LOCATION_P (to))
197 /* We cannot set no-warning dispositions for 'to', so we have no chance but
198 lose those potentially set for 'from'. */
204 nowarn_spec_t tem = *from_spec;
205 nowarn_map->put (to, tem);
208 nowarn_map->remove (to);