Detailed Description

This pass ensures that all values are assigned before they are used.

In order to prove that a program has safe, deterministic behavior, it is important that no value be used prior to assigning a definite value to it. We don't really require bounds on that value (i.e. it could come from user input from a function). Whatever it is, however, must be assigned and not just some random leftover value from the stack or heap due to uninitialized data.

The documentation for this class was generated from the following files:

/home/jona/NetBeansProjects/jos/compiler/jlang2/src/analysis/gyoji-analysis.hpp
/home/jona/NetBeansProjects/jos/compiler/jlang2/src/analysis/analysis-use-before-assignment.cpp