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

misc.c (gnat_post_options): Issue a warning if generating STABS debugging information when not the default.

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

From-SVN: r227737

gcc/ada/ChangeLog

+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.

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;