From: Robert Dewar <dewar@adacore.com>
Date: Thu, 11 Apr 2013 10:13:47 +0000 (+0000)
Subject: exp_ch4.adb, [...]: Minor reformatting.
X-Git-Tag: releases/gcc-4.9.0~6548
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=0088ba92b6bf944a69843de484a14be7c822713f;p=thirdparty%2Fgcc.git

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 bd589e3f16b1..30fbe66a56c4 100644
--- 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 489c388d44f2..e7e767de17a7 100644
--- 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 6d499c45dce0..d7055f2cc833 100644
--- 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 75d83de69d3c..386f3511c70e 100644
--- 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 3ff68258af7b..af3f9a0cd1d9 100644
--- 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.