[Ada] Insert explicit dereferences when building actual subtype
authorEric Botcazou <ebotcazou@adacore.com>
Sun, 8 Mar 2020 18:25:51 +0000 (19:25 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Jun 2020 13:35:00 +0000 (09:35 -0400)
commit2378f3eb81a5a7d4a31cd36ea99d9202eb21f0ef
treec625bf71b78df40fffc61c18fe519698fe21249b
parentb9daf13c9350cc02c120971a472092d474d63e8f
[Ada] Insert explicit dereferences when building actual subtype

2020-06-10  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* sem_util.adb (Copy_And_Maybe_Dereference): New function.
(Build_Access_Record_Constraint): Use it to copy the prefix.
(Build_Actual_Array_Constraint): Likewise.
(Build_Actual_Record_Constraint): Likewise.
gcc/ada/sem_util.adb