[MLton-devel] Fwd: Re: pretty damn good

[Brad Lucier]

> So is the notion that if I have a void *, and I cast it to  some  other  type
> and  then  dereference  (either fetching or storing) that this can alias with
> any other fetch/store, regardless of type?

I think once it's actually dereferenced as a void* then this is true; i.e.,
I don't think that *(int*)(void*)&v actually does it. I'm not a C guru.

> I can easily imagine that there are some bad places where  we
> go between ints and pointers (the canonical unportable cast).

This is not a problem.  What *is* a problem is, e.g., accessing a word in memory
as an int and then as a float.

Brad


-------------------------------------------------------
This sf.net email is sponsored by: See the NEW Palm 
Tungsten T handheld. Power & Color in a compact size!
http://ads.sourceforge.net/cgi-bin/redirect.pl?palm0001en
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel