projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b4239f) | patch
[Ada] Allow confirming volatile properties on No_Caching variables
authorYannick Moy <moy@adacore.com>
Mon, 9 May 2022 13:26:22 +0000 (15:26 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 1 Jun 2022 08:43:20 +0000 (08:43 +0000)
commit3e9a6d29ee9a531db04b65652274f073ad1f1f1e
tree0799fd7b43d0a726ab062c1c889dad47a4591ac7tree | snapshot
parent6b4239f61bbd205643fc394f6bac7e7fc174aaeacommit | diff
[Ada] Allow confirming volatile properties on No_Caching variables

Volatile variables marked with the No_Caching aspect can now have
confirming aspects for other volatile properties, with a value of
False.

gcc/ada/

* contracts.adb (Check_Type_Or_Object_External_Properties): Check
the validity of combinations only when No_Caching is not used.
* sem_prag.adb (Analyze_External_Property_In_Decl_Part): Check
valid combinations with No_Caching.
gcc/ada/contracts.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;