gimple-fold: Use ranges to simplify _chk calls
[official-gcc.git] / gcc / tristate.h
bloba6533a578b6c29b73d59cc6c9c7cec894f209bec
1 /* "True" vs "False" vs "Unknown".
2 Copyright (C) 2019-2021 Free Software Foundation, Inc.
3 Contributed by David Malcolm <dmalcolm@redhat.com>.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
12 GCC is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
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/>. */
21 #ifndef GCC_TRISTATE_H
22 #define GCC_TRISTATE_H
24 /* "True" vs "False" vs "Unknown". */
26 class tristate {
27 public:
28 enum value {
29 TS_UNKNOWN,
30 TS_TRUE,
31 TS_FALSE
34 tristate (enum value val) : m_value (val) {}
35 tristate (bool val) : m_value (val ? TS_TRUE : TS_FALSE) {}
36 static tristate unknown () { return tristate (TS_UNKNOWN); }
38 const char *as_string () const;
40 bool is_known () const { return m_value != TS_UNKNOWN; }
41 bool is_true () const { return m_value == TS_TRUE; }
42 bool is_false () const { return m_value == TS_FALSE; }
44 tristate not_ () const;
45 tristate or_ (tristate other) const;
46 tristate and_ (tristate other) const;
48 bool operator== (const tristate &other) const
50 return m_value == other.m_value;
53 bool operator!= (const tristate &other) const
55 return m_value != other.m_value;
58 enum value get_value () const { return m_value; }
60 private:
61 enum value m_value;
64 /* Overloaded boolean operators on tristates. */
66 inline tristate
67 operator ! (tristate t)
69 return t.not_ ();
72 inline tristate
73 operator || (tristate a, tristate b)
75 return a.or_ (b);
78 inline tristate
79 operator && (tristate a, tristate b)
81 return a.and_ (b);
84 #endif /* GCC_TRISTATE_H */