diff options
| author | Yannick Moy <moy@adacore.com> | 2022-05-09 15:26:22 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-06-01 08:43:20 +0000 |
| commit | 3e9a6d29ee9a531db04b65652274f073ad1f1f1e (patch) | |
| tree | 0799fd7b43d0a726ab062c1c889dad47a4591ac7 /gcc/value-range.h | |
| parent | 6b4239f61bbd205643fc394f6bac7e7fc174aaea (diff) | |
| download | gcc-3e9a6d29ee9a531db04b65652274f073ad1f1f1e.zip gcc-3e9a6d29ee9a531db04b65652274f073ad1f1f1e.tar.gz gcc-3e9a6d29ee9a531db04b65652274f073ad1f1f1e.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/value-range.h')
0 files changed, 0 insertions, 0 deletions