[Ada] Implement RM C.6(19) clause entirely in the front-end
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 16 Dec 2019 10:33:17 +0000 (10:33 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 16 Dec 2019 10:33:17 +0000 (10:33 +0000)
commit6a6ac079858f2140567a8640718094213366a05b
tree27bfe9ac195f06d79ca7c50bf3d556df4772ea61
parent4efe11c6bcb6ba19745e98fae8887e3b4a978965
[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
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/ada/fe.h
gcc/ada/gcc-interface/trans.c
gcc/ada/sem_util.ads