projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 566b479) | patch
[Ada] Fix ignored dynamic predicates specified through "predicate" aspect
authorGhjuvan Lacambre <lacambre@adacore.com>
Fri, 2 Jul 2021 14:09:27 +0000 (16:09 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 21 Sep 2021 15:24:58 +0000 (15:24 +0000)
commit69a0ff3416a5bbd8abcdd3fb85a387b2eccc88dc
treea8c509e39365613c1c1aa51541b3cb5062679873tree | snapshot
parent566b47901161e90d311d0b7cf6f385fedd0edb85commit | diff
[Ada] Fix ignored dynamic predicates specified through "predicate" aspect

gcc/ada/

* sem_eval.adb (Is_Static_Subtype): Take predicates created
through "predicate" pragma into account.
gcc/ada/sem_eval.adb diff | blob | history
Domain: System / Toolchain;