chunweilei commented on a change in pull request #1611: [CALCITE-3355] Deduce
whether CASE and COALESCE may produce NULL values
URL: https://github.com/apache/calcite/pull/1611#discussion_r352443939
##########
File path: core/src/main/java/org/apache/calcite/sql/fun/SqlCaseOperator.java
##########
@@ -230,14 +232,29 @@ private RelDataType inferTypeFromValidator(
SqlNodeList thenList = caseCall.getThenOperands();
ArrayList<SqlNode> nullList = new ArrayList<>();
List<RelDataType> argTypes = new ArrayList<>();
- for (SqlNode node : thenList) {
- argTypes.add(
- callBinding.getValidator().deriveType(
- callBinding.getScope(), node));
+
+ final SqlNodeList whenOperands = caseCall.getWhenOperands();
+ final RelDataTypeFactory typeFactory = callBinding.getTypeFactory();
+
+ final int size = thenList.getList().size();
+ for (int i = 0; i < size; i++) {
+ SqlNode node = thenList.get(i);
+ RelDataType type = callBinding.getValidator().deriveType(
+ callBinding.getScope(), node);
+ SqlNode operand = whenOperands.get(i);
+ if (operand.getKind() == SqlKind.IS_NOT_NULL && type.isNullable()) {
+ SqlBasicCall call = (SqlBasicCall) operand;
+ if (call.getOperandList().get(0).equalsDeep(node, Litmus.IGNORE)) {
+ // We're sure that the type is not nullable if the kind is IS NOT
NULL.
+ type = typeFactory.createTypeWithNullability(type, false);
+ }
+ }
Review comment:
Thanks for your explanation. But in such a case, it seems meaningless to
coerce the type to nullable since it never happens. Furthermore, it might also
introduce degradation.
So I prefer to not coerce it.
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
For queries about this service, please contact Infrastructure at:
[email protected]
With regards,
Apache Git Services
