Dead store
In computer programming, a dead store is a local variable that is assigned a value but is read by no following instruction. Dead stores waste processor time and memory, and may be detected through the use of static program analysis, and removed by an optimizing compiler.
If the purpose of a store is intentionally to overwrite data, for example when a password is being removed from memory, dead store optimizations can cause the write not to happen, leading to a security issue. Some system libraries have specific functions designed to avoid such dangerous optimizations, e.g. explicit_bzero on OpenBSD.
01Examples
Java
Dead store example in Java:
// DeadStoreExample.java import java.util.ArrayList; import java.util.Arrays; import java.util.List; public class DeadStoreExample { public static void main(String[] args) { List<String> list = new ArrayList<String>(); // This is a Dead Store, as the ArrayList is never read. list = getList(); System.out.println(list); } private static List<String> getList() { return new ArrayList<String>(Arrays.asList("Hello")); } }In the above code an ArrayList<String> object was instantiated but never used. Instead, in the next line the variable which references it is set to point to a different object. The ArrayList which was created when list was declared will now need to be de-allocated, for instance by a garbage collector.
JavaScript
Dead store example in JavaScript:
function func(a, b) { var x; var i = 300; while (i--) { x = a + b; // dead store } }The code in the loop repeatedly overwrites the same variable, so it can be reduced to only one call.
Sources and credits
This article is adapted from the Wikipedia article “Dead store”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.