volatile semantics

[Daniel Berlin]

>> object volatile).
>
> I don't understand your point. given
> 	void Foo (char const * a) { *(char *)a = 5; }
> the compiler generates code to store 5 through the pointer 'a'.  It doesn't turn
> this into a call to 'abort', because it thinks you're writing to const storage.

Is this *always* the cast, or just in the example above?

>
> So, here it appears the compiler does believe the (char *) cast.

I imagine this is due to some workaround in an optimizer for some bug it 
exposed elswhere.

>  Why should it
> not believe a (char volatile *) cast -- unless it can determine the static type
> of the object pointed to?

It appears he was saying that *even if it could determine the static 
type*, the volatile qualifier on the cast *made the object not that type 
anymore*. And i'm not sure why such a thing would apply only to volatile, 
if true.


--Dan