
74 ◾ Software Essentials
With properly dened control ow, static analysis can verify that vari-
ables are in a known state during execution. Optimizations such as dead
code removal or memory reuse can then be applied. One may also factor
out duplicate code into a helper routine.
Even with appropriate use of control structures, readability may be
compromised. Redundant evaluation and code repetition clutter code.
Reworking conditional evaluations or the order in which they are applied
can eliminate repeated clauses, as shown in Table 3.2. A clear understand-
ing of Boolean logic supports a clear coding style. We next examine the
tenets of B ...