[Ada] Remove kludge for AI05-0087
authorArnaud Charlet <charlet@adacore.com>
Mon, 2 Mar 2020 11:58:01 +0000 (06:58 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:06 +0000 (04:09 -0400)
commit1a7748ad4c356f37d324a36c21054735f2ca6f89
treebef1cf5d49edafc93838e6d377c033fc8876b283
parent148c86d1ab9a1cc02651056a2da3b67003f1a51a
[Ada] Remove kludge for AI05-0087

2020-06-09  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* exp_ch5.adb (Expand_N_Assignment): Remove kludge for
AI05-0087.
* sem_ch12.adb (Validate_Derived_Type_Instance): Implement
AI05-0087 retroactively since it's a binding interpretation.
gcc/ada/exp_ch5.adb
gcc/ada/sem_ch12.adb