Report question

Question: How to comprehend "The variable does not participate in invariants with other state variables when using volatile keyword"?