|
|
6.7.3 Type qualifiers
6 An object that has volatile-qualified type may be modified in ways unknown to the
implementation or have other unknown side effects. THEREFORE ANY EXPRESSION REFERRING
TO SUCH AN OBJECT SHALL BE EVALUATED STRICTLY ACCORDING TO THE RULES OF THE ABSTRACT MACHINE,
as described in 5.1.2.3. Furthermore, at every sequence point the value last stored in the
object shall agree with that prescribed by the abstract machine, except as modified by the unknown factors mentioned previously.114) What constitutes an access to an object that
has volatile-qualified type is implementation-defined.
И вот оно 114-е примечание
114) A volatile declaration may be used to describe an object corresponding to a memory-mapped
input/output port or an object accessed by an asynchronously interrupting function. Actions on
objects so declared shall not be ‘‘optimized out’’ by an implementation or reordered except as
permitted by the rules for evaluating expressions.
|
|
E-mail: 
info@telesys.ru
