public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if ((this.initsOnReturn.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } else { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } } }
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if (this.initsOnReturn == FlowInfo.DEAD_END) { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } else { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } } }
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if (this.initsOnReturn == FlowInfo.DEAD_END) { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } else { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } } }
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if ((this.initsOnReturn.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } else { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } } }
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if (this.initsOnReturn == FlowInfo.DEAD_END) { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } else { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } } }
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if ((this.initsOnReturn.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } else { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } } }
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) { if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { if ((this.initsOnReturn.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo); } else { this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy(); } } }
public UnconditionalFlowInfo unconditionalInitsWithoutSideEffect() { // cannot do better here than unconditionalCopy - but still a different // operation for UnconditionalFlowInfo return this.initsWhenTrue.unconditionalCopy(). mergedWith(this.initsWhenFalse.unconditionalInits()); }
public UnconditionalFlowInfo unconditionalFieldLessCopy() { return this.initsWhenTrue.unconditionalFieldLessCopy(). mergedWith(this.initsWhenFalse.unconditionalFieldLessCopy()); // should never happen, hence suboptimal does not hurt }
public void recordBreakFrom(FlowInfo flowInfo) { if ((this.initsOnBreak.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { this.initsOnBreak = this.initsOnBreak.mergedWith(flowInfo.unconditionalInits()); } else { this.initsOnBreak = flowInfo.unconditionalCopy(); } } }
public UnconditionalFlowInfo unconditionalInitsWithoutSideEffect() { // cannot do better here than unconditionalCopy - but still a different // operation for UnconditionalFlowInfo return this.initsWhenTrue.unconditionalCopy(). mergedWith(this.initsWhenFalse.unconditionalInits()); }
public UnconditionalFlowInfo unconditionalInitsWithoutSideEffect() { // cannot do better here than unconditionalCopy - but still a different // operation for UnconditionalFlowInfo return this.initsWhenTrue.unconditionalCopy(). mergedWith(this.initsWhenFalse.unconditionalInits()); }
public UnconditionalFlowInfo unconditionalFieldLessCopy() { return this.initsWhenTrue.unconditionalFieldLessCopy(). mergedWith(this.initsWhenFalse.unconditionalFieldLessCopy()); // should never happen, hence suboptimal does not hurt }
public void recordBreakFrom(FlowInfo flowInfo) { if ((this.initsOnBreak.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) { this.initsOnBreak = this.initsOnBreak.mergedWith(flowInfo.unconditionalInits()); } else { this.initsOnBreak = flowInfo.unconditionalCopy(); } } }
public UnconditionalFlowInfo unconditionalFieldLessCopy() { return this.initsWhenTrue.unconditionalFieldLessCopy(). mergedWith(this.initsWhenFalse.unconditionalFieldLessCopy()); // should never happen, hence suboptimal does not hurt }
public void recordBreakFrom(FlowInfo flowInfo) { if ((this.initsOnBreak.tagBits & FlowInfo.UNREACHABLE) == 0) { this.initsOnBreak = this.initsOnBreak.mergedWith(flowInfo.unconditionalInits()); } else { this.initsOnBreak = flowInfo.unconditionalCopy(); } } }
public UnconditionalFlowInfo unconditionalFieldLessCopy() { return this.initsWhenTrue.unconditionalFieldLessCopy(). mergedWith(this.initsWhenFalse.unconditionalFieldLessCopy()); // should never happen, hence suboptimal does not hurt }
public UnconditionalFlowInfo unconditionalFieldLessCopy() { return this.initsWhenTrue.unconditionalFieldLessCopy(). mergedWith(this.initsWhenFalse.unconditionalFieldLessCopy()); // should never happen, hence suboptimal does not hurt }
public UnconditionalFlowInfo unconditionalInitsWithoutSideEffect() { // cannot do better here than unconditionalCopy - but still a different // operation for UnconditionalFlowInfo return this.initsWhenTrue.unconditionalCopy(). mergedWith(this.initsWhenFalse.unconditionalInits()); }
public UnconditionalFlowInfo unconditionalFieldLessCopy() { return this.initsWhenTrue.unconditionalFieldLessCopy(). mergedWith(this.initsWhenFalse.unconditionalFieldLessCopy()); // should never happen, hence suboptimal does not hurt }