История изменений
Исправление shdown, (текущая версия) :
6 The least requirements on a conforming implementation are:
— Volatile accesses to objects are evaluated strictly according to the rules of the abstract machine.
(дальше не связанные с volatile вещи)
What constitutes an access to an object that has volatile-qualified type is implementation-defined.
Усё. Ваша первая цитата относится к информативной секции (объяснению причин, зачем нужен volatile), не формальной спецификации.
Исходная версия shdown, :
6 The least requirements on a conforming implementation are:
— Volatile accesses to objects are evaluated strictly according to the rules of the abstract machine.
(дальше не связанные с volatile вещи)
What constitutes an access to an object that has volatile-qualified type is implementation-defined.
Усё. Ваша первая цитата относится к информативной секции (объяснению причин, зачем нужен volatile).