diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-12-02 06:55:42 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-17 05:49:20 -0500 |
| commit | 7fbcb0c72e48e0009cfbda5391d6e3387cf3afff (patch) | |
| tree | e8afe50800b75fc97d64522fd609304e7c4b1b8e /gcc | |
| parent | 148039493e600cab023cb778b4fa9a0b7eaeed0a (diff) | |
| download | gcc-7fbcb0c72e48e0009cfbda5391d6e3387cf3afff.zip gcc-7fbcb0c72e48e0009cfbda5391d6e3387cf3afff.tar.gz gcc-7fbcb0c72e48e0009cfbda5391d6e3387cf3afff.tar.bz2 | |
[Ada] Assert failure on b38105a in -gnat95 mode
gcc/ada/
* sem_util.adb (Inherit_Predicate_Flags): No-op before Ada 2012.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_util.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index b849ef2..90e746f 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; |