it seems like it would not be hard to implement a warning for the case where a variable is incremented or decremented somewhere in a statement, and referenced elsewhere (this is not all the difficult cases, but is a very high fraction of them). This would also catch macros where this happens less visibly.