volatile semantics

[Gabriel Dos Reis]

Paul Schlie <schlie@comcast.net> writes:

| > Gabriel Dos Reis writes:
| > If by analysis, you can determine ...
| 
| The problem with this type of logic is that it leads to arbitrary
| inconsistent designation of an object's reference as a function of
| the breadth of the "analysis", therefore seems clearly undesirable.

There an inconsistency only if there is one in the program.

-- Gaby