projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1480394)
[Ada] Assert failure on b38105a in -gnat95 mode
authorArnaud Charlet <charlet@adacore.com>
Wed, 2 Dec 2020 11:55:42 +0000 (06:55 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 17 Dec 2020 10:49:20 +0000 (05:49 -0500)
gcc/ada/

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

gcc/ada/sem_util.adb patch | blob | history

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index b849ef2e109f78aa7582308828cd37bd4aaa7028..90e746f746a53081c01a6f482eb97e9e69469cb2 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;