diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index 1103e9936f7..867ef07ea4b 100644 --- a/gcc/doc/extend.texi +++ b/gcc/doc/extend.texi @@ -3383,7 +3383,7 @@ Attribute @code{malloc} indicates that a function is @code{malloc}-like, i.e., that the pointer @var{P} returned by the function cannot alias any other pointer valid when the function returns, and moreover no pointers to valid objects occur in any storage addressed by @var{P}. In -addition, the GCC predicts that a function with the attribute returns +addition, GCC predicts that a function with the attribute returns non-null in most cases. Independently, the form of the attribute with one or two arguments