projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f200341) | patch
[Ada] Missing Predicated_Parent link on array Itype
authorEd Schonberg <schonberg@adacore.com>
Thu, 10 Oct 2019 15:23:56 +0000 (15:23 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 10 Oct 2019 15:23:56 +0000 (15:23 +0000)
commita096f12eae91f891ef17687a9c48fee3de0b2fdd
treefa07887467d2770a26ea553883896361a1770ad6tree | snapshot
parentf200341cf868478ffea9626d97ab280d1cad08e7commit | diff
[Ada] Missing Predicated_Parent link on array Itype

2019-10-10  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_aggr.adb (Resolve_Array_Aggregate): Set properly the
Predicated_Parent link of an itype created for an aggregate, so
that the predicate_function of the parent can support proofs on
the object that it initializes.

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