diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-05-30 08:57:21 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-30 08:57:21 +0000 |
| commit | 56a05ce0839d83fbbbc7e57d085ca483b884b805 (patch) | |
| tree | 4522a0436bfd55179c72a8e6645bd2499cfdcb5d /gcc/reload.h | |
| parent | 131780ac08a8dfc1b9c14a9d5c38575fcc34b205 (diff) | |
| download | gcc-56a05ce0839d83fbbbc7e57d085ca483b884b805.zip gcc-56a05ce0839d83fbbbc7e57d085ca483b884b805.tar.gz gcc-56a05ce0839d83fbbbc7e57d085ca483b884b805.tar.bz2 | |
[Ada] Spurious error on legal synchronized constituent
This patch corrects the predicate which determines whether an entity denotes a
synchronized object as per SPARK RM 9.1. to account for a case where the object
is not atomic, but its type is.
The patch also cleans up various atomic object-related predicates.
2018-05-30 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* sem_util.adb (Is_Atomic_Object): Cleaned up. Split the entity logic
in a separate routine.
(Is_Atomic_Object_Entity): New routine.
(Is_Atomic_Prefix): Cleaned up.
(Is_Synchronized_Object): Check that the object is atomic, or its type
is atomic.
(Object_Has_Atomic_Components): Removed.
* sem_util.ads (Is_Atomic_Object): Reword the comment on usage.
(Is_Atomic_Object_Entity): New routine.
gcc/testsuite/
* gnat.dg/synchronized1.adb, gnat.dg/synchronized1.ads: New testcase.
From-SVN: r260933
Diffstat (limited to 'gcc/reload.h')
0 files changed, 0 insertions, 0 deletions