The removal by a compiler of statements or operations appearing in the input program or implicit in its general interpretation, which it determines to be without discernable effect.
