bug fix for getMainExits() when slicing forwards
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@567 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
b676724bab
commit
3dd49e31ce
|
@ -139,7 +139,7 @@ class SDGSupergraph implements ISupergraph<Statement, PDG> {
|
||||||
* @see com.ibm.wala.dataflow.IFDS.ISupergraph#getExitsForProcedure(java.lang.Object)
|
* @see com.ibm.wala.dataflow.IFDS.ISupergraph#getExitsForProcedure(java.lang.Object)
|
||||||
*/
|
*/
|
||||||
public Statement[] getExitsForProcedure(PDG procedure) {
|
public Statement[] getExitsForProcedure(PDG procedure) {
|
||||||
if (procedure.equals(getMain())) {
|
if (procedure.equals(getMain()) && backward) {
|
||||||
Statement[] normal = procedure.getReturnStatements();
|
Statement[] normal = procedure.getReturnStatements();
|
||||||
Statement[] result = new Statement[normal.length + 1];
|
Statement[] result = new Statement[normal.length + 1];
|
||||||
result[0] = getMainExit();
|
result[0] = getMainExit();
|
||||||
|
|
Loading…
Reference in New Issue