misc.c (gnat_post_options): Issue a warning if generating STABS debugging information...

	* gcc-interface/misc.c (gnat_post_options): Issue a warning if
	generating STABS debugging information when not the default.

From-SVN: r227737

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index e3d0e2289f90046e9ba2a58f1c0d7ec6bdedb163..d11227b083905258710bf5579bbd10897a8194ab 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2015-09-14  Pierre-Marie de Rodat  <derodat@adacore.com>
+
+       * gcc-interface/misc.c (gnat_post_options): Issue a warning if
+       generating STABS debugging information when not the default.
+
 2015-09-14  Eric Botcazou  <ebotcazou@adacore.com>
 
        * gcc-interface/gigi.h (ref_filename): Delete.

diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c
index 9d8d2621c45d521fa1b62297b9b6cf35ae35cd60..da91c6f326d04059213b10f062c94f125951fe27 100644 (file)
--- a/gcc/ada/gcc-interface/misc.c
+++ b/gcc/ada/gcc-interface/misc.c
@@ -268,6 +268,13 @@ gnat_post_options (const char **pfilename ATTRIBUTE_UNUSED)
   if (!global_options_set.x_flag_diagnostics_show_caret)
     global_dc->show_caret = false;
 
+  /* Warn only if STABS is not the default: we don't want to emit a warning if
+     the user did not use a -gstabs option.  */
+  if (PREFERRED_DEBUGGING_TYPE != DBX_DEBUG && write_symbols == DBX_DEBUG)
+    warning (0, "STABS debugging information for Ada is obsolete and not "
+               "supported anymore");
+
+  /* Copy global settings to local versions.  */
   optimize = global_options.x_optimize;
   optimize_size = global_options.x_optimize_size;
   flag_compare_debug = global_options.x_flag_compare_debug;