18-02-2009, 04:33 PM
The MISRA rule contains a recommendation that volatile objects should only be accessed in simple assignment statements. It is a generally recommended but it is not an essential part of the rule.
It is possible that some static analysis tools will implement the recommended check but it is not essential that a tool should do so.
The example in which a pointer to a volatile object is dereferenced should be treated as a "simple assignment" in that it is not a compound assignment, and there is no ambiguity possible in this expression provided that *v and x denote distinct objects.
It is possible that some static analysis tools will implement the recommended check but it is not essential that a tool should do so.
The example in which a pointer to a volatile object is dereferenced should be treated as a "simple assignment" in that it is not a compound assignment, and there is no ambiguity possible in this expression provided that *v and x denote distinct objects.
Posted by and on behalf of the MISRA C Working Group