From: Joseph Myers Date: Sun, 4 Jan 2004 20:37:52 +0000 (+0000) Subject: re PR c/3414 (Inaccurate documentation of __attribute__((malloc))) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=928a5ba9911db75442f9dfad5ca477db38f0f7fe;p=gcc.git re PR c/3414 (Inaccurate documentation of __attribute__((malloc))) PR c/3414 * doc/extend.texi: Clarify definition of malloc attribute. From-SVN: r75395 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a1b09c01db3..f37704cbb82 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-01-04 Joseph S. Myers + + PR c/3414 + * doc/extend.texi: Clarify definition of malloc attribute. + 2004-01-04 Jan Hubicka * Makefile.in (cgraph.o, cgraphunit.o): Add intl.h dependency. diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index ac038554b9a..abd841501bf 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -1,4 +1,4 @@ -@c Copyright (C) 1988,1989,1992,1993,1994,1996,1998,1999,2000,2001,2002, 2003 +@c Copyright (C) 1988,1989,1992,1993,1994,1996,1998,1999,2000,2001,2002,2003,2004 @c Free Software Foundation, Inc. @c This is part of the GCC manual. @c For copying conditions, see the file gcc.texi. @@ -2355,9 +2355,14 @@ and linker. @item malloc @cindex @code{malloc} attribute The @code{malloc} attribute is used to tell the compiler that a function -may be treated as if it were the malloc function. The compiler assumes -that calls to malloc result in pointers that cannot alias anything. +may be treated as if any non-@code{NULL} pointer it returns cannot +alias any other pointer valid when the function returns. This will often improve optimization. +Standard functions with this property include @code{malloc} and +@code{calloc}. @code{realloc}-like functions have this property as +long as the old pointer is never referred to (including comparing it +to the new pointer) after the function returns a non-@code{NULL} +value. @item alias ("@var{target}") @cindex @code{alias} attribute