From 7fbcb0c72e48e0009cfbda5391d6e3387cf3afff Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@adacore.com>
Date: Wed, 2 Dec 2020 06:55:42 -0500
Subject: [PATCH] [Ada] Assert failure on b38105a in -gnat95 mode

gcc/ada/

	* sem_util.adb (Inherit_Predicate_Flags): No-op before Ada 2012.
---
 gcc/ada/sem_util.adb | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index b849ef2e109..90e746f746a 100644
--- 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;
 
-- 
2.30.2