public class NormalizeReturn
extends ProcedureTransformPass
This normalization pass is intended to simplify return statements for the
Procedures in the program. Return statements with no return expressions are
added at the end of the procedure if a return statement doesn't exist already.
For all return statements in the procedure, the return expressions are
assigned to a standard return variable and are replaced in the return
statement with this standard return variable. Especially useful for statement
based analyses and simplification of interprocedural analyses.