GCC Middle and Back End API Reference
diagnostic-spec.h
Go to the documentation of this file.
1/* Language-independent APIs to enable/disable per-location warnings.
2
3 Copyright (C) 2021-2024 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 DIAGNOSTIC_SPEC_H_INCLUDED
23#define DIAGNOSTIC_SPEC_H_INCLUDED
24
25#include "hash-map.h"
26
27/* A "bitset" of warning groups. */
28
30{
31public:
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. */
53 };
54
56
57 nowarn_spec_t (opt_code);
58
59 /* Return the raw bitset. */
60 operator unsigned() const
61 {
62 return m_bits;
63 }
64
65 /* Return true if the bitset is clear. */
66 bool operator!() const
67 {
68 return !m_bits;
69 }
70
71 /* Return the inverse of the bitset. */
73 {
74 nowarn_spec_t res (*this);
75 res.m_bits &= ~NW_ALL;
76 return res;
77 }
78
79 /* Set *THIS to the bitwise OR of *THIS and RHS. */
81 {
82 m_bits |= rhs.m_bits;
83 return *this;
84 }
85
86 /* Set *THIS to the bitwise AND of *THIS and RHS. */
88 {
89 m_bits &= rhs.m_bits;
90 return *this;
91 }
92
93 /* Set *THIS to the bitwise exclusive OR of *THIS and RHS. */
95 {
96 m_bits ^= rhs.m_bits;
97 return *this;
98 }
99
100private:
101 /* Bitset of warning groups. */
102 unsigned m_bits;
103};
104
105/* Return the bitwise OR of LHS and RHS. */
106
107inline nowarn_spec_t
109{
110 return nowarn_spec_t (lhs) |= rhs;
111}
112
113/* Return the bitwise AND of LHS and RHS. */
114
115inline nowarn_spec_t
117{
118 return nowarn_spec_t (lhs) &= rhs;
119}
120
121/* Return true if LHS is equal RHS. */
122
123inline bool
125{
126 return static_cast<unsigned>(lhs) == static_cast<unsigned>(rhs);
127}
128
129/* Return true if LHS is not equal RHS. */
130
131inline bool
133{
134 return !(lhs == rhs);
135}
136
138
139/* A mapping from a 'location_t' to the warning spec set for it. */
140extern GTY(()) nowarn_map_t *nowarn_map;
141
142#endif // DIAGNOSTIC_SPEC_H_INCLUDED
Definition hash-map.h:40
Definition diagnostic-spec.h:30
@ NW_ACCESS
Definition diagnostic-spec.h:35
@ NW_VFLOW
Definition diagnostic-spec.h:43
@ NW_OTHER
Definition diagnostic-spec.h:47
@ NW_REDUNDANT
Definition diagnostic-spec.h:49
@ NW_LEXICAL
Definition diagnostic-spec.h:37
@ NW_DANGLING
Definition diagnostic-spec.h:45
@ NW_NONNULL
Definition diagnostic-spec.h:39
@ NW_UNINIT
Definition diagnostic-spec.h:41
@ NW_ALL
Definition diagnostic-spec.h:51
nowarn_spec_t & operator|=(const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:80
unsigned m_bits
Definition diagnostic-spec.h:102
nowarn_spec_t & operator^=(const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:94
nowarn_spec_t operator~() const
Definition diagnostic-spec.h:72
nowarn_spec_t()
Definition diagnostic-spec.h:55
nowarn_spec_t & operator&=(const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:87
bool operator!() const
Definition diagnostic-spec.h:66
#define GTY(x)
Definition coretypes.h:41
bool operator==(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:124
nowarn_map_t * nowarn_map
Definition diagnostic-spec.cc:120
bool operator!=(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:132
hash_map< location_hash, nowarn_spec_t > nowarn_map_t
Definition diagnostic-spec.h:137
nowarn_spec_t operator|(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:108
nowarn_spec_t operator&(const nowarn_spec_t &lhs, const nowarn_spec_t &rhs)
Definition diagnostic-spec.h:116