ada: Handle controlling access parameters in DTWs
commit211b562b74bdad3d3c3571517699f35540be8391
authorRonan Desplanques <desplanques@adacore.com>
Fri, 3 Mar 2023 14:21:16 +0000 (3 15:21 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 25 May 2023 07:44:15 +0000 (25 09:44 +0200)
tree9c52b1b53f474f0494eeabd6592090effdfcd83a
parentf26005d533d5ecd25cb95f2bb542cd77a51ea418
ada: Handle controlling access parameters in DTWs

This patch improves the way controlling access parameters are
handled in dispatch table wrappers. The constructions of both the
specifications and the bodies of wrappers are modified.

gcc/ada/

* freeze.adb (Build_DTW_Body): Add appropriate type conversions for
controlling access parameters.
* sem_util.adb (Build_Overriding_Spec): Fix designated types in
controlling access parameters.
gcc/ada/freeze.adb
gcc/ada/sem_util.adb