* doc/extend.texi (Arrays and pointers implementation): Discourage

        relying on sign-extension of pointers.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@44805 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c23a962..481c55c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2001-08-11  Richard Henderson  <rth@redhat.com>
+
+       * doc/extend.texi (Arrays and pointers implementation): Discourage
+       relying on sign-extension of pointers.
+
 2001-08-11  H.J. Lu <hjl@gnu.org>
 
        * config/mips/linux.h (EXTRA_SECTIONS): Remove in_ctors and

diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi
index 12b9e71..2951096 100644 (file)
--- a/gcc/doc/extend.texi
+++ b/gcc/doc/extend.texi
@@ -202,7 +202,9 @@ IEC 60559 conformant implementation (F.9).}
 vice versa (6.3.2.3).}
 
 A cast from pointer to integer discards most-significant bits if the
-pointer representation is larger than the integer type, sign-extends
+pointer representation is larger than the integer type,
+sign-extends@footnote{Future versions of GCC may zero-extend, or use
+a target-defined @code{ptr_extend} pattern.  Do not rely on sign extension.}
 if the pointer representation is smaller than the integer type, otherwise
 the bits are unchanged.
 @c ??? We've always claimed that pointers were unsigned entities.