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/gcov.c | |
| 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/gcov.c')
0 files changed, 0 insertions, 0 deletions