Re:Why volatile is hard to specify and implement
by vrfcodf on Monday April 11, 2016 @07:17AM
(#11470768)
I agree, I think this part makes it clear: except as modified by the unknown factors mentioned previously.
Although this is quite contradicting:
5.1.2.3. p4: In the abstract machine, all expressions are evaluated as specified by the semantics. An
actual implementation need not evaluate part of an expression if it can deduce that its
value is not used and that no needed side effects are produced (including any caused by calling a function or accessing a volatile object)
Although this is quite contradicting:
5.1.2.3. p4: In the abstract machine, all expressions are evaluated as specified by the semantics. An actual implementation need not evaluate part of an expression if it can deduce that its value is not used and that no needed side effects are produced (including any caused by calling a function or accessing a volatile object)