diff options
Diffstat (limited to 'gcc/flags.h')
| -rw-r--r-- | gcc/flags.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/flags.h b/gcc/flags.h index cc7b79b..85fd228 100644 --- a/gcc/flags.h +++ b/gcc/flags.h @@ -40,10 +40,19 @@ unsigned int debug_set_count (uint32_t w_symbols); const char * debug_set_names (uint32_t w_symbols); +/* Return true iff BTF debug info is enabled. */ + +extern bool btf_debuginfo_p (); + /* Return true iff DWARF2 debug info is enabled. */ extern bool dwarf_debuginfo_p (); +/* Return true iff the debug info format is to be generated based on DWARF + DIEs (like CTF and BTF debug info formats). */ + +extern bool dwarf_based_debuginfo_p (); + extern void strip_off_ending (char *, int); extern int base_of_path (const char *path, const char **base_out); |