[Ada] ACATS 4.1K - C452003
authorArnaud Charlet <charlet@adacore.com>
Wed, 13 May 2020 08:41:03 +0000 (04:41 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 7 Jul 2020 09:26:59 +0000 (05:26 -0400)
commitead7594ff58a2f1d60982e0e706329abf5eaadd4
tree7f4e6c7fe021d0df122c3ee8a4a6fc8256dbcb1a
parent9b501e59d1d5c2aa28574fd188db04f7e762f4cd
[Ada] ACATS 4.1K - C452003

gcc/ada/

* exp_ch4.adb (Tagged_Membership): Generate a call to
CW_Membership instead of using Build_CW_Membership.
(Expand_N_In): Remove wrong handling of null access types and
corresponding comment.
* exp_intr.adb (Expand_Dispatching_Constructor_Call): Generate a
call to CW_Membership instead of using Build_CW_Membership.
* rtsfind.ads: Add CW_Membership.
* exp_atag.ads, exp_atag.adb (Build_CW_Membership): Removed.
* einfo.ads: Fix typo.
* libgnat/a-tags.ads, libgnat/a-tags.adb (CW_Membership): Moved
back to spec.
gcc/ada/einfo.ads
gcc/ada/exp_atag.adb
gcc/ada/exp_atag.ads
gcc/ada/exp_ch4.adb
gcc/ada/exp_intr.adb
gcc/ada/libgnat/a-tags.adb
gcc/ada/libgnat/a-tags.ads
gcc/ada/rtsfind.ads