[Ada] Ada ABI change when building with assertions
authorJavier Miranda <miranda@adacore.com>
Sun, 27 Feb 2022 11:42:46 +0000 (11:42 +0000)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 13 May 2022 08:04:39 +0000 (08:04 +0000)
commit6d22fb118f5c292c6c35c9177074485be0159810
tree69a5efff7c73daaa761a5730856004b79e549ecb
parent17a89d82142be1fd9d9a8a584977f41204e13463
[Ada] Ada ABI change when building with assertions

Compiling with and without assertions enabled the name of some generated
symbols differ; this is an issue when using pre-built libraries.

gcc/ada/

* freeze.adb (Check_Inherited_Conditions): Dispatch table
wrappers must be placed in the list of entities of their scope
at the same place of their wrapped primitive. This is required
for private types since these wrappers are built when their full
tagged type declaration is frozen but they may override a
primitive defined in the public part of the package (and it is
important to maintain the wrapper in the list of public entities
of the package to ensure their correct visibility).
gcc/ada/freeze.adb