An object that has volatile-qualified type may be modified in ways unknown to the implementation or have other unknown side effects. It is possible to reference a volatile object by using a nonvolatile value, but the resulting behavior is undefined. The C Standard, Section section 6.7.3 [ISO/IEC 9899:2011], states:
...