diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-02-20 12:48:57 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-02-20 12:48:57 +0100 |
| commit | 5ae7c3cf2e21534dda6af57c5c34318d30d0c98a (patch) | |
| tree | b3519027eb878c4eb6330ce33a284ccc86f264f5 /gcc/ada/debug.adb | |
| parent | 5865a63df4a19147d7a5ae804e97aa79371dfd7b (diff) | |
| download | gcc-5ae7c3cf2e21534dda6af57c5c34318d30d0c98a.zip gcc-5ae7c3cf2e21534dda6af57c5c34318d30d0c98a.tar.gz gcc-5ae7c3cf2e21534dda6af57c5c34318d30d0c98a.tar.bz2 | |
[multiple changes]
2015-02-20 Arnaud Charlet <charlet@adacore.com>
* sysdep.c, expect.c, s-oscons-tmplt.c, gsocket.h, adaint.c: Remove
obsolete references to RTX, nucleus, VMS.
2015-02-20 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Fix_Error): For an illegal Type_Invariant'Class
aspect, use name that mentions Class explicitly, rather than
compiler-internal name.
2015-02-20 Robert Dewar <dewar@adacore.com>
* debug.adb: Add documentation for -gnatd.2 (allow statements
in decl sequences).
* par-ch3.adb (P_Identifier_Declarations): Handle
statement appearing where declaration expected more cleanly.
(Statement_When_Declaration_Expected): Implement debug flag
-gnatd.2.
2015-02-20 Jose Ruiz <ruiz@adacore.com>
* a-dinopr.ads: Add spec for this package (Unimplemented_Unit).
* a-dispat.ads (Yield): Include procedure added in Ada 2012.
* a-dispat.adb (Yield): Implement procedure added in Ada 2012.
* impunit.adb (Non_Imp_File_Names_05): Mark unit a-dinopr.ads as
defined by Ada 2005.
* snames.ads-tmpl (Name_Non_Preemptive_FIFO_Within_Priorities):
This is the correct name for the dispatching policy (FIFO was
missing).
2015-02-20 Javier Miranda <miranda@adacore.com>
* sem_res.adb (Resolve_Type_Conversion): If the type of the
operand is the limited-view of a class-wide type then recover
the class-wide type of the non-limited view.
From-SVN: r220852
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index 31c3972..5869e96 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2015, 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- -- @@ -155,8 +155,8 @@ package body Debug is -- d8 Force opposite endianness in packed stuff -- d9 Allow lock free implementation - -- d.1 - -- d.2 + -- d.1 Enable unnesting of nested procedures + -- d.2 Allow statements in declarative part -- d.3 -- d.4 -- d.5 @@ -746,6 +746,14 @@ package body Debug is -- d9 This allows lock free implementation for protected objects -- (see Exp_Ch9). + -- d.1 Enable unnesting of nested procedures. This special pass does not + -- actually unnest things, but it ensures that a nested procedure + -- does not contain any uplevel references. + + -- d.2 Allow statements within declarative parts. This is not usually + -- allowed, but in some debugging contexts (e.g. testing the circuit + -- for unnesting of procedures), it is useful to allow this. + ------------------------------------------ -- Documentation for Binder Debug Flags -- ------------------------------------------ |