[GitHub] [calcite] danny0405 commented on a change in pull request #1611: [CALCITE-3355] Deduce whether CASE and COALESCE may produce NULL values

[GitBox <gi...@apache.org>]

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_r352272462
 
 

 ##########
 File path: core/src/main/java/org/apache/calcite/sql/fun/SqlCaseOperator.java
 ##########
 @@ -230,14 +230,25 @@ 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);
+      // We're sure that the type is not nullable if its kind is IS NOT NULL.
+      if (whenOperands.get(i).getKind() == SqlKind.IS_NOT_NULL && type.isNullable()) {
+        type = typeFactory.createTypeWithNullability(type, false);
 
 Review comment:
   I think we can also give the nullability fix for `IS_NULL`.

----------------------------------------------------------------
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:
users@infra.apache.org


With regards,
Apache Git Services