diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2019-12-16 10:33:17 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-16 10:33:17 +0000 |
| commit | 6a6ac079858f2140567a8640718094213366a05b (patch) | |
| tree | 27bfe9ac195f06d79ca7c50bf3d556df4772ea61 /gcc/ada/sem_util.ads | |
| parent | 4efe11c6bcb6ba19745e98fae8887e3b4a978965 (diff) | |
| download | gcc-6a6ac079858f2140567a8640718094213366a05b.zip gcc-6a6ac079858f2140567a8640718094213366a05b.tar.gz gcc-6a6ac079858f2140567a8640718094213366a05b.tar.bz2 | |
[Ada] Implement RM C.6(19) clause entirely in the front-end
2019-12-16 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* exp_ch6.adb (Requires_Atomic_Or_Volatile_Copy): New predicate.
(Expand_Actuals): Use it to decide whether to add call by copy
code as per the RM C.6(19) clause.
* fe.h (Is_Atomic_Object): Remove.
(Is_Volatile_Object): Likewise.
* sem_util.ads (Is_Atomic_Object): Remove WARNING note.
(Is_Volatile_Object): Likewise.
* gcc-interface/trans.c (atomic_or_volatile_copy_required_p): Delete.
(Call_to_gnu): Do not implement the RM C.6(19) clause.
From-SVN: r279414
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index c156651..89fa579 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1533,8 +1533,6 @@ package Sem_Util is -- Determine whether arbitrary node N denotes a reference to an atomic -- object as per Ada RM C.6(7) and the crucial remark in C.6(8). - -- WARNING: There is a matching C declaration of this subprogram in fe.h - function Is_Atomic_Object_Entity (Id : Entity_Id) return Boolean; -- Determine whether arbitrary entity Id denotes an atomic object as per -- Ada RM C.6(12). @@ -2108,8 +2106,6 @@ package Sem_Util is -- for something actually declared as volatile, not for an object that gets -- treated as volatile (see Einfo.Treat_As_Volatile). - -- WARNING: There is a matching C declaration of this subprogram in fe.h - generic with procedure Handle_Parameter (Formal : Entity_Id; Actual : Node_Id); procedure Iterate_Call_Parameters (Call : Node_Id); |