UnconditionalFlowInfo falseInfoWhenFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueInfoWhenTrue.setReachMode(FlowInfo.UNREACHABLE); falseInfoWhenTrue.setReachMode(FlowInfo.UNREACHABLE); trueInfoWhenFalse.setReachMode(FlowInfo.UNREACHABLE); falseInfoWhenFalse.setReachMode(FlowInfo.UNREACHABLE);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
UnconditionalFlowInfo falseFlowTowardsFalse = falseFlowInfo.initsWhenFalse().unconditionalInits(); if (isValueIfTrueOptimizedFalse) { trueFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsTrue.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); trueFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); falseFlowTowardsFalse.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
if (initsWhenFalse != FlowInfo.DEAD_END) { mergedInfo.setReachMode(flowInfo.reachMode()); if (initsWhenTrue != FlowInfo.DEAD_END) { mergedInfo.setReachMode(flowInfo.reachMode());
staticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); nonStaticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
staticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); nonStaticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
staticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE); nonStaticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE);
staticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); nonStaticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
staticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD); nonStaticFieldInfo = FlowInfo.initial(this.maxFieldCount).setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
actionInfo.setReachMode(previousMode);
actionInfo.setReachMode(previousMode);
actionInfo.setReachMode(previousMode);
actionInfo.setReachMode(previousMode);
actionInfo.setReachMode(previousMode);
actionInfo.setReachMode(previousMode);