diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2021-06-21 12:08:29 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-20 12:31:34 +0000 |
| commit | cf0813a9cfa8f973861d8829a07774118c61beb7 (patch) | |
| tree | 6d874ecbdde20c45c4495ae933005c8ab5f88e57 /gcc/df.h | |
| parent | 6c5ca4cf42f913a44c85071f2ba90e3f8048fa9e (diff) | |
| download | gcc-cf0813a9cfa8f973861d8829a07774118c61beb7.zip gcc-cf0813a9cfa8f973861d8829a07774118c61beb7.tar.gz gcc-cf0813a9cfa8f973861d8829a07774118c61beb7.tar.bz2 | |
[Ada] Accept volatile properties on constant objects
gcc/ada/
* contracts.adb (Add_Contract_Item): Accept volatile-related
properties on constants.
(Analyze_Object_Contract): Check external properties on
constants; accept volatile constants.
(Check_Type_Or_Object_External_Properties): Replace "variable"
with "object" in error messages; replace Decl_Kind with a local
constant.
* sem_prag.adb (Analyze_Pragma): Accept volatile-related
properties on constants.
Diffstat (limited to 'gcc/df.h')
0 files changed, 0 insertions, 0 deletions