🚀 go-pugleaf

In article <1993Jan7.221207.13818@leland.Stanford.EDU>, dkeisen@leland.Stanford.EDU (Dave Eisen) writes:
|> 
|> This has nothing to do with malloc. The hypothetical compiler
|> could simply insert this error checking information whenever
|> it does a conversion from a (void *) to a (struct foo *). Again,
|> the basic question is still unresolved here: can a conversion
|> from one pointer type to another affect bytes other than those
|> where the pointer variable is stored?

Of course not. What would happen in the following program?

	int main(void)
	{
	  struct foo {double field[2];} *fp;
	  char bar[]="LongerThanSizeOfStructFoo";
	  fp = (struct foo *)bar;
	  /* Does the above cast modify the contents of bar? */
	  if (strcmp(bar,"LongerThanSizeOfStructFoo"))
	    fprintf(stderr,"Dumb-ass compiler\n");
	  return 0;
	}

-- 
==================
Chris Volpe
G.E. Corporate R&D
volpecr@crd.ge.com