Detailed Description

Performs checks for return-value consistency.

This analysis pass checks that every code path eventually leads to a 'return' statement that ends the function. It also checks that all return statements return values that are consistent with the return type of that function.

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

/home/jona/NetBeansProjects/jos/compiler/jlang2/src/analysis/gyoji-analysis.hpp