Page History

LANG.STRUCT.UC

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

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