Page History

LANG.STRUCT.RC
LANG.STRUCT.UC

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

Coverity

DEADCODE

UNREACHABLE

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

GCC

Can detect violations of this recommendation when the -Wunreachable-code flag is used

Klocwork

LV_UNUSED.GEN VA_UNUSED.* UNREACH.*

LDRA tool suite

1 J
139 S
140 S

Fully implemented

Dead code

Missing case for switch condition

Unreachable code

Code does not execute

Default case is missing and may be reached

Code following control-flow statements

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

S1763, S1751

Splint

Can detect violations of this recommendation when the -Wunreachable-code flag is used