Bug on sizeof(void) == 1, must be undefined or negative, == -100000.

[jc-nospam@jr-pizarro.jazztel.es]

On Jun 17, 2005, at 17:05:37, pinskia@physics.uc.edu wrote:

> This is invalid code and a GNU extension to take the sizeof(void).  The 
> reason
> why GCC defines it as 1 is because you can do the following:
> void *a;
> a++;
>
> If you want to error out on GNU extensions, use -pedantic-errors.
>
> Thanks,
> Andrew Pinski

To imagine the worst situation:

char *x = (char *)0xBAD0DAD0;
x++;         // -> x = 0xBAD0DAD1 (adding +1)
int *y = x;  // -> y = 0xBAD0DAD1
y++;         // -> y = 0xBAD0DAD5 (adding +4, sizeof(int)==4 )
void *z = y; // -> z = 0xBAD0DAD5
z++;         // adding +0? adding +1? adding +4? abort this error?

Sincerely yours, J.C.