diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-10 16:39:18 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-04-10 16:39:18 +0200 |
commit | b66c3ff49ece1cb52dc330fd9c3eed7110457362 (patch) | |
tree | 10be45611439a9dc1345244140d4d64df444b229 /gcc/ada/sem_aux.adb | |
parent | 886b9612f2912fb6b9efb4b028371757d5df0908 (diff) | |
download | gcc-b66c3ff49ece1cb52dc330fd9c3eed7110457362.zip gcc-b66c3ff49ece1cb52dc330fd9c3eed7110457362.tar.gz gcc-b66c3ff49ece1cb52dc330fd9c3eed7110457362.tar.bz2 |
[multiple changes]
2009-04-10 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document that postconditions are tested on implicit
returns.
* sem_aux.adb: Minor reformatting
2009-04-10 Gary Dismukes <dismukes@adacore.com>
* itypes.adb (Create_Null_Excluding_Itype): Apply Base_Type when
setting Etype.
* par-ch3.adb (P_Access_Type_Definition): Set new attribute
Null_Exclusion_In_Return_Present when an access-to-function type has a
result type with an explicit not null.
* sem_ch3.adb (Access_Subprogram_Definition): If a null exclusion is
given on the result type, then create a null-excluding itype for the
function.
* sem_ch6.adb (Analyze_Return_Type): Create a null-excluding itype in
the case where a null exclusion is imposed on a named access type.
(Analyze_Subprogram_Specification): Push and pop the scope of the
function around the call to Analyze_Return_Type in the case of no
formals, for consistency with handling when formals are present
(Process_Formals does this). Ensures that any itype created for the
return type will be associated with the proper scope.
* sem_ch12.adb (Analyze_Generic_Subprogram_Declaration): If a null
exclusion is given on a generic function's result type, then create a
null-excluding itype for the generic function.
(Instantiate_Object): Set Null_Exclusion_Present of a constant created
for an actual for a formal in object according to the setting on the
formal. Ensures null exclusion checks are done when the association is
elaborated.
* sinfo.ads: Add new flag Null_Exclusion_In_Return_Present on
N_Access_Function_Definition.
* sinfo.adb: Add Get_ and Set_ operations for
Null_Exclusion_In_Return_Present.
From-SVN: r145912
Diffstat (limited to 'gcc/ada/sem_aux.adb')
-rwxr-xr-x | gcc/ada/sem_aux.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/sem_aux.adb b/gcc/ada/sem_aux.adb index 39b7443..8d111a8 100755 --- a/gcc/ada/sem_aux.adb +++ b/gcc/ada/sem_aux.adb @@ -120,8 +120,7 @@ package body Sem_Aux is return Renamed_Object (Ent); -- If this is a component declaration whose entity is constant, it is - -- a prival within a protected function. It does not have a constant - -- value. + -- a prival within a protected function (and so has no constant value). elsif Nkind (D) = N_Component_Declaration then return Empty; |