extend.texi (Function Attributes): GNU C++ does now allow unused parameter decls.

	* doc/extend.texi (Function Attributes): GNU C++ does now allow
	unused parameter decls.
	(Attribute Syntax): GNU C++ does not allow label attributes to be
	after the ':'.

From-SVN: r69781

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d9227f06045559104a02be0f14bd4c179ec11fe3..2b3db6360a8ed4497c12696cb175e2f753b0cf68 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2003-07-25  Nathan Sidwell  <nathan@codesourcery.com>
+
+       * doc/extend.texi (Function Attributes): GNU C++ does now allow
+       unused parameter decls.
+       (Attribute Syntax): GNU C++ does not allow label attributes to be
+       after the ':'.
+
 2003-07-25  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
        * objc/objc-act.c (objc_check_decl): Don't use xxx_with_decl.

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 4bf39cac01ff8b3c006294ce01512a0856833cee..0e76b6b08e1994a16727c2bd1ed951ae3f20c904 100644 (file)
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -2268,8 +2268,7 @@ These attributes are not currently implemented for Objective-C@.
 @item unused
 This attribute, attached to a function, means that the function is meant
 to be possibly unused.  GCC will not produce a warning for this
-function.  GNU C++ does not currently support this attribute as
-definitions without parameters are valid in C++.
+function.
 
 @cindex @code{used} attribute.
 @item used
@@ -2725,14 +2724,18 @@ with the list being a single string constant.
 An @dfn{attribute specifier list} is a sequence of one or more attribute
 specifiers, not separated by any other tokens.
 
-An attribute specifier list may appear after the colon following a
+In GNU C, an attribute specifier list may appear after the colon following a
 label, other than a @code{case} or @code{default} label.  The only
 attribute it makes sense to use after a label is @code{unused}.  This
 feature is intended for code generated by programs which contains labels
 that may be unused but which is compiled with @option{-Wall}.  It would
 not normally be appropriate to use in it human-written code, though it
 could be useful in cases where the code that jumps to the label is
-contained within an @code{#ifdef} conditional.
+contained within an @code{#ifdef} conditional. GNU C++ does not permit
+such placement of attribute lists, as it is permissible for a
+declaration, which could begin with an attribute list, to be labelled in
+C++. Declarations cannot be labelled in C90 or C99, so the ambiguity
+does not arise there.
 
 An attribute specifier list may appear as part of a @code{struct},
 @code{union} or @code{enum} specifier.  It may go either immediately