diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-15 13:01:03 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-15 13:01:03 +0200 |
commit | 7569f6972e44e6c1f00ca5e64d940a90e0bc3e24 (patch) | |
tree | 11edc23b1f016bf36a7150ae2c7dd7a51d437f58 /gcc/ada/sem_ch7.ads | |
parent | ecbda48438f5bbdc95104785e61d81855f05db1b (diff) | |
download | gcc-7569f6972e44e6c1f00ca5e64d940a90e0bc3e24.zip gcc-7569f6972e44e6c1f00ca5e64d940a90e0bc3e24.tar.gz gcc-7569f6972e44e6c1f00ca5e64d940a90e0bc3e24.tar.bz2 |
[multiple changes]
2013-10-15 Thomas Quinot <quinot@adacore.com>
* exp_pakd.adb (Expand_Packed_Element_Set,
Expand_Packed_Element_Reference): Adjust for the case of packed
arrays of reverse-storage-order types.
2013-10-15 Robert Dewar <dewar@adacore.com>
* sem_prag.adb: Minor reformatting.
2013-10-15 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute_Specification, case
To_Address): If the expression is an identifier, do not modify
its type; it will be converted when necessary, and the type of
the expression must remain consistent with that of the entity
for back-end consistency.
2013-10-15 Robert Dewar <dewar@adacore.com>
* sem_ch7.adb (Unit_Requires_Body): Add flag
Ignore_Abstract_State (Analyze_Package_Specification): Enforce
rule requiring Elaborate_Body if a non-null abstract state is
specified for a library-level package.
* sem_ch7.ads (Unit_Requires_Body): Add flag Ignore_Abstract_State.
From-SVN: r203598
Diffstat (limited to 'gcc/ada/sem_ch7.ads')
-rw-r--r-- | gcc/ada/sem_ch7.ads | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/gcc/ada/sem_ch7.ads b/gcc/ada/sem_ch7.ads index 0445b24..11e05cd 100644 --- a/gcc/ada/sem_ch7.ads +++ b/gcc/ada/sem_ch7.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, 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- -- @@ -52,9 +52,15 @@ package Sem_Ch7 is -- but is deferred until the compilation of the private part of the -- child for public child packages. - function Unit_Requires_Body (P : Entity_Id) return Boolean; - -- Check if a unit requires a body. A specification requires a body - -- if it contains declarations that require completion in a body. + function Unit_Requires_Body + (P : Entity_Id; + Ignore_Abstract_State : Boolean := False) return Boolean; + -- Check if a unit requires a body. A specification requires a body if it + -- contains declarations that require completion in a body. If the flag + -- Ignore_Abstract_State is set True, then the test for a non-null abstract + -- state (which normally requires a body) is not carried out. This allows + -- the use of this routine to tell if there is some other reason that a + -- body is required (as is required for analyzing Abstract_State). procedure May_Need_Implicit_Body (E : Entity_Id); -- If a package declaration contains tasks or RACWs and does not require |