analysis.edgeTransfer(edge, edgeFact); if (debug && !analysis.same(edgeFact, predFact)) { debug(block, logicalPred, edge, "Edge transfer " + analysis.factToString(predFact) + " ==> " + analysis.factToString(edgeFact)); thisResultChanged = !analysis.isTop(result); } else { thisResultChanged = !analysis.same(result, origResult);
analysis.edgeTransfer(edge, edgeFact); if (DEBUG && !analysis.same(edgeFact, predFact)) { debug(block, logicalPred, edge, "Edge transfer " + analysis.factToString(predFact) + " ==> " + analysis.factToString(edgeFact)); thisResultChanged = !analysis.isTop(result); } else { thisResultChanged = !analysis.same(result, origResult);