projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73b211a) | patch
[Ada] Double evaluation of predicate
authorArnaud Charlet <charlet@adacore.com>
Mon, 22 Jun 2020 10:18:14 +0000 (06:18 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:09 +0000 (05:39 -0400)
commit96ece83775334d8125c16c4c3dcc607b511bc7b2
treeab97e50c5bc3f621cf7b17c658d1a23970baa88ftree | snapshot
parent73b211a76e4da53960958b8a4b3821de82a3219ccommit | diff
[Ada] Double evaluation of predicate

gcc/ada/

* sem_ch13.adb (Add_Predicates): Prevent analyzing twice the
same pragma in case an inner package references the type with a
predicate (as opposed to defining the type).
gcc/ada/sem_ch13.adb diff | blob | history
Domain: System / Toolchain;