projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ceb7fad) | patch
[Ada] Support aspect Relaxed_Initialization on private types and constants
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 14 Apr 2020 13:10:52 +0000 (15:10 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 17 Jun 2020 08:14:15 +0000 (04:14 -0400)
commitcf9087af1f963e52ed4f0d3b8594e2214bd7b312
tree424e491bc49811478a78f17f45b3b9c9a55e51e3tree
parentceb7fad635dc4cc09905b51a8d65ca7f29226892commit | diff
[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.
gcc/ada/einfo.adb diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history