This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: New attribute: returns_nonnull
- From: Marc Glisse <marc dot glisse at inria dot fr>
- To: gcc-patches at gcc dot gnu dot org
- Date: Fri, 11 Oct 2013 15:59:49 +0200 (CEST)
- Subject: Re: New attribute: returns_nonnull
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot DEB dot 2 dot 02 dot 1310071600430 dot 22663 at stedding dot saclay dot inria dot fr>
On Mon, 7 Oct 2013, Marc Glisse wrote:
2013-10-08 Marc Glisse <marc.glisse@inria.fr>
[...]
gcc/
* doc/extend.texi (returns_nonnull): New function attribute.
By the way, I'll commit this obvious doc fix next chance I get:
2013-10-12 Marc Glisse <marc.glisse@inria.fr>
* doc/extend.texi (returns_nonnull): Remove arguments.
--- extend.texi (revision 203436)
+++ extend.texi (working copy)
@@ -3310,7 +3310,7 @@ my_memcpy (void *dest, const void *src,
__attribute__((nonnull));
@end smallexample
-@item returns_nonnull (@var{arg-index}, @dots{})
+@item returns_nonnull
@cindex @code{returns_nonnull} function attribute
The @code{returns_nonnull} attribute specifies that the function
return value should be a non-null pointer. For instance, the declaration:
--
Marc Glisse