diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 12:48:37 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-05-21 12:48:37 +0200 |
| commit | 2735b82d096137ab53517510fd3669e60a663915 (patch) | |
| tree | 2b61dc53cf097856ce13cbea844e143b7a52001a /gcc/ada/debug.adb | |
| parent | 149604e46a31c3f1a22194e61ba3a0f01903de03 (diff) | |
| download | gcc-2735b82d096137ab53517510fd3669e60a663915.zip gcc-2735b82d096137ab53517510fd3669e60a663915.tar.gz gcc-2735b82d096137ab53517510fd3669e60a663915.tar.bz2 | |
[multiple changes]
2014-05-21 Robert Dewar <dewar@adacore.com>
* einfo.ads: Minor reformatting.
* ceinfo.adb: Deal with slight format change of einfo.ads.
2014-05-21 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Part_Of): Further work on the proper
implementation of the SPARK 2014 rule concerning private child
units (LRM 7.2.6).
2014-05-21 Vincent Celier <celier@adacore.com>
* makeusg.adb: Add switch -d to usage.
2014-05-21 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Find_Actual): If an actual that is the prefix
of an enclosing prefixed call has been rewritten, use Nkind
and Sloc to identify the corresponding formal, when handling
deferred references.
2014-05-21 Robert Dewar <dewar@adacore.com>
* debug.adb: Document -gnatd.z switch.
* sem_eval.adb (Why_Non_Static): Test -gnatd.z switch.
From-SVN: r210689
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 11237e2..f2f118b 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -116,7 +116,7 @@ package body Debug is -- d.w Do not check for infinite loops -- d.x No exception handlers -- d.y - -- d.z + -- d.z Temporary ASIS kludge for why non-static messages -- d.A Read/write Aspect_Specifications hash table to tree -- d.B @@ -589,6 +589,11 @@ package body Debug is -- fully compiled and analyzed, they just get eliminated from the -- code generation step. + -- d.z Temporary debug switch for control of the why non-static messages + -- generated by Why_Non_Static. Normally these messages are suppressed + -- in ASIS mode (d2), but if d.z is set they are not suppressed. This + -- is a temporary switch to aid in updating ASIS base lines. + -- d.A There seems to be a problem with ASIS if we activate the circuit -- for reading and writing the aspect specification hash table, so -- for now, this is controlled by the debug flag d.A. The hash table |