[Ada] Define the -fdump-scos option in lang.opt

2019-08-19  Pierre-Marie de Rodat  <derodat@adacore.com>

gcc/ada/

	* gcc-interface/lang.opt (fdump-scos): Define.
	* gcc-interface/misc.c (gnat_handle_option): Handle
	OPT_fdump_scos.

From-SVN: r274637

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 2c4e026..d6367e1 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2019-08-19  Pierre-Marie de Rodat  <derodat@adacore.com>
+
+       * gcc-interface/lang.opt (fdump-scos): Define.
+       * gcc-interface/misc.c (gnat_handle_option): Handle
+       OPT_fdump_scos.
+
 2019-08-14  Joffrey Huguet  <huguet@adacore.com>
 
        * libgnat/a-cofuba.ads: Add a Length attribute to type

diff --git a/gcc/ada/gcc-interface/lang.opt b/gcc/ada/gcc-interface/lang.opt
index cc9fa49..4295651 100644 (file)
--- a/gcc/ada/gcc-interface/lang.opt
+++ b/gcc/ada/gcc-interface/lang.opt
@@ -56,6 +56,10 @@ Wall
 Ada AdaWhy AdaSCIL
 Enable most warning messages.
 
+fdump-scos
+Ada RejectNegative Var(flag_dump_scos) Init(0)
+Dump Source Coverage Obligations
+
 k8
 Driver
 Synonym of -gnatk8.

diff --git a/gcc/ada/gcc-interface/misc.c b/gcc/ada/gcc-interface/misc.c
index 5737165..d53374e 100644 (file)
--- a/gcc/ada/gcc-interface/misc.c
+++ b/gcc/ada/gcc-interface/misc.c
@@ -161,6 +161,7 @@ gnat_handle_option (size_t scode, const char *arg, HOST_WIDE_INT value,
     case OPT_gnatO:
     case OPT_fRTS_:
     case OPT_I:
+    case OPT_fdump_scos:
     case OPT_nostdinc:
     case OPT_nostdlib:
       /* These are handled by the front-end.  */