Dead code
Computer code that is never executed
- 3 min read
- 2 chapters
Related on Lably
Through Computer programming, Exception handling and Method (computer programming)
While the result of a dead computation may never be used, it may raise exceptions or affect some global state, thus removal of such code may change the output of the program and introduce unintended bugs. Compiler optimizations are typically conservative in their approach to dead-code removal if there is any ambiguity as to whether removal of the dead code will affect the program output. The programmer may aid the compiler in this matter by making additional use of static and/or inline functions and enabling the use of link-time optimization.
Example
<span id="mwJg"></span><span class="kt" id="mwJw">int</span><span class="w" id="mwKA"> </span><span class="nf" id="mwKQ">foo</span><span class="p" id="mwKg">(</span><span class="kt" id="mwKw">int</span><span class="w" id="mwLA"> </span><span class="n" id="mwLQ">x</span><span class="p" id="mwLg">,</span><span class="w" id="mwLw"> </span><span class="kt" id="mwMA">int</span><span class="w" id="mwMQ"> </span><span class="n" id="mwMg">y</span><span class="p" id="mwMw">)</span><span class="w" id="mwNA"> </span><span class="p" id="mwNQ">{</span> <span class="w" id="mwNg"> </span><span class="kt" id="mwNw">int</span><span class="w" id="mwOA"> </span><span class="n" id="mwOQ">z</span><span class="w" id="mwOg"> </span><span class="o" id="mwOw">=</span><span class="w" id="mwPA"> </span><span class="n" id="mwPQ">x</span><span class="w" id="mwPg"> </span><span class="o" id="mwPw">/</span><span class="w" id="mwQA"> </span><span class="n" id="mwQQ">y</span><span class="p" id="mwQg">;</span> <span class="w" id="mwQw"> </span><span class="k" id="mwRA">return</span><span class="w" id="mwRQ"> </span><span class="n" id="mwRg">x</span><span class="w" id="mwRw"> </span><span class="o" id="mwSA">*</span><span class="w" id="mwSQ"> </span><span class="n" id="mwSg">y</span><span class="p" id="mwSw">;</span> <span class="p" id="mwTA">}</span>In the C code above example, although the division of x by y is computed and never used, it will raise a SIGFPE (floating point exception signal) when a division-by-zero occurs. Therefore, the removal of the dead code may change the output of the program.
Sign in to keep reading
One more chapter is free with a Lably account.
Analysis
Dead-code elimination is a form of compiler optimization in which dead code is removed from a program. Dead code analysis can be performed using live-variable analysis, a form of static-code analysis and data-flow analysis. This is in contrast to unreachable code analysis which is based on control-flow analysis.
The dead-code elimination technique is in the same class of optimizations as unreachable code elimination and redundant code elimination.
In large programming projects, it is sometimes difficult to recognize and eliminate dead code, particularly when entire modules become dead. Test scaffolding can make it appear that the code is still live, and at times, contract language can require delivery of the code even when the code is no longer relevant.
Some IDEs (such as Xcode, Visual Studio 2010 and Eclipse Galileo) have the ability to locate dead code during the compiling stage.
While most optimization techniques seek to remove dead code in an implementation, in extreme forms of optimization for size it may sometimes be desirable to deliberately introduce and carefully shape seemingly dead code, when it allows to fold otherwise unrelated code sections together (and thereby reduce their combined size) so that the extra code will effectively not harm the first path of execution through the code but is used to carry out the actions necessary for the alternative paths of execution, for which other sections of the code may become dead code. On a more functional level, this can be seen as both, artificially introduction of harmless/useful side-effects and reduction of the redundancy of the code, but it can also be used down to opcode level in order to allow the usage of shorter instructions, which would not be possible when folding code sequences without the concerted introduction of side-effects caused by the dead code.