The compiler is free to reorder accesses to multiple volatile variables if they happen prior to the same sequence point. So (roughly) expressions involving two volatile variables do not have those accesses sequenced.

But you are right that the usage described earlier is OK, as long as both variables are marked volatile, and the accesses straddle a sequence point.

The more common mistake with volatiles is to use the for multithreading primitives.