Unreachable code

In control flow analysis, unreachable code is one or more statements that, by a set of simple rules, can be proven to be unreachable, that is, they will never be executed regardless of the values of variables and other conditions at run time. Control flow analysis is often used as a step in the compiling of modern languages, and in some languages (e.g. Java or C#), unreachable code is explicitly disallowed.