diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:49:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-01 10:49:03 +0200 |
| commit | d85be3ba3ba37ceb2b08a62f0974cb6883c24637 (patch) | |
| tree | 2e2bd5262029c501de6388f6b86c7540545107ce /gcc/ada/namet.h | |
| parent | c5a26133df8575533bc97def6e76bf66bec7f91a (diff) | |
| download | gcc-d85be3ba3ba37ceb2b08a62f0974cb6883c24637.zip gcc-d85be3ba3ba37ceb2b08a62f0974cb6883c24637.tar.gz gcc-d85be3ba3ba37ceb2b08a62f0974cb6883c24637.tar.bz2 | |
[multiple changes]
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.
From-SVN: r191903
Diffstat (limited to 'gcc/ada/namet.h')
| -rw-r--r-- | gcc/ada/namet.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/namet.h b/gcc/ada/namet.h index ec2b488..0bc841a 100644 --- a/gcc/ada/namet.h +++ b/gcc/ada/namet.h @@ -6,7 +6,7 @@ * * * C Header File * * * - * Copyright (C) 1992-2011, Free Software Foundation, Inc. * + * Copyright (C) 1992-2012, Free Software Foundation, Inc. * * * * GNAT is free software; you can redistribute it and/or modify it under * * terms of the GNU General Public License as published by the Free Soft- * @@ -24,7 +24,8 @@ ****************************************************************************/ /* This is the C file that corresponds to the Ada package specification - Namet. It was created manually from files namet.ads and namet.adb. */ + Namet. It was created manually from files namet.ads and namet.adb. + Some subprograms from Sinput are also made acessable here. */ #ifdef __cplusplus extern "C" { @@ -111,7 +112,8 @@ extern char *Spec_Filename, *Body_Filename; #define Is_Non_Ada_Error exp_ch11__is_non_ada_error extern Boolean Is_Non_Ada_Error (Entity_Id); -/* Here are some functions in sinput.adb we call from a-trans.c. */ +/* Here are some functions in sinput.adb we call from trans.c. */ + typedef Nat Source_File_Index; typedef Int Logical_Line_Number; typedef Int Column_Number; |