What's the difference between “dead code” and “unreachable code”?

Question

I thought those terms where synonymous, but a note in MISRA regarding dead code indicates this to be wrong? What\'s the difference? Is one a subset of the other?

Answer 1

Unreachable code

The code to which control flow never enters during the execution of the program. That is unreachable code is that code that is never executed during the course of execution of the program.

Dead code

The code that has no effect on the codes following it no matter how the control flow flows through the program. That is dead code is that code, that doesn't need to be executed during the course of execution of the program, or in other terms, is useless.

So, in true terms none of them is a subset of another. But both unreachable code and dead code are usually removed by the compiler during compilation process as a part of code optimization.

Answer 2

unreachable code is something that would never be executed because there is no flow control to reach the code.

A dead code is something that gets (or might get) executed, but its results are never used.

Answer 3

Dead Code

Code that performs functions that have no effect. Basically stuff that wouldn't make a difference if removed.

Unreachable Code

Code that due to other logic will never be executed. This is usually the sign of an error.

Answer 4

Dead code - code that is executed but redundant, either the results were never used or adds nothing to the rest of the program. Wastes CPU performance.

function(){
    // dead code since it's calculated but not saved or used anywhere
    a + b;
}

Unreachable code - code that will never be reached regardless of logic flow. Difference is it's not executed.

function(){
    return x;

    // unreachable since returned
    a = b + c;
}