register variables

[Niket K. Patwardhan]

>The semantic meaning of a "register" declaration is NOT that the compiler
>must place the variable in a register.  Instead if you stop to think
>it is really a declaration that this variable is never affected as a
>side effect of an indirect store (* or []), an so a copy of the variable
>in a register can still be believed.  The "register" declaration

I never thought of it that way before, but you are right. Interesting......
using register declarations can make a C program much more provable!!!!
:x