diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2018-12-03 15:49:00 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-03 15:49:00 +0000 |
commit | ba301a3b6633691e09e7ea58a2c1fe559203ad8a (patch) | |
tree | 0f52804583e24a21c68148e09ab66175a46f9a31 /gcc/ada/einfo.adb | |
parent | 89beb6536755b02c83289fedd6182b79565a08fb (diff) | |
download | gcc-ba301a3b6633691e09e7ea58a2c1fe559203ad8a.zip gcc-ba301a3b6633691e09e7ea58a2c1fe559203ad8a.tar.gz gcc-ba301a3b6633691e09e7ea58a2c1fe559203ad8a.tar.bz2 |
[Ada] Fix assertion failures with -gnatde and -gnatdv
This fixes a couple of assertion failures when using -gnatde and -gnatdv
on a compiler built with assertions enabled. No functional changes.
2018-12-03 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* einfo.adb (Write_Entity_Info): Don't take Scope of Standard
package.
* sem_ch4.adb (Remove_Abstract_Operations): Add missing blank
lines to -gnatdv output.
* sem_type.adb (Write_Overloads): Take Entity of entity names
only.
From-SVN: r266751
Diffstat (limited to 'gcc/ada/einfo.adb')
-rw-r--r-- | gcc/ada/einfo.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index 52a9435..390f444 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -10032,7 +10032,9 @@ package body Einfo is Write_Eol; Write_Attribute (" Type ", Etype (Id)); Write_Eol; - Write_Attribute (" Scope ", Scope (Id)); + if Id /= Standard_Standard then + Write_Attribute (" Scope ", Scope (Id)); + end if; Write_Eol; case Ekind (Id) is |