exp_ch4.adb, [...]: Minor reformatting.

2013-04-11  Robert Dewar  <dewar@adacore.com>

	* exp_ch4.adb, exp_dist.adb: Minor reformatting.
	* gnat_rm.texi, gnat_ugn.texi: -020 Add documentation clarifying that
	check names introduced with pragma Check_Name are suppressed by -gnatp.

From-SVN: r197756

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index bd589e3f16b12fc5cb33eb2f17ef34feb373efdf..30fbe66a56c449a150db4073243d0cb8b1690743 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2013-04-11  Robert Dewar  <dewar@adacore.com>
+
+       * exp_ch4.adb, exp_dist.adb: Minor reformatting.
+       * gnat_rm.texi, gnat_ugn.texi: -020 Add documentation clarifying that
+       check names introduced with pragma Check_Name are suppressed by -gnatp.
+
 2013-04-11  Vincent Celier  <celier@adacore.com>
 
        * gnat_ugn.texi, projects.texi: Move chapter "Tools Supporting Project

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 489c388d44f2db82b4d75fae8f8a3c2b796710a5..e7e767de17a75235113839b0300f8c765e6a268c 100644 (file)
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -4226,8 +4226,7 @@ package body Exp_Ch4 is
 
          --  Regardless of the anonymous-to-named access type conversion, the
          --  lifetime of the object must be associated with the named access
-         --  type. Use the finalization-related attributes of the named access
-         --  type.
+         --  type. Use the finalization-related attributes of this type.
 
          if Nkind_In (Parent (N), N_Type_Conversion,
                                   N_Unchecked_Type_Conversion)

diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb
index 6d499c45dce0408494dbc100cafa75a2fd4716e9..d7055f2cc833726366b916ac6421932d79391fdf 100644 (file)
--- a/gcc/ada/exp_dist.adb
+++ b/gcc/ada/exp_dist.adb
@@ -10299,12 +10299,12 @@ package body Exp_Dist is
             is
                Constructed_TC : constant Node_Id :=
                  Make_Function_Call (Loc,
-                   Name =>
+                   Name                   =>
                      New_Occurrence_Of (RTE (RE_Build_Complex_TC), Loc),
                    Parameter_Associations => New_List (
                      New_Occurrence_Of (Kind, Loc),
                      Make_Aggregate (Loc,
-                        Expressions => Parameters)));
+                       Expressions => Parameters)));
             begin
                Set_Etype (Constructed_TC, RTE (RE_TypeCode));
                return Constructed_TC;

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 75d83de69d3c12d92f63f9c35c965572e7fd578b..386f3511c70ebf1be55275bbf19b17005e100f0a 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -1516,6 +1516,9 @@ the current unit, or if it appears at the start of any unit that
 is part of the dependency set of the current unit (e.g., units that
 are mentioned in @code{with} clauses).
 
+Check names introduced by this pragma are subject to control by compiler
+switches (in particular -gnatp) in the usual manner.
+
 @node Pragma Check_Policy
 @unnumberedsec Pragma Check_Policy
 @cindex Controlling assertions

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 3ff68258af7bb89058e7007b243683fffe00c03a..af3f9a0cd1d9ac7911ba284fdf5fb1c175d8a1cb 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -7002,6 +7002,12 @@ year). The compiler will generate code based on the assumption that
 the condition being checked is true, which can result in disaster if
 that assumption is wrong.
 
+The checks subject to suppression include all the checks defined by
+the Ada standard, the additional implementation defined checks
+@code{Alignment_Check}, @code{Atomic_Synchronization}, and
+@code{Validity_Check}, as well as any checks introduced using
+@code{pragma Check_Name}.
+
 The @option{-gnatp} switch has no effect if a subsequent
 @option{-gnat-p} switch appears.