/** * Get dataflow facts for end of given block. */ public Fact getResultFact(BasicBlock block) { return analysis.getResultFact(block); }
BasicBlock block = i.next(); Fact result = analysis.getResultFact(block); if (block == logicalEntryBlock()) { try {
Fact result = analysis.getResultFact(block); assert result != null; Fact predFact = analysis.getResultFact(logicalPred); int predLastUpdated = analysis.getLastUpdateTimestamp(predFact); if (!analysis.isTop(predFact)) { Fact predFact = analysis.getResultFact(logicalPred);
/** * Get dataflow facts for end of given block. */ public Fact getResultFact(BasicBlock block) { return analysis.getResultFact(block); }
BasicBlock block = i.next(); Fact result = analysis.getResultFact(block); if (block == logicalEntryBlock()) { try {
Fact result = analysis.getResultFact(block); assert result != null; Fact predFact = analysis.getResultFact(logicalPred); int predLastUpdated = analysis.getLastUpdateTimestamp(predFact); if (!analysis.isTop(predFact)) { Fact predFact = analysis.getResultFact(logicalPred);