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/fe.h | |
| 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/fe.h')
| -rw-r--r-- | gcc/ada/fe.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h index 0ccd1a0..74eb2ad 100644 --- a/gcc/ada/fe.h +++ b/gcc/ada/fe.h @@ -281,17 +281,13 @@ extern Boolean Is_OK_Static_Expression (Node_Id); #define Defining_Entity sem_util__defining_entity #define First_Actual sem_util__first_actual -#define Is_Atomic_Object sem_util__is_atomic_object #define Is_Variable_Size_Record sem_util__is_variable_size_record -#define Is_Volatile_Object sem_util__is_volatile_object #define Next_Actual sem_util__next_actual #define Requires_Transient_Scope sem_util__requires_transient_scope extern Entity_Id Defining_Entity (Node_Id); extern Node_Id First_Actual (Node_Id); -extern Boolean Is_Atomic_Object (Node_Id); extern Boolean Is_Variable_Size_Record (Entity_Id Id); -extern Boolean Is_Volatile_Object (Node_Id); extern Node_Id Next_Actual (Node_Id); extern Boolean Requires_Transient_Scope (Entity_Id); |