Page History

LANG.STRUCT.EBS

LANG.STRUCT.RC

MISC.NOEFFECT

LANG.STRUCT.UC

Empty {Branch, for, if, switch, while} Statement

Redundant Condition

Function Call Has No Effect

Unreachable {Call, Computation, Conditional, Control Flow, Data Flow}

Coverity

NO_EFFECT

DEADCODE

UNREACHABLE

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

Can detect the specific instance where code can never be reached because of a logical contradiction or a dead "default" in switch statement

Can detect the instances where code block is unreachable because of the syntactic structure of the code

ECLAIR

CC2.MSC12

Partially implemented

GCC

3.0

-Wunused-value
-Wunused-parameter


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

Klocwork

EFFECT

LV_UNUSED.GEN VA_UNUSED.* UNREACH.*

LDRA tool suite

Partially
70 D
57 S
1 J
139 S
140 SFully implemented

3426, 3427, 3307, 3110, 3112, 3404, 1501, 1503, 2008, 2880, 2881, 2882, 2883, 2877, 3196, 3202, 3203, 3205, 3206, 3207, 3210, 3219, 3229, 3404, 3422, 3423, 3425, 3470, 2980, 2981, 2982, 2983, 2984, 2985, 2986

Splint

 -standard

The default mode checks for unreachable code.