Redundant (Common) Subexpression Elimination

Global Constant Folding and Propagation

Dead Code Elimination

Conditional Pruning

Conditional Reordering

Assignment Elimination Due to Equality

GOTO Chasing

Array Temporary Elimination

10.3.3 Dead Code Elimination

As the result of previous optimizations, both statements and entire blocks may now be unnecessary.