aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/debug.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-02-24 17:30:08 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2014-02-24 17:30:08 +0100
commit32bba3c9d848935dbec4b070093574a34b0817a4 (patch)
tree6aec8ad587cff01ba9f05b72d71f56e0fad6ff70 /gcc/ada/debug.adb
parent97027f64df2958e3ec51605c7e2c6f892d2235bb (diff)
downloadgcc-32bba3c9d848935dbec4b070093574a34b0817a4.zip
gcc-32bba3c9d848935dbec4b070093574a34b0817a4.tar.gz
gcc-32bba3c9d848935dbec4b070093574a34b0817a4.tar.bz2
[multiple changes]
2014-02-24 Robert Dewar <dewar@adacore.com> * sinfo.ads, sem_ch12.adb, sem_res.adb, sem_ch4.adb, par-ch12.adb: Minor reformatting. * atree.ads, atree.adb (Node35): New function. (Set_Node35): New procedure. * debug.adb: Define new debug flag -gnatd.X. * einfo.ads, einfo.adb (Import_Pragma): New field. * freeze.adb (Wrap_Imported_Procedure): New procedure (not really active yet, has to be activated with -gnatd.X. * sem_prag.adb (Set_Imported): Set new Import_Pragma field (Set_Imported): Don't set Is_Public (see Freeze.Wrap_Imported_Subprogram) * par-ch3.adb (P_Component_List): Handle unexpected null component. 2014-02-24 Yannick Moy <moy@adacore.com> * sem_ch3.adb: Correct reference to SPARK RM in error messages. * gnat_rm.texi: Correct documentation of attribute Update. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): Reject container iterator in older versions of Ada. From-SVN: r208076
Diffstat (limited to 'gcc/ada/debug.adb')
-rw-r--r--gcc/ada/debug.adb5
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index 11237e2..a650693 100644
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -141,7 +141,7 @@ package body Debug is
-- d.U Ignore indirect calls for static elaboration
-- d.V
-- d.W Print out debugging information for Walk_Library_Items
- -- d.X
+ -- d.X Activate wrapping of imported subprograms with pre/post conditions
-- d.Y
-- d.Z
@@ -664,6 +664,9 @@ package body Debug is
-- the order in which units are walked. This is primarily for use in
-- debugging CodePeer mode.
+ -- d.X Activates Wrap_Imported_Subprogram in Freeze (not yet working so
+ -- this allows checkin of partial implementation).
+
-- d1 Error messages have node numbers where possible. Normally error
-- messages have only source locations. This option is useful when
-- debugging errors caused by expanded code, where the source location