diff mbox series

[Ada] Fix documentation of -gnatVa switch

Message ID 20200707092736.GA41518@adacore.com
State New
Headers show
Series [Ada] Fix documentation of -gnatVa switch | expand

Commit Message

Pierre-Marie de Rodat July 7, 2020, 9:27 a.m. UTC 
Switch -gnatVa enables all validity checks, including for parameters,
which can be specifically enabled with -gnatVp.

Tested on x86_64-pc-linux-gnu, committed on trunk

gcc/ada/

	* doc/gnat_ugn/building_executable_programs_with_gnat.rst
	(Validity Checking): Add "p" to the list of switches enabled by
	-gnatVa.
	* gnat_ugn.texi: Regenerate.
diff mbox series

Patch

diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
--- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
+++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
@@ -4403,7 +4403,7 @@  to the default checks required by Ada as described above.
 
   All validity checks are turned on.
   That is, :switch:`-gnatVa` is
-  equivalent to ``gnatVcdfimorst``.
+  equivalent to ``gnatVcdfimoprst``.
 
 
 .. index:: -gnatVc  (gcc)


diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -13161,7 +13161,7 @@  to the default checks required by Ada as described above.
 
 All validity checks are turned on.
 That is, @code{-gnatVa} is
-equivalent to @code{gnatVcdfimorst}.
+equivalent to @code{gnatVcdfimoprst}.
 @end table
 
 @geindex -gnatVc (gcc)