volatile semantics

[Gabriel Dos Reis]

Paul Schlie <schlie@comcast.net> writes:

| > From: Paul Schlie <schlie@comcast.net>
| >> From: Gabriel Dos Reis <gdr@integrable-solutions.net>
| >> I don't understand what you mean here.  Are you seriously suggesting
| >> that 
| >> 
| >>      int main(void) {
| >>         const int x = 4;
| >>         *(int*)&x = 3;
| >>      }
| >> 
| >> is well-defined?

[...]

| - Just as if given:
| 
|      void foo(void) {
|        int *x = 4;

?

-- Gaby