analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]
[platform/upstream/gcc.git] / gcc / debug.h
1 /* Debug hooks for GCC.
2    Copyright (C) 2001-2022 Free Software Foundation, Inc.
3
4    This program is free software; you can redistribute it and/or modify it
5    under the terms of the GNU General Public License as published by the
6    Free Software Foundation; either version 3, or (at your option) any
7    later version.
8
9    This program is distributed in the hope that it will be useful,
10    but WITHOUT ANY WARRANTY; without even the implied warranty of
11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12    GNU General Public License for more details.
13
14    You should have received a copy of the GNU General Public License
15    along with this program; see the file COPYING3.  If not see
16    <http://www.gnu.org/licenses/>.  */
17
18 #ifndef GCC_DEBUG_H
19 #define GCC_DEBUG_H
20
21 /* This structure contains hooks for the debug information output
22    functions, accessed through the global instance debug_hooks set in
23    toplev.cc according to command line options.  */
24 /* WARNING: Do not add new debug hook targets - DWARF will be the only
25    way to speak debug to the middle-end once we are able to get rid of
26    the remaining targets.  If you need alternate output formats instead
27    generate them off the DWARF representation.  */
28 struct gcc_debug_hooks
29 {
30   /* Initialize debug output.  MAIN_FILENAME is the name of the main
31      input file.  */
32   void (* init) (const char *main_filename);
33
34   /* Output debug symbols.  */
35   void (* finish) (const char *main_filename);
36
37   /* Run cleanups necessary after early debug generation.  */
38   void (* early_finish) (const char *main_filename);
39
40   /* Called from cgraph_optimize before starting to assemble
41      functions/variables/toplevel asms.  */
42   void (* assembly_start) (void);
43
44   /* Macro defined on line LINE with name and expansion TEXT.  */
45   void (* define) (unsigned int line, const char *text);
46
47   /* MACRO undefined on line LINE.  */
48   void (* undef) (unsigned int line, const char *macro);
49
50   /* Record the beginning of a new source file FILE from LINE number
51      in the previous one.  */
52   void (* start_source_file) (unsigned int line, const char *file);
53
54   /* Record the resumption of a source file.  LINE is the line number
55      in the source file we are returning to.  */
56   void (* end_source_file) (unsigned int line);
57
58   /* Record the beginning of block N, counting from 1 and not
59      including the function-scope block, at LINE.  */
60   void (* begin_block) (unsigned int line, unsigned int n);
61
62   /* Record the end of a block.  Arguments as for begin_block.  */
63   void (* end_block) (unsigned int line, unsigned int n);
64
65   /* Returns nonzero if it is appropriate not to emit any debugging
66      information for BLOCK, because it doesn't contain any
67      instructions.  This may not be the case for blocks containing
68      nested functions, since we may actually call such a function even
69      though the BLOCK information is messed up.  Defaults to true.  */
70   bool (* ignore_block) (const_tree);
71
72   /* Record a source file location at (FILE, LINE, COLUMN, DISCRIMINATOR).  */
73   void (* source_line) (unsigned int line, unsigned int column,
74                         const char *file, int discriminator, bool is_stmt);
75
76   /* Record a source file location for a DECL_IGNORED_P function.  */
77   void (* set_ignored_loc) (unsigned int line, unsigned int column,
78                             const char *file);
79
80   /* Called at start of prologue code.  LINE is the first line in the
81      function.  */
82   void (* begin_prologue) (unsigned int line, unsigned int column,
83                            const char *file);
84
85   /* Called at end of prologue code.  LINE is the first line in the
86      function.  */
87   void (* end_prologue) (unsigned int line, const char *file);
88
89   /* Called at beginning of epilogue code.  */
90   void (* begin_epilogue) (unsigned int line, const char *file);
91
92   /* Record end of epilogue code.  */
93   void (* end_epilogue) (unsigned int line, const char *file);
94
95   /* Called at start of function DECL, before it is declared.  */
96   void (* begin_function) (tree decl);
97
98   /* Record end of function.  LINE is highest line number in function.  */
99   void (* end_function) (unsigned int line);
100
101   /* Register UNIT as the main translation unit.  Called from front-ends when
102      they create their main translation unit.  */
103   void (* register_main_translation_unit) (tree);
104
105   /* Debug information for a function DECL.  This might include the
106      function name (a symbol), its parameters, and the block that
107      makes up the function's body, and the local variables of the
108      function.
109
110      This is only called for FUNCTION_DECLs.  It is part of the late
111      debug pass and is called from rest_of_handle_final.
112
113      Location information is available at this point.
114
115      See the documentation for early_global_decl and late_global_decl
116      for other entry points into the debugging back-ends for DECLs.  */
117   void (* function_decl) (tree decl);
118
119   /* Debug information for a global DECL.  Called from the parser
120      after the parsing process has finished.
121
122      This gets called for both variables and functions.
123
124      Location information is not available at this point, but it is a
125      good probe point to get access to symbols before they get
126      optimized away.
127
128      This hook may be called on VAR_DECLs or FUNCTION_DECLs.  It is up
129      to the hook to use what it needs.  */
130   void (* early_global_decl) (tree decl);
131
132   /* Augment debug information generated by early_global_decl with
133      more complete debug info (if applicable).  Called from toplev.cc
134      after the compilation proper has finished and cgraph information
135      is available.
136
137      This gets called for both variables and functions.
138
139      Location information is usually available at this point, unless
140      the hook is being called for a decl that has been optimized away.
141
142      This hook may be called on VAR_DECLs or FUNCTION_DECLs.  It is up
143      to the hook to use what it needs.  */
144   void (* late_global_decl) (tree decl);
145
146   /* Debug information for a type DECL.  Called from toplev.cc after
147      compilation proper, also from various language front ends to
148      record built-in types.  The second argument is properly a
149      boolean, which indicates whether or not the type is a "local"
150      type as determined by the language.  (It's not a boolean for
151      legacy reasons.)  */
152   void (* type_decl) (tree decl, int local);
153
154   /* Debug information for imported modules and declarations.  */
155   void (* imported_module_or_decl) (tree decl, tree name,
156                                     tree context, bool child,
157                                     bool implicit);
158
159   /* Return true if a DIE for the tree is available and return a symbol
160      and offset that can be used to refer to it externally.  */
161   bool (* die_ref_for_decl) (tree, const char **, unsigned HOST_WIDE_INT *);
162
163   /* Early debug information for the tree is available at symbol plus
164      offset externally.  */
165   void (* register_external_die) (tree, const char *, unsigned HOST_WIDE_INT);
166
167   /* DECL is an inline function, whose body is present, but which is
168      not being output at this point.  */
169   void (* deferred_inline_function) (tree decl);
170
171   /* DECL is an inline function which is about to be emitted out of
172      line.  The hook is useful to, e.g., emit abstract debug info for
173      the inline before it gets mangled by optimization.  */
174   void (* outlining_inline_function) (tree decl);
175
176   /* Called from final_scan_insn for any CODE_LABEL insn whose
177      LABEL_NAME is non-null.  */
178   void (* label) (rtx_code_label *);
179
180   /* Called after the start and before the end of writing a PCH file.
181      The parameter is 0 if after the start, 1 if before the end.  */
182   void (* handle_pch) (unsigned int);
183
184   /* Called from final_scan_insn for any NOTE_INSN_VAR_LOCATION note.  */
185   void (* var_location) (rtx_insn *);
186
187   /* Called from final_scan_insn for any NOTE_INSN_INLINE_ENTRY note.  */
188   void (* inline_entry) (tree block);
189
190   /* Called from finalize_size_functions for size functions so that their body
191      can be encoded in the debug info to describe the layout of variable-length
192      structures.  */
193   void (* size_function) (tree decl);
194
195   /* Called from final_scan_insn if there is a switch between hot and cold
196      text sections.  */
197   void (* switch_text_section) (void);
198
199   /* Called from grokdeclarator.  Replaces the anonymous name with the
200      type name.  */
201   void (* set_name) (tree, tree);
202
203   /* This is 1 if the debug writer wants to see start and end commands for the
204      main source files, and 0 otherwise.  */
205   int start_end_main_source_file;
206
207   /* The type of symtab field used by these debug hooks.  This is one
208      of the TYPE_SYMTAB_IS_xxx values defined in tree.h.  */
209   int tree_type_symtab_field;
210 };
211
212 extern const struct gcc_debug_hooks *debug_hooks;
213
214 /* The do-nothing hooks.  */
215 extern void debug_nothing_void (void);
216 extern void debug_nothing_charstar (const char *);
217 extern void debug_nothing_int_int_charstar (unsigned int, unsigned int,
218                                             const char *);
219 extern void debug_nothing_int_charstar (unsigned int, const char *);
220 extern void debug_nothing_int_int_charstar_int_bool (unsigned int,
221                                                      unsigned int,
222                                                      const char *,
223                                                      int, bool);
224 extern void debug_nothing_int (unsigned int);
225 extern void debug_nothing_int_int (unsigned int, unsigned int);
226 extern void debug_nothing_tree (tree);
227 extern void debug_nothing_tree_tree (tree, tree);
228 extern void debug_nothing_tree_int (tree, int);
229 extern void debug_nothing_tree_tree_tree_bool_bool (tree, tree, tree,
230                                                     bool, bool);
231 extern bool debug_true_const_tree (const_tree);
232 extern void debug_nothing_rtx_insn (rtx_insn *);
233 extern void debug_nothing_rtx_code_label (rtx_code_label *);
234 extern bool debug_false_tree_charstarstar_uhwistar (tree, const char **,
235                                                     unsigned HOST_WIDE_INT *);
236 extern void debug_nothing_tree_charstar_uhwi (tree, const char *,
237                                               unsigned HOST_WIDE_INT);
238
239 /* Hooks for various debug formats.  */
240 extern const struct gcc_debug_hooks do_nothing_debug_hooks;
241 extern const struct gcc_debug_hooks xcoff_debug_hooks;
242 extern const struct gcc_debug_hooks dwarf2_debug_hooks;
243 extern const struct gcc_debug_hooks dwarf2_lineno_debug_hooks;
244 extern const struct gcc_debug_hooks vmsdbg_debug_hooks;
245
246 /* Dwarf2 frame information.  */
247
248 extern void dwarf2out_begin_prologue (unsigned int, unsigned int,
249                                       const char *);
250 extern void dwarf2out_vms_end_prologue (unsigned int, const char *);
251 extern void dwarf2out_vms_begin_epilogue (unsigned int, const char *);
252 extern void dwarf2out_end_epilogue (unsigned int, const char *);
253 extern void dwarf2out_frame_finish (void);
254 extern bool dwarf2out_do_eh_frame (void);
255 extern bool dwarf2out_do_frame (void);
256 extern bool dwarf2out_do_cfi_asm (void);
257 extern void dwarf2out_switch_text_section (void);
258 extern bool dwarf2out_default_as_loc_support (void);
259 extern bool dwarf2out_default_as_locview_support (void);
260
261 /* For -fdump-go-spec.  */
262
263 extern const struct gcc_debug_hooks *
264 dump_go_spec_init (const char *, const struct gcc_debug_hooks *);
265
266 /* Instance discriminator mapping table.  See final.cc.  */
267 typedef hash_map<const_tree, int> decl_to_instance_map_t;
268 extern decl_to_instance_map_t *decl_to_instance_map;
269
270 /* Allocate decl_to_instance_map with COUNT slots to begin wtih, if it
271  * hasn't been allocated yet.  */
272
273 static inline decl_to_instance_map_t *
274 maybe_create_decl_to_instance_map (int count = 13)
275 {
276   if (!decl_to_instance_map)
277     decl_to_instance_map = new decl_to_instance_map_t (count);
278   return decl_to_instance_map;
279 }
280
281 #endif /* !GCC_DEBUG_H  */