Line data Source code
1 : /* A bundle of location information for a checker_event.
2 : Copyright (C) 2019-2026 Free Software Foundation, Inc.
3 : Contributed by David Malcolm <dmalcolm@redhat.com>.
4 :
5 : This file is part of GCC.
6 :
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.
11 :
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.
16 :
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/>. */
20 :
21 : #ifndef GCC_ANALYZER_EVENT_LOC_INFO_H
22 : #define GCC_ANALYZER_EVENT_LOC_INFO_H
23 :
24 : namespace ana {
25 :
26 : /* A bundle of location information for a checker_event. */
27 :
28 : struct event_loc_info
29 : {
30 23189 : event_loc_info (location_t loc, tree fndecl, int depth)
31 22259 : : m_loc (loc), m_fndecl (fndecl), m_depth (depth)
32 : {}
33 :
34 : event_loc_info (const exploded_node *enode);
35 : event_loc_info (const program_point &point);
36 :
37 : location_t m_loc;
38 : tree m_fndecl;
39 : int m_depth;
40 : };
41 :
42 : } // namespace ana
43 :
44 : #endif /* GCC_ANALYZER_EVENT_LOC_INFO_H */
|