diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:49:03 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-10-01 08:49:03 +0000 |
| commit | 1bd93de56e55543018d4e7c83789e031f47a3055 (patch) | |
| tree | 2e2bd5262029c501de6388f6b86c7540545107ce /gcc/ada/checks.adb | |
| parent | 7c443ae867c76ab419c538f6c51523e210653812 (diff) | |
| download | gcc-1bd93de56e55543018d4e7c83789e031f47a3055.tar.gz | |
2012-10-01 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.ads (Build_Array_Invariant_Proc): moved to body.
* exp_ch3.adb (Build_Array_Invariant_Proc,
Build_Record_Invariant_Proc): transform into functions.
(Insert_Component_Invariant_Checks): for composite types that have
components with specified invariants, build a checking procedure,
and make into the invariant procedure of the composite type,
or incorporate it into the user- defined invariant procedure if
one has been created.
* sem_ch3.adb (Array_Type_Declaration): Checking for invariants
on the component type is defered to the expander.
2012-10-01 Thomas Quinot <quinot@adacore.com>
* xsnamest.adb, namet.h, sem_ch10.adb, s-oscons-tmplt.c,
xoscons.adb: Minor reformatting.
2012-10-01 Hristian Kirtchev <kirtchev@adacore.com>
* checks.adb (Apply_Parameter_Aliasing_And_Validity_Checks):
Do not process subprogram renaminds because a) those cannot
have PPC pragmas b) the renamed entity already has the PPCs.
(Build_PPC_Pragma): Prepend a PPC pragma for consistency with
Process_PPCs.
* sem_ch6.adb (Last_Implicit_Declaration): Removed.
(Process_PPCs): Insert a post condition body at the start of the
declarative region of the related subprogram. This way the body
will not freeze anything it shouldn't.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@191903 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.adb')
| -rw-r--r-- | gcc/ada/checks.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index 8d40abcb06e..85f232b5efa 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -1918,7 +1918,7 @@ package body Checks is Set_Declarations (Subp_Decl, Decls); end if; - Append_To (Decls, Prag); + Prepend_To (Decls, Prag); -- Ensure the proper visibility of the subprogram body and its -- parameters. @@ -1971,6 +1971,11 @@ package body Checks is or else Nkind (Subp_Decl) = N_Abstract_Subprogram_Declaration + -- Do not consider subprogram renaminds because the renamed entity + -- already has the proper PPC pragmas. + + or else Nkind (Subp_Decl) = N_Subprogram_Renaming_Declaration + -- Do not process null procedures because there is no benefit of -- adding the checks to a no action routine. |