diff options
| author | Robert Dewar <dewar@adacore.com> | 2013-04-11 10:13:47 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-11 12:13:47 +0200 |
| commit | 0088ba92b6bf944a69843de484a14be7c822713f (patch) | |
| tree | e09b57475f0bf791773d94638db370a516ffdbfb | |
| parent | b671e31b48d0bd7a118f0e4de475b7be42efc976 (diff) | |
| download | gcc-0088ba92b6bf944a69843de484a14be7c822713f.zip gcc-0088ba92b6bf944a69843de484a14be7c822713f.tar.gz gcc-0088ba92b6bf944a69843de484a14be7c822713f.tar.bz2 | |
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
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 3 | ||||
| -rw-r--r-- | gcc/ada/exp_dist.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 3 | ||||
| -rw-r--r-- | gcc/ada/gnat_ugn.texi | 6 |
5 files changed, 18 insertions, 4 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index bd589e3..30fbe66 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 489c388..e7e767d 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 6d499c4..d7055f2 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 75d83de..386f351 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 3ff6825..af3f9a0 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. |