OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Assert failure on b38105a in -gnat95 mode

Browse Source 
gcc/ada/

	* sem_util.adb (Inherit_Predicate_Flags): No-op before Ada 2012.
This commit is contained in:
Arnaud Charlet 2020-12-02 06:55:42 -05:00 committed by Pierre-Marie de Rodat
parent 148039493e
commit 7fbcb0c72e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/sem_util.adb
View File

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