danny0405 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_r352413652
##########
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:
How about if `name` is not nullable and we have a case-branch: `WHEN name is
null then name` ? I think this operand should be coerced to nullable(although
it is always false).
----------------------------------------------------------------
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
