[Ada] Assert failure on b38105a in -gnat95 mode

gcc/ada/

	* sem_util.adb (Inherit_Predicate_Flags): No-op before Ada 2012.

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index b849ef2..90e746f 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -14625,7 +14625,9 @@ package body Sem_Util is
 
    procedure Inherit_Predicate_Flags (Subt, Par : Entity_Id) is
    begin
-      if Present (Predicate_Function (Subt)) then
+      if Ada_Version < Ada_2012
+        or else Present (Predicate_Function (Subt))
+      then
          return;
       end if;