[Ada] Allow boolean expressions in aspect Relaxed_Initialization
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 18 May 2020 16:46:49 +0000 (18:46 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:49 +0000 (10:55 -0400)
commit530b30d9b3c2b60a5dfc8b3323b886ef5fed41a1
tree4f9cfa6c1b6cb7748f762be7d3971ab5c0d6d047
parent8e3342889e86d70c670f833351f1eb9ad19eeb4e
[Ada] Allow boolean expressions in aspect Relaxed_Initialization

gcc/ada/

* sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Analyze
optional boolean expressions.
* sem_util.ads, sem_util.adb (Has_Relaxed_Initialization): Adapt
query; update comment.
gcc/ada/sem_ch13.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads