Skip to content

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