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

removed gratuitous mention of CGNode 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2416 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
schandra_sf 2008-01-18 03:49:13 +00:00
parent 95893ab9e3
commit 972feb8db7
1 changed files with 1 additions and 2 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

@ -25,7 +25,6 @@ import org.eclipse.core.runtime.IProgressMonitor;
import com.ibm.wala.cfg.IBasicBlock;
import com.ibm.wala.eclipse.util.CancelException;
import com.ibm.wala.eclipse.util.MonitorUtil;
import com.ibm.wala.ipa.callgraph.CGNode;
import com.ibm.wala.util.ReferenceCleanser;
import com.ibm.wala.util.collections.HashMapFactory;
import com.ibm.wala.util.collections.HashSetFactory;
@ -364,7 +363,7 @@ public class TabulationSolver<T, P> {
// This should only happen for return from the entry point of the supergraph
// (fake root method for whole-program analysis).
if (DEBUG_LEVEL > 0) {
CGNode n = (CGNode) supergraph.getProcOf(edge.n);
P n = supergraph.getProcOf(edge.n);
Assertions._assert(supergraph.getMain().equals(n), "no successors for " + edge.n);
}
return;