DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove unused conditionals

This commit is contained in:
Manu Sridharan 2016-09-20 14:04:03 -07:00
parent e21ee9f5cf
commit 1a7c527dbe
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
View File

@ -345,8 +345,7 @@ public class TabulationSolver<T, P, F> {
@Override
public void act(int d3) {
newNormalExplodedEdge(edge, m, d3);
if (propagate(edge.entry, edge.d1, m, d3)) {
}
propagate(edge.entry, edge.d1, m, d3);
}
});
}
@ -574,8 +573,7 @@ public class TabulationSolver<T, P, F> {
@Override
public void act(int d3) {
newNormalExplodedEdge(edge, m, d3);
if (propagate(edge.entry, edge.d1, m, d3)) {
}
propagate(edge.entry, edge.d1, m, d3);
}
});
}
@ -604,8 +602,7 @@ public class TabulationSolver<T, P, F> {
assert x >= 0;
assert edge.d1 >= 0;
newNormalExplodedEdge(edge, returnSite, x);
if (propagate(edge.entry, edge.d1, returnSite, x)) {
}
propagate(edge.entry, edge.d1, returnSite, x);
}
});
}