projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57966b4) | patch
[Ada] Spurious error on instance with predicated actual
authorEd Schonberg <schonberg@adacore.com>
Fri, 16 Oct 2020 18:25:03 +0000 (14:25 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 25 Nov 2020 13:22:46 +0000 (08:22 -0500)
commit55fae09dcb8257c8f4be90198f675aafe4ed8f9c
tree7aa320502e17a4d5b5d43a8605230ad49216fdadtree
parent57966b4d2f8adaf0d9af12e07a8ee32cd4184bcccommit | diff
[Ada] Spurious error on instance with predicated actual

gcc/ada/

* sem_eval.adb (Subtypes_Statically_Compatible): Scalar types
with compatible static bounds are statically compatible if
predicates are compatible, even if they are not static subtypes.
Same for private types without discriminants.
gcc/ada/sem_eval.adb diff | blob | history