Return statements define variables even if they return no value
The processing of ReturnStmt
nodes inserts definitions for -output-
unnecessarily. One instance is located at ACFGBuilder#visit(ReturnStmt, Void)
, where there is no check before inserting the VariableAction
Edited by Carlos Galindo