[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.

diff --git a/gcc/ada/sem_eval.adb b/gcc/ada/sem_eval.adb
index 8817cea3d923ecb29175885251b9f9b7a05e25cd..da51caa30a124609f2c92f64f14d6a71091cb986 100644 (file)
--- 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;