From 65d5c485861aebde7d78e1ab60803a8283491d08 Mon Sep 17 00:00:00 2001
From: Richard Guenther <rguenther@suse.de>
Date: Wed, 11 Jan 2012 09:01:36 +0000
Subject: [PATCH] extend.texi (malloc attribute): Adjust according to
implementation.
2012-01-11 Richard Guenther <rguenther@suse.de>
* doc/extend.texi (malloc attribute): Adjust according to
implementation.
From-SVN: r183092
---
gcc/ChangeLog | 5 +++++
gcc/doc/extend.texi | 9 ++++-----
2 files changed, 9 insertions(+), 5 deletions(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 91e2a65e469d..b685805abeb9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2012-01-11 Richard Guenther <rguenther@suse.de>
+
+ * doc/extend.texi (malloc attribute): Adjust according to
+ implementation.
+
2012-01-10 Aldy Hernandez <aldyh@redhat.com>
Patrick Marlier <patrick.marlier@gmail.com>
diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 53bfd1cfac47..18ff7462bd72 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
--
GitLab