changeset 3109:cd1bbe721cb5

(POINTER): Always use char *.
author Richard M. Stallman <rms@gnu.org>
date Wed, 26 May 1993 03:49:40 +0000
parents 461470daafaa
children 691f059e3d92
files src/ralloc.c
diffstat 1 files changed, 5 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/ralloc.c	Wed May 26 03:16:57 1993 +0000
+++ b/src/ralloc.c	Wed May 26 03:49:40 1993 +0000
@@ -33,6 +33,7 @@
 /* The important properties of this type are that 1) it's a pointer, and
    2) arithmetic on it should work as if the size of the object pointed
    to has a size of 1.  */
+#if 0 /* Arithmetic on void* is a GCC extension.  */
 #ifdef __STDC__
 typedef void *POINTER;
 #else
@@ -44,6 +45,10 @@
 typedef char *POINTER;
 
 #endif
+#endif /* 0 */
+
+/* Unconditionally use char * for this.  */
+typedef char *POINTER;
 
 typedef unsigned long SIZE;