Index: gnat_ugn.texi =================================================================== RCS file: /cvs/gcc/gcc/gcc/ada/gnat_ugn.texi,v retrieving revision 1.21 diff -u -p -r1.21 gnat_ugn.texi --- gnat_ugn.texi 27 Oct 2004 13:56:19 -0000 1.21 +++ gnat_ugn.texi 19 Nov 2004 10:35:38 -0000 @@ -4791,9 +4791,6 @@ operand) which has no effect. Use of the operator abs on an operand that is known at compile time to be non-negative @item -Use of an unnecessary extra level of parentheses (C-style) around conditions -in @code{if} statements, @code{while} statements and @code{exit} statements. -@item Comparison of boolean expressions to an explicit True value. @end itemize @@ -5525,6 +5522,14 @@ A unary plus or minus may not be followe A vertical bar must be surrounded by spaces. @end itemize +@item ^x^XTRA_PARENS^ +@emph{Check extra parentheses.} +Check for the use of an unnecessary extra level of parentheses (C-style) +around conditions in @code{if} statements, @code{while} statements and +@code{exit} statements. + +@end table + @noindent In the above rules, appearing in column one is always permitted, that is, counts as meeting either a requirement for a required preceding space, @@ -5534,8 +5539,6 @@ Appearing at the end of a line is also a as meeting either a requirement for a following space, or as meeting a requirement for no following space. -@end table - @noindent If any of these style rules is violated, a message is generated giving details on the violation. The initial characters of such messages are @@ -9466,15 +9469,6 @@ available on the path. @cindex @option{^--GNATMAKE^/GNATMAKE^} (@command{gnatelim}) Instructs @code{gnatelim} to use specific @code{gnatmake} instead of one available on the path. - -@item -d@var{x} -@cindex @option{-d@var{x}} (@command{gnatelim}) -Activate internal debugging switches. @var{x} is a letter or digit, or -string of letters or digits, which specifies the type of debugging -mode desired. Normally these are used only for internal development -or system debugging purposes. You can find full documentation for these -switches in the spec of the @code{Gnatelim} unit in the compiler -source file @file{gnatelim.ads}. @end table @noindent Index: gnat_rm.texi =================================================================== RCS file: /cvs/gcc/gcc/gcc/ada/gnat_rm.texi,v retrieving revision 1.30 diff -u -p -r1.30 gnat_rm.texi --- gnat_rm.texi 13 Sep 2004 10:18:42 -0000 1.30 +++ gnat_rm.texi 19 Nov 2004 10:35:40 -0000 @@ -7085,8 +7085,12 @@ user-defined storage pool. @item No_Streams @findex No_Streams -This restriction ensures at compile time that there are no implicit or -explicit dependencies on the package @code{Ada.Streams}. +This restriction ensures at compile/bind time that there are no +stream objects created (and therefore no actual stream operations). +This restriction does not forbid dependences on the package +@code{Ada.Streams}. So it is permissible to with +@code{Ada.Streams} (or another package that does so itself) +as long as no actual stream objects are created. @item No_Task_Attributes_Package @findex No_Task_Attributes_Package @@ -13382,7 +13386,7 @@ Word : Rec; @end group @end smallexample -@noindent +@noindent Such an object is said to be @emph{unconstrained}. The discriminant of the object can be modified by a full assignment to the object, as long as it preserves the Index: sinfo.ads =================================================================== RCS file: /cvs/gcc/gcc/gcc/ada/sinfo.ads,v retrieving revision 1.30 diff -u -p -r1.30 sinfo.ads --- sinfo.ads 6 Jul 2004 13:57:31 -0000 1.30 +++ sinfo.ads 19 Nov 2004 10:35:40 -0000 @@ -1767,6 +1767,11 @@ package Sinfo is -- Debug_Statement (Node3) (set to Empty if not Debug, Assert) -- Next_Rep_Item (Node4-Sem) + -- Note: we should have a section on what pragmas are passed on to + -- the back end to be processed. This section should note that pragma + -- Psect_Object is always converted to Common_Object, but there are + -- undoubtedly many other similar notes required ??? + -------------------------------------- -- 2.8 Pragma Argument Association -- -------------------------------------- Index: g-expect.ads =================================================================== RCS file: /cvs/gcc/gcc/gcc/ada/g-expect.ads,v retrieving revision 1.6 diff -u -p -r1.6 g-expect.ads --- g-expect.ads 21 Oct 2003 13:42:00 -0000 1.6 +++ g-expect.ads 19 Nov 2004 10:35:40 -0000 @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2000-2003 Ada Core Technologies, Inc. -- +-- Copyright (C) 2000-2004 Ada Core Technologies, 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- -- @@ -49,7 +49,7 @@ -- Non_Blocking_Spawn -- (Fd, "ftp", --- (1 => new String' ("machine@domaine"))); +-- (1 => new String' ("machine@domain"))); -- Timeout := 10000; -- 10 seconds -- Expect (Fd, Result, Regexp_Array'(+"\(user\)", +"\(passwd\)"), -- Timeout); @@ -68,7 +68,7 @@ -- name of the language by doing: -- declare --- Matched : Regexp_Array (0 .. 2); +-- Matched : Match_Array (0 .. 2); -- begin -- Expect (Fd, Result, "lang=(optional)? ([a-z]+)", Matched); -- Put_Line ("Seen: " & @@ -309,8 +309,7 @@ package GNAT.Expect is function "+" (S : String) return GNAT.OS_Lib.String_Access; -- Allocate some memory for the string. This is merely a convenience - -- convenience function to help create the array of regexps in the - -- call to Expect. + -- function to help create the array of regexps in the call to Expect. procedure Expect (Descriptor : in out Process_Descriptor;