analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / analyzer / symbol.h
blobdbaf760f41363d01060652c2ff14dcb0f005ee9e
1 /* Base class for svalues and regions.
2 Copyright (C) 2023 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_ANALYZER_SYMBOL_H
22 #define GCC_ANALYZER_SYMBOL_H
24 #include "analyzer/complexity.h"
26 namespace ana {
28 /* Base class for svalues and regions: has a complexity and a numeric ID. */
30 class symbol
32 public:
33 typedef unsigned id_t;
35 const complexity &get_complexity () const { return m_complexity; }
37 id_t get_id () const { return m_id; }
38 static int cmp_ids (const symbol *s1, const symbol *s2);
40 protected:
41 symbol (complexity c, unsigned id)
42 : m_complexity (c),
43 m_id (id)
46 private:
47 complexity m_complexity;
48 id_t m_id; // for deterministic sorting at this stage, for dumps
51 } // namespace ana
53 #endif /* GCC_ANALYZER_SYMBOL_H */