...
| Anchor | ||||
|---|---|---|---|---|
|
default label in a switch statement whose controlling expression has an enumerated type and that specifies labels for all enumerations of the type. (See MSC01-C. Strive for logical completeness.) Because valid values of an enumerated type include all those of its underlying integer type, unless enumeration constants are provided for all those values, the default label is appropriate and necessary....
| Anchor | ||||
|---|---|---|---|---|
|
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.STRUCT.EBS LANG.STRUCT.RC MISC.NOEFFECT LANG.STRUCT.UC | Empty {Branch, Redundant Condition Function Call Has No Effect Unreachable {Call, Computation, Conditional, Control Flow, Data Flow} | ||||||
| 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 Can detect the instances where code block is unreachable because of the syntactic structure of the code | |||||||
| CC2.MSC12 | Partially implemented | |||||||
3.0 | Options detect unused local variables, nonconstant static variables and unused function parameters, or unreachable code respectively. | ||||||||
| EFFECT LV_UNUSED.GEN VA_UNUSED.* UNREACH.* |
| |||||||
| Partially implemented | ||||||||
| Parasoft C/C++test | 9.5 | MISRA2008-0_1_{a,b,c,d,e,f,g}, BD-PB-SWITCH | |||||||
| PRQA QA-C |
| 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 | Partially implemented | ||||||
| SonarQube C/C++ Plugin |
| S1116, S1656, S1764, S1751, S1763, S1862 | |||||||
| | The default mode checks for unreachable code. |
...