[Ada] Implement AI12-0162 Memberships and Unchecked_Unions
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 10 Mar 2020 08:09:25 +0000 (09:09 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Jun 2020 13:35:01 +0000 (09:35 -0400)
commit67a44a4c109e6b2e684e96c346ec0f0fc1f56591
treecfa61f97e3a0d27256514dcc03fa965dcf299b47
parente156631a27d599f118ef2d384c6974172cd0c74d
[Ada] Implement AI12-0162 Memberships and Unchecked_Unions

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

gcc/ada/

* exp_ch4.adb (Expand_N_In): Use an expression with actions to
insert the PE raise statement for the Unchecked_Union case.
gcc/ada/exp_ch4.adb