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

fixed bounds of iteration over symbol table using getMaxValueNumber. Loops should be iterating all the way to the MaxValueNumber returned (i.e., <=). 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1655 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
yahave 2007-08-22 15:33:55 +00:00
parent af19e95cfc
commit 2c8dd6d027
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSSSAPropagationCallGraphBuilder.java
View File

@ -110,7 +110,7 @@ public class JSSSAPropagationCallGraphBuilder extends AstSSAPropagationCallGraph
Trace.println("IR of " + ir.getMethod());
Trace.println(ir);
Trace.println("TypeInference of " + ir.getMethod());
for (int i = 0; i < ir.getSymbolTable().getMaxValueNumber(); i++) {
for (int i = 0; i <= ir.getSymbolTable().getMaxValueNumber(); i++) {
if (ti.isUndefined(i)) {
Trace.println(" value " + i + " is undefined");
} else {
@ -425,7 +425,7 @@ public class JSSSAPropagationCallGraphBuilder extends AstSSAPropagationCallGraph
SymbolTable targetST = targetIR.getSymbolTable();
int av = -1;
for (int v = 0; v < targetST.getMaxValueNumber(); v++) {
for (int v = 0; v <= targetST.getMaxValueNumber(); v++) {
String[] vns = targetIR.getLocalNames(1, v);
for (int n = 0; vns != null && n < vns.length; n++) {
if ("arguments".equals(vns[n])) {