r262720 - in /trunk/gcc/ada: ChangeLog sem.adb

[pmderodat@gcc.gnu.org]

Author: pmderodat
Date: Mon Jul 16 14:11:37 2018
New Revision: 262720

URL: https://gcc.gnu.org/viewcvs?rev=262720&root=gcc&view=rev
Log:
[Ada] Avoid crash when traversing units with -gnatd.WW debug switch

The debug switch -gnatd.WW enables extra info when traversing library units
with Walk_Library_Items, which is used in the CodePeer and GNATprove. This
routine was crashing when trying to print info about a unit with configuration
pragmas (typically an .adc file). Now fixed.

No test, as the crash only happens when a GNATprove backend is manually called
with -gnatd.WW switch. Frontend is not affected.

2018-07-16  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem.adb (Walk_Library_Items): Skip units with configuration pragmas
	when printing debug info.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/sem.adb