[Ada] Warn on 'in out' param containing access in private type
authorBob Duff <duff@adacore.com>
Tue, 16 Mar 2021 18:56:09 +0000 (14:56 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 18 Jun 2021 08:36:48 +0000 (04:36 -0400)
commit57841a43114d66a59322ce8b8d98b5e0096e5e36
tree7f192882889e45509228da889fc77148a38e71a5
parent9c2886684f8263f5f63b15f358ce33bfc67d27ce
[Ada] Warn on 'in out' param containing access in private type

gcc/ada/

* sem_util.ads, sem_util.adb (Has_Access_Values): Remove
Include_Internal parameter that was added in previous change.
* sem_warn.adb (Warnings_Off_E1): Back out E_Out_Parameter ==>
Formal_Kind change made previously. Check Is_Private_Type to
avoid warnings on private types. Misc cleanup.
* sem_attr.adb (Attribute_Has_Access_Values): Remove
Include_Internal parameter.
gcc/ada/sem_attr.adb
gcc/ada/sem_util.adb
gcc/ada/sem_util.ads
gcc/ada/sem_warn.adb