[Bug c/34326] New: pointer arithmetic on void pointers does not generate an error

["jmparker at marvell dot com" <gcc-bugzilla at gcc dot gnu dot org>]

I was surprised that gcc did not find an error in the following example.
My understanding is that assignment to a void pointer is ok, but arithmetic
is _not_ ok. I have tried this code on my arm cross compiler gcc v. 4.1.1 and
my ubuntu system compiler 4.1.3. Gcc treats the void pointer type as char 

gcc --version
        gcc (GCC) 4.1.3 20070929 (prerelease) (Ubuntu 4.1.2-16ubuntu2)

Example pointer arithmetic on a void pointer that should have caused an error
   #include <stdlib.h>
   int main (int argc, char **argv)
   {
      void *x;
      x = malloc(1025 * sizeof(*x));

      x++;    // i expected an error on this line!

      return 1;
   }


-- 
           Summary: pointer arithmetic on void pointers does not generate an
                    error
           Product: gcc
           Version: 4.1.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jmparker at marvell dot com


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34326