diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2014-05-21 13:21:38 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 15:21:38 +0200 |
| commit | ea26c8e414ff21cc2dccf2a65476931c636c8147 (patch) | |
| tree | 5b82d2db5e38871b2e7859f7f8efd1b514974e81 /gcc/tree-data-ref.h | |
| parent | 65529f748184741575136af3aab497059ff2aa10 (diff) | |
| download | gcc-ea26c8e414ff21cc2dccf2a65476931c636c8147.zip gcc-ea26c8e414ff21cc2dccf2a65476931c636c8147.tar.gz gcc-ea26c8e414ff21cc2dccf2a65476931c636c8147.tar.bz2 | |
freeze.adb (Freeze_Record_Type): Update the use of Is_SPARK_Volatile.
2014-05-21 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Record_Type): Update the use of
Is_SPARK_Volatile.
* sem_ch3.adb (Analyze_Object_Contract): Update the use of
Is_SPARK_Volatile.
(Process_Discriminants): Update the use of Is_SPARK_Volatile.
* sem_ch5.adb (Analyze_Iterator_Specification): Update the use
of Is_SPARK_Volatile.
(Analyze_Loop_Parameter_Specification):
Update the use of Is_SPARK_Volatile.
* sem_ch6.adb (Process_Formals): Catch an illegal use of an IN
formal parameter when its type is volatile.
* sem_prag.adb (Analyze_Global_Item): Update the use of
Is_SPARK_Volatile.
* sem_res.adb (Resolve_Entity_Name): Correct the guard which
determines whether an entity is a volatile source SPARK object.
* sem_util.adb (Has_Enabled_Property): Accout for external
properties being set on objects other than abstract states
and variables. An example would be a formal parameter.
(Is_SPARK_Volatile): New routine.
(Is_SPARK_Volatile_Object):
Remove the entity-specific tests. Call routine Is_SPARK_Volatile
when checking entities and/or types.
* sem_util.ads (Is_SPARK_Volatile): New routine.
From-SVN: r210708
Diffstat (limited to 'gcc/tree-data-ref.h')
0 files changed, 0 insertions, 0 deletions