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,0689
2008
3110
3112
3196
3201
3202
3203
3205
3206
3207
3210
3219
3229
3307
3328
3355
3356
3357
3358
3359
3360
3404
3422
3423
3425
3426
3427
3470

Splint

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