From: Richard Guenther Date: Wed, 11 Jan 2012 09:01:36 +0000 (+0000) Subject: extend.texi (malloc attribute): Adjust according to implementation. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=65d5c485861aebde7d78e1ab60803a8283491d08;p=gcc.git extend.texi (malloc attribute): Adjust according to implementation. 2012-01-11 Richard Guenther * doc/extend.texi (malloc attribute): Adjust according to implementation. From-SVN: r183092 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 91e2a65e469..b685805abeb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2012-01-11 Richard Guenther + + * doc/extend.texi (malloc attribute): Adjust according to + implementation. + 2012-01-10 Aldy Hernandez Patrick Marlier diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 53bfd1cfac4..18ff7462bd7 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -2771,13 +2771,12 @@ efficient @code{jal} instruction. @cindex @code{malloc} attribute The @code{malloc} attribute is used to tell the compiler that a function may be treated as if any non-@code{NULL} pointer it returns cannot -alias any other pointer valid when the function returns. +alias any other pointer valid when the function returns and that the memory +has undefined content. 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. +@code{calloc}. @code{realloc}-like functions do not have this +property as the memory pointed to does not have undefined content. @item mips16/nomips16 @cindex @code{mips16} attribute