mergeBranches(otherInfo, context);  int other= otherInfo.fReturnKind; if (fReturnKind == UNDEFINED || fReturnKind == THROW) { fReturnKind= other; return; } if (fReturnKind == other || other == THROW) return; if (other == UNDEFINED) fReturnKind= UNDEFINED;     fReturnKind= PARTIAL_RETURN;
fReturnKind= RETURN_KIND_CONDITIONAL_TABLE[fReturnKind][otherInfo.fReturnKind]; mergeBranches(otherInfo, context);
	private void mergeExecutionFlowConditional(FlowInfo otherInfo, FlowContext context) {		if (!context.considerExecutionFlow())			return;					mergeBranches(otherInfo, context);					int other= otherInfo.fReturnKind;		if (fReturnKind == UNDEFINED || fReturnKind == THROW) {			fReturnKind= other;			return;		}		if (fReturnKind == other || other == THROW)			return;		if (other == UNDEFINED)			fReturnKind= UNDEFINED;						// The case fReturnKind == VOID_RETURN && other == VALUE_RETURN or vice versa		// can not happen since it would produce a compile error				fReturnKind= PARTIAL_RETURN;	}