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

fix optmization to check for no phi nodes, rather than just testing for the exit block. when there are lexically-scoped variables in JavaScript code, then the exit block may have phi nodes (required for upward funarg situations) 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1326 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
dolby-oss 2007-06-29 19:15:18 +00:00
parent eb86207d02
commit caa4357cd9
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/SSAPropagationCallGraphBuilder.java
View File

@ -322,9 +322,7 @@ public abstract class SSAPropagationCallGraphBuilder extends PropagationCallGrap
// visit each phi instruction in each successor block
for (Iterator sbs = cfg.getSuccNodes(b); sbs.hasNext();) {
BasicBlock sb = (BasicBlock) sbs.next();
if (sb.isExitBlock()) {
// an optimization based on invariant that exit blocks should have no
// phis.
if (! sb.hasPhi()) {
continue;
}
int n = 0;