From 69a0ff3416a5bbd8abcdd3fb85a387b2eccc88dc Mon Sep 17 00:00:00 2001 From: Ghjuvan Lacambre Date: Fri, 2 Jul 2021 16:09:27 +0200 Subject: [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 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb index 8817cea..da51caa 100644 --- a/gcc/ada/sem_eval.adb +++ b/gcc/ada/sem_eval.adb @@ -5741,6 +5741,8 @@ package body Sem_Eval is elsif Has_Dynamic_Predicate_Aspect (Typ) or else (Is_Derived_Type (Typ) and then Has_Aspect (Typ, Aspect_Dynamic_Predicate)) + or else (Has_Aspect (Typ, Aspect_Predicate) + and then not Has_Static_Predicate (Typ)) then return False; -- cgit v1.1