projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9312e3) | patch
[Ada] Implement AI12-0036 (a new legality check for instantiations)
authorSteve Baird <baird@adacore.com>
Thu, 12 Dec 2019 10:02:51 +0000 (10:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 12 Dec 2019 10:02:51 +0000 (10:02 +0000)
commit16b5f07b5d210a7ae55576043855f50fa72f55db
tree5b8363e7055a15423f5e62e9bc3eba82a6ea37a1tree
parentc9312e3079094e6255f7b5603475f7cd1cb517aacommit | diff
[Ada] Implement AI12-0036 (a new legality check for instantiations)

2019-12-12  Steve Baird  <baird@adacore.com>

gcc/ada/

* sem_ch12.adb
(Instantiate_Type.Validate_Derived_Type_Instance): Implement the
legality check of AI12-0036

From-SVN: r279292
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history