...
Splint Version 3.1.1 can detect violations of this recommendation.
The Coverity Prevent Version 5.0 NO_EFFECT checker finds statements or expressions that do not accomplish anything, or statements that perform an unintended action.
...
...
Splint Version 3.1.1 can detect violations of this recommendation.
The Coverity Prevent Version 5.0 NO_EFFECT checker finds statements or expressions that do not accomplish anything, or statements that perform an unintended action.
...