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

add a debug statement 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1954 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2007-10-25 14:07:05 +00:00
parent e851f84a2e
commit 0055ba00ed
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -272,6 +272,9 @@ public class TabulationSolver<T, P> {
System.err.println("TABULATE " + edge);
}
int j = merge(edge.s_p, edge.d1, edge.n, edge.d2);
if (j == -1 && DEBUG_LEVEL > 0) {
System.err.println("merge -1: DROPPING");
}
if (j != -1) {
if (j != edge.d2) {
// this means that we don't want to push the edge. instead,