debug: Add new function ctf_debuginfo_p

gcc/

	* flags.h (ctf_debuginfo_p): New function declaration.
	* opts.c (ctf_debuginfo_p): New function definition.

diff --git a/gcc/flags.h b/gcc/flags.h
index 85fd228a20ca89fdc57474e318757eccb2be5630..afedef0abeacb231ef7ed16c2fa34a5a49013545 100644 (file)
--- a/gcc/flags.h
+++ b/gcc/flags.h
@@ -44,6 +44,10 @@ const char * debug_set_names (uint32_t w_symbols);
 
 extern bool btf_debuginfo_p ();
 
+/* Return true iff CTF debug info is enabled.  */
+
+extern bool ctf_debuginfo_p ();
+
 /* Return true iff DWARF2 debug info is enabled.  */
 
 extern bool dwarf_debuginfo_p ();

diff --git a/gcc/opts.c b/gcc/opts.c
index 25282f71a3b7dd87bc6c02ce7c29a3bea0f16b30..93366e6eb2db256ca745c4843b50defebf0f08be 100644 (file)
--- a/gcc/opts.c
+++ b/gcc/opts.c
@@ -135,6 +135,14 @@ btf_debuginfo_p ()
   return (write_symbols & BTF_DEBUG);
 }
 
+/* Return TRUE iff CTF debug info is enabled.  */
+
+bool
+ctf_debuginfo_p ()
+{
+  return (write_symbols & CTF_DEBUG);
+}
+
 /* Return TRUE iff dwarf2 debug info is enabled.  */
 
 bool