C Semantics in K Framework

[CUOQ Pascal <Pascal.CUOQ AT cea.fr>]

> "register" is [...] used in
> 6.3.2.1:2 to identify another very important class of undefined
> behaviors, having to do with reading uninitialized values.

The rationale for the change is at
http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_338.htm

> So in total, we have (in a footnote) "the address ... cannot be
> computed" and (in the body) "never had its address taken" used to
> describe the restriction on the register storage class.  Are these
> static or dynamic concepts?

I think the intention was that the restriction was a static notion.
This seems to fit both the idea that the compiler cannot be asked
to generate code for the then-branch of your if and that the
compiler should be allowed to use the register-only NaT value
of IA64, that cannot exist in memory, as value of uc in the
example of DR 338.

Pascal