A store into a memory location that will later be overwritten by another store without any intervening loads. In this case, the earlier store can be deleted.