r266751 - in /trunk/gcc/ada: ChangeLog einfo.ad...

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon Dec  3 15:49:00 2018
New Revision: 266751

URL: https://gcc.gnu.org/viewcvs?rev=266751&root=gcc&view=rev
Log:
[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.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/einfo.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_type.adb