Return statements define variables even if they return no value (#44) · Issues · Program Slicing / SDG · GitLab

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`

issue