diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-14 15:10:52 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:14:15 -0400 |
| commit | cf9087af1f963e52ed4f0d3b8594e2214bd7b312 (patch) | |
| tree | 424e491bc49811478a78f17f45b3b9c9a55e51e3 /gcc/ada/einfo.adb | |
| parent | ceb7fad635dc4cc09905b51a8d65ca7f29226892 (diff) | |
| download | gcc-cf9087af1f963e52ed4f0d3b8594e2214bd7b312.zip gcc-cf9087af1f963e52ed4f0d3b8594e2214bd7b312.tar.gz gcc-cf9087af1f963e52ed4f0d3b8594e2214bd7b312.tar.bz2 | |
[Ada] Support aspect Relaxed_Initialization on private types and constants
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* einfo.adb (Is_Relaxed_Initialization_State): Add reference to
SPARK RM.
* sem_attr.adb (Analyze_Attribute_Old_Result): Likewise.
* sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Reject
aspect on completions of private types and deferred constants.
* sem_util.ads, sem_util.adb (Has_Relaxed_Initialization):
Adjust comments; support queries for constants.
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index cf3ba20..62f61c4 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -8256,8 +8256,7 @@ package body Einfo is function Is_Relaxed_Initialization_State (Id : E) return B is begin -- To qualify, the abstract state must appear with simple option - -- "Relaxed_Initialization" (??? add reference to SPARK RM once the - -- Relaxed_Initialization aspect is described there). + -- "Relaxed_Initialization" (SPARK RM 6.10). return Ekind (Id) = E_Abstract_State |