projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02ba098) | patch
[Ada] Crash on predicated constrained out_parameter
authorEd Schonberg <schonberg@adacore.com>
Mon, 14 Dec 2020 18:54:28 +0000 (13:54 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 29 Apr 2021 08:00:45 +0000 (04:00 -0400)
commitc3b77813eed1060b96f69cc90b761408bcbc6bb0
tree6b8b2667b14c9058a7574bb54f7ae3cc63287159tree | snapshot
parent02ba09894f669a69936e1f4b43cfa0e8385e0c84commit | diff
[Ada] Crash on predicated constrained out_parameter

gcc/ada/

* sem_util.adb (Build_Constrained_Itype): Inhibit the generation
of predicate functions for this Itype, which is created for an
aggregate of a discriminated type. The object to which the
aggregate is assigned, e.g a writable actual parameter, will
apply the predicates if any are inherited from the base type.
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;