Synopsis

(Required) A project shall not contain unreachable code.

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

A part of the application is never executed. This check is identical to RED-dead, MISRAC2004-14.1, MISRAC++2008-0-1-1, MISRAC++2008-0-1-9, MISRAC++2023-0.0.1.

Coding standards

Code examples

The following code example fails the check and will give a warning:

#include <stdio.h>

int f(int mode) {
    switch (mode) {
        case 0:
            return 1;
            printf("Hello!"); // This line cannot execute.
        default:
            return -1;
    }
}

The following code example passes the check and will not give a warning about this issue:

#include <stdio.h>

int f(int mode) {
    switch (mode) {
        case 0:
            printf("Hello!"); // This line can execute.
            return 1;
        default:
            return -1;
    }
}