From: Arnaud Charlet <charlet@adacore.com>
Date: Wed, 2 Dec 2020 11:55:42 +0000 (-0500)
Subject: [Ada] Assert failure on b38105a in -gnat95 mode
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7fbcb0c72e48e0009cfbda5391d6e3387cf3afff;p=gcc.git

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