boolean isOptimizedFalseAssertion = cst != Constant.NotAConstant && cst.booleanValue() == false;
int tagBitsSave = flowContext.tagBits;
flowContext.tagBits |= FlowContext.HIDE_NULL_COMPARISON_WARNING;
if (!passOnTrue)
flowContext.tagBits |= FlowContext.INSIDE_NEGATION; // this affects syntactic analysis for fields in EqualExpression
FlowInfo conditionFlowInfo = argument.analyseCode(currentScope, flowContext, flowInfo.copy());
flowContext.extendTimeToLiveForNullCheckedField(2); // survive this assert as a MessageSend and as a Statement
flowContext.tagBits = tagBitsSave;
UnconditionalFlowInfo assertWhenPassInfo;
FlowInfo assertWhenFailInfo;
boolean isOptimizedPassing;
boolean isOptimizedFailing;
if (passOnTrue) {
assertWhenPassInfo = conditionFlowInfo.initsWhenTrue().unconditionalInits();
assertWhenFailInfo = conditionFlowInfo.initsWhenFalse();
isOptimizedPassing = isOptimizedTrueAssertion;
isOptimizedFailing = isOptimizedFalseAssertion;
} else {
assertWhenPassInfo = conditionFlowInfo.initsWhenFalse().unconditionalInits();
assertWhenFailInfo = conditionFlowInfo.initsWhenTrue();
isOptimizedPassing = isOptimizedFalseAssertion;
isOptimizedFailing = isOptimizedTrueAssertion;
}
if (isOptimizedPassing) {
assertWhenFailInfo.setReachMode(FlowInfo.UNREACHABLE_OR_DEAD);
}
if (!isOptimizedFailing) {
// if assertion is not failing for sure, only then it makes sense to carry the flow info ahead.
// if the code does reach ahead, it means the assert didn't cause an exit, and so
// the expression inside it shouldn't change the prior flowinfo
// viz. org.eclipse.core.runtime.Assert.isLegal(false && o != null)
// keep the merge from the initial code for the definite assignment
// analysis, tweak the null part to influence nulls downstream
flowInfo = flowInfo.mergedWith(assertWhenFailInfo.nullInfoLessUnconditionalCopy()).
addInitializationsFrom(assertWhenPassInfo.discardInitializationInfo());
}
return flowInfo;
}