Amplify last NEWS entry about boolean types in Ada, and add

corresponding description of treatment of True and false to gdb.texinfo.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index c116482..e76a369 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2008-08-21  Paul N. Hilfinger  <hilfinger@adacore.com>
+
+       * NEWS: Amplify last entry on boolean types in Ada.
+
 2008-08-20  Daniel Jacobowitz  <dan@codesourcery.com>
 
        * dwarf2read.c (die_specification, dwarf2_extension, follow_die_ref):

diff --git a/gdb/NEWS b/gdb/NEWS
index 6fa145b..7278056 100644 (file)
--- a/gdb/NEWS
+++ b/gdb/NEWS
@@ -59,6 +59,8 @@ conditions handling signals delivered during attach or thread creation
 have also been fixed.
 
 * GDB now supports the use of DWARF boolean types for Ada's type Boolean.
+From the user's standpoint, all unqualified instances of True and False
+are treated as the standard definitions, regardless of context.
 
 * New features in the GDB remote stub, gdbserver
 

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index b4aea40..7e83770 100644 (file)
--- a/gdb/doc/ChangeLog
+++ b/gdb/doc/ChangeLog
@@ -1,3 +1,8 @@
+2008-08-21  Paul N. Hilfinger  <hilfinger@adacore.com>
+
+       * gdb.texinfo (Omissions from Ada): Describe new treatment of True
+       and False.
+
 2008-08-20  Vladimir Prus  <vladimir@codesourcery.com>
 
         * gdb.textinfo (GDB/MI Miscellaneous Commands): Use @table

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 22b4e76..6760b71 100644 (file)
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -11218,6 +11218,14 @@ formats are not supported.
 
 @item
 It is not possible to slice a packed array.
+
+@item
+The names @code{True} and @code{False}, when not part of a qualified name, 
+are interpreted as if implicitly prefixed by @code{Standard}, regardless of 
+context.
+Should your program
+redefine these names in a package or procedure (at best a dubious practice),
+you will have to use fully qualified names to access their new definitions.
 @end itemize
 
 @node Additions to Ada