Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Code that is executed but does not perform any action, or has an unintended effect, most likely results from a coding error and can cause unexpected behavior. Statements or expressions that have no effect should be identified and removed from code. Most modern compilers, in many cases, can warn about code that has no effect in many cases. (See MSC00-C. Compile cleanly at high warning levels.)

...

SplintSplint PRQA QA-CPRQAPRQA3110

3112

Partially implemented

Tool

Version

Checker

Description

Coverity

Include Page
Coverity_V
Coverity_V

NO_EFFECT

Finds statements or expressions that do not accomplish anything or statements that perform an unintended action.

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

noeffect

Partially implemented.

GCC

3.0

-Wunused-value and
-Wunused-parameter

Options detect unused local variables or nonconstant static variables and unused function parameters, respectively.

Klocwork

Include Page
Klocwork_V
Klocwork_V

EFFECT

 

LDRA tool suite

Include Page
LDRA_V
LDRA_V

65 D
70 D
57 S

Fully implemented.Splint

PRQA QA-C
Include Page
PRQA_V
PRQA_V

3110

3112

 

Partially implemented.

Splint

Include Page
Splint_V
Splint_V

 

 

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

Related Guidelines

...

...

Leveraging Human Experience [BRS]
Unspecified Functionality [BVQ]
Likely Incorrect Expressions [KOA]
Dead and Deactivated Code [XYQ]
MISRA-C
Rule 14.1

...


Rule 14.2

...

Bibliography

 

...