diff options
| author | Yannick Moy <moy@adacore.com> | 2020-06-02 18:24:16 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-16 03:31:19 -0400 |
| commit | 476a8ec4d8ecf3437dc3e78e7de2bd77d34fdbd5 (patch) | |
| tree | 1919b61186f5c3fcf47b5a465214683f6c6a3c38 /gcc/tree-vect-data-refs.c | |
| parent | 057469588864b2566f89e3a548a80d7517b34c98 (diff) | |
| download | gcc-476a8ec4d8ecf3437dc3e78e7de2bd77d34fdbd5.zip gcc-476a8ec4d8ecf3437dc3e78e7de2bd77d34fdbd5.tar.gz gcc-476a8ec4d8ecf3437dc3e78e7de2bd77d34fdbd5.tar.bz2 | |
[Ada] SPARK: update for effectively volatile types and objects
gcc/ada/
* sem_prag.adb (Analyze_Global_In_Decl_Part): Update check to
reject volatile object for reading.
* sem_res.adb (Resolve_Actuals, Resolve_Entity_Name): Update
check to reject volatile object for reading.
* sem_util.adb, sem_util.ads
(Check_Nonvolatile_Function_Profile,
Has_Effectively_Volatile_Profile): Detect use of volatile object
for reading.
(Has_Enabled_Property): Accept constants as well.
(Is_Effectively_Volatile_For_Reading): New function based on
existing Is_Effectively_Volatile.
(Is_Effectively_Volatile_Object_For_Reading): Adapted from the
existing Is_Effectively_Volatile_Object, using a shared
implementation in Is_Effectively_Volatile_Object_Shared.
Diffstat (limited to 'gcc/tree-vect-data-refs.c')
0 files changed, 0 insertions, 0 deletions