From 5624ad78fa5eb90795dbf6e53984050172c60139 Mon Sep 17 00:00:00 2001 From: Martin Mohr Date: Sat, 20 Feb 2016 16:24:07 +0100 Subject: [PATCH] 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 --- .../callgraph/propagation/SSAPropagationCallGraphBuilder.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/SSAPropagationCallGraphBuilder.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/SSAPropagationCallGraphBuilder.java index 0c01ecbc0..633127cf7 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/SSAPropagationCallGraphBuilder.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/SSAPropagationCallGraphBuilder.java @@ -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?