Page History

DIAG.UNEX.*
LANG.STRUCT.RC
LANG.STRUCT.UC

Code not exercised by analysis
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

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

LVLA_UNUSED
UNREACH.GEN
UNREACH.RETURN
UNREACH.SIZEOF
INVARIANT_CONDITION.UNREACH

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

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