Page History

Splint

GCC

can detect violations of this rule when the -Wsequence-point flag is used.

Compass/ROSE

can detect simple violations of this rule. It needs to examine each expression and make sure that no variable is modified twice in the expression. Also no variable is modified once, and read elsewhere, with the single exception that a variable may appear on both the left and right of an assignment operator.

Coverity Prevent

EVALUATION_ORDER

can detect the specific instance where Statement contains multiple side-effects on the same value with an undefined evaluation order because with different compiler flags or different compilers or platforms, the statement may behave differently.

LDRA tool suite