Line data Source code
1 : /* Language-independent APIs to enable/disable per-location warnings.
2 :
3 : Copyright (C) 2021-2026 Free Software Foundation, Inc.
4 : Contributed by Martin Sebor <msebor@redhat.com>
5 :
6 : This file is part of GCC.
7 :
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
11 : version.
12 :
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
16 : for more details.
17 :
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/>. */
21 :
22 : #ifndef GCC_DIAGNOSTIC_SPEC_H_INCLUDED
23 : #define GCC_DIAGNOSTIC_SPEC_H_INCLUDED
24 :
25 : #include "hash-map.h"
26 :
27 : /* A "bitset" of warning groups. */
28 :
29 : class nowarn_spec_t
30 : {
31 : public:
32 : enum
33 : {
34 : /* Middle end warnings about invalid accesses. */
35 : NW_ACCESS = 1 << 0,
36 : /* Front end/lexical warnings. */
37 : NW_LEXICAL = 1 << 1,
38 : /* Warnings about null pointers. */
39 : NW_NONNULL = 1 << 2,
40 : /* Warnings about uninitialized reads. */
41 : NW_UNINIT = 1 << 3,
42 : /* Warnings about arithmetic overflow. */
43 : NW_VFLOW = 1 << 4,
44 : /* Warnings about dangling pointers. */
45 : NW_DANGLING = 1 << 5,
46 : /* All other unclassified warnings. */
47 : NW_OTHER = 1 << 6,
48 : /* Warnings about redundant calls. */
49 : NW_REDUNDANT = 1 << 7,
50 : /* All groups of warnings. */
51 : NW_ALL = (NW_ACCESS | NW_LEXICAL | NW_NONNULL
52 : | NW_UNINIT | NW_VFLOW | NW_DANGLING | NW_REDUNDANT | NW_OTHER)
53 : };
54 :
55 418406 : nowarn_spec_t (): m_bits () { }
56 :
57 : nowarn_spec_t (opt_code);
58 :
59 418406 : static nowarn_spec_t from_bits (unsigned bits)
60 : {
61 418406 : nowarn_spec_t spec;
62 418406 : spec.m_bits = bits;
63 418406 : return spec;
64 : }
65 :
66 : /* Return the raw bitset. */
67 240532 : operator unsigned() const
68 : {
69 240532 : return m_bits;
70 : }
71 :
72 : /* Return true if the bitset is clear. */
73 : bool operator!() const
74 : {
75 : return !m_bits;
76 : }
77 :
78 : /* Return the inverse of the bitset. */
79 : nowarn_spec_t operator~() const
80 : {
81 : nowarn_spec_t res (*this);
82 : res.m_bits &= ~NW_ALL;
83 : return res;
84 : }
85 :
86 : /* Set *THIS to the bitwise OR of *THIS and RHS. */
87 140748405 : nowarn_spec_t& operator|= (const nowarn_spec_t &rhs)
88 : {
89 140748405 : m_bits |= rhs.m_bits;
90 140748405 : return *this;
91 : }
92 :
93 : /* Set *THIS to the bitwise AND of *THIS and RHS. */
94 189451356 : nowarn_spec_t& operator&= (const nowarn_spec_t &rhs)
95 : {
96 189451356 : m_bits &= rhs.m_bits;
97 189429613 : return *this;
98 : }
99 :
100 : /* Set *THIS to the bitwise exclusive OR of *THIS and RHS. */
101 : nowarn_spec_t& operator^= (const nowarn_spec_t &rhs)
102 : {
103 : m_bits ^= rhs.m_bits;
104 : return *this;
105 : }
106 :
107 : private:
108 : /* Bitset of warning groups. */
109 : unsigned m_bits;
110 : };
111 :
112 : /* Return the bitwise OR of LHS and RHS. */
113 :
114 : inline nowarn_spec_t
115 : operator| (const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
116 : {
117 : return nowarn_spec_t (lhs) |= rhs;
118 : }
119 :
120 : /* Return the bitwise AND of LHS and RHS. */
121 :
122 : inline nowarn_spec_t
123 189448383 : operator& (const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
124 : {
125 189448383 : return nowarn_spec_t (lhs) &= rhs;
126 : }
127 :
128 : /* Return true if LHS is equal RHS. */
129 :
130 : inline bool
131 : operator== (const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
132 : {
133 : return static_cast<unsigned>(lhs) == static_cast<unsigned>(rhs);
134 : }
135 :
136 : /* Return true if LHS is not equal RHS. */
137 :
138 : inline bool
139 : operator!= (const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
140 : {
141 : return !(lhs == rhs);
142 : }
143 :
144 : typedef hash_map<location_hash, nowarn_spec_t> nowarn_map_t;
145 :
146 : /* A mapping from a 'location_t' to the warning spec set for it. */
147 : extern GTY(()) nowarn_map_t *nowarn_map;
148 :
149 : #endif // GCC_DIAGNOSTIC_SPEC_H_INCLUDED
|
