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@2256 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-03 15:38:34 +00:00
parent 8b7945655d
commit 5c41bacbee
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

@ -332,6 +332,9 @@ public class TabulationSolver<T, P> {
}
IUnaryFlowFunction f = flowFunctionMap.getNormalFlowFunction(edge.n, m);
IntSet D3 = computeFlow(edge.d2, f);
if (DEBUG_LEVEL > 0) {
System.err.println(" reached: " + D3);
}
if (D3 != null) {
D3.foreach(new IntSetAction() {
public void act(int d3) {