projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04920bb) | patch
[Ada] Improve unnesting for discriminants of record subtypes
authorEd Schonberg <schonberg@adacore.com>
Mon, 28 May 2018 08:55:47 +0000 (08:55 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 28 May 2018 08:55:47 +0000 (08:55 +0000)
commit4fd9587f7c4b77550b6a9a1045e2687fb5d77335
treebf0df013ecdb5857a99d11f9c5679121b2fd556btree | snapshot
parent04920bb67f9d7014248beed823a6a4ac50dbedd4commit | diff
[Ada] Improve unnesting for discriminants of record subtypes

2018-05-28  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* exp_unst.adb (Check_Static_Type): For a record subtype, check
discriminant constraints as well.
(Visit_Node): For a selected component, check type of prefix, as is
done for indexed components and slices.

From-SVN: r260838
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_unst.adb diff | blob | history
Domain: System / Toolchain;