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

really turn off short circuit optimization 

The setting should comply with the comment. Plus,
turning it on seems to lead to some unsoundness because
exception points-to sets become empty but should not be
This commit is contained in:
Martin Mohr 2016-02-20 16:24:07 +01:00 committed by Martin Hecker
parent fd2d4aefbf
commit 5624ad78fa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -137,7 +137,7 @@ public abstract class SSAPropagationCallGraphBuilder extends PropagationCallGrap
*
* Doesn't play well with pre-transitive solver; turning off for now.
*/
protected final static boolean SHORT_CIRCUIT_SINGLE_USES = true;
protected final static boolean SHORT_CIRCUIT_SINGLE_USES = false;
/**
* Should we change calls to clone() to assignments?