Julian Hyde created CALCITE-3500: ------------------------------------ Summary: Validator infers incorrect type for "IS NOT DISTINCT FROM" Key: CALCITE-3500 URL: https://issues.apache.org/jira/browse/CALCITE-3500 Project: Calcite Issue Type: Bug Reporter: Julian Hyde
Validator infers incorrect type for "IS NOT DISTINCT FROM". I got the following output from a test: {noformat} [INFO] Running org.apache.calcite.test.fuzzer.RexProgramFuzzyTest 2019-11-13 13:30:16,459 [pool-1-thread-3] INFO - Using seed 44 for rex fuzzing 2019-11-13 13:30:19,869 [pool-1-thread-3] INFO - Rex fuzzing results: number of cases tested=2000, failed cases=0, duplicate failures=0, fuzz rate=586 per second Shrinked to 36669 chars, time remaining 19997 Shrinked to 9704 chars, time remaining 19996 Shrinked to 9631 chars, time remaining 19993 Shrinked to 9287 chars, time remaining 19992 Shrinked to 7058 chars, time remaining 19989 Shrinked to 6507 chars, time remaining 19986 Shrinked to 5317 chars, time remaining 19985 Shrinked to 5191 chars, time remaining 19985 Shrinked to 4990 chars, time remaining 19984 Shrinked to 4844 chars, time remaining 19984 Shrinked to 3877 chars, time remaining 19981 Shrinked to 3628 chars, time remaining 19981 Shrinked to 275 chars, time remaining 19980 Shrinked to 258 chars, time remaining 19980 Shrinked to 239 chars, time remaining 19980 Shrinked to 188 chars, time remaining 19979 2019-11-13 13:30:20,616 [pool-1-thread-1] INFO - Rex fuzzing results: number of cases tested=406, failed cases=1, duplicate failures=0, fuzz rate=100 per second 2019-11-13 13:30:20,617 [pool-1-thread-1] INFO - Randomized test identified a potential defect. Feel free to fix that issue java.lang.IllegalStateException: Unable to simplify unknownAsFalse<(IS NOT DISTINCT FROM(>(+(CAST(0):INTEGER), +(0)), true), true) lt(isNotDistinctFrom(gt(unaryPlus(abstractCast(literal(0), tInt(true))), unaryPlus(literal(0))), trueLiteral), trueLiteral) at org.apache.calcite.test.fuzzer.RexProgramFuzzyTest.checkUnknownAs(RexProgramFuzzyTest.java:228) at org.apache.calcite.test.fuzzer.RexProgramFuzzyTest.checkUnknownAsAndShrink(RexProgramFuzzyTest.java:209) at org.apache.calcite.test.fuzzer.RexProgramFuzzyTest.checkUnknownAs(RexProgramFuzzyTest.java:172) at org.apache.calcite.test.fuzzer.RexProgramFuzzyTest.generateRexAndCheckTrueFalse(RexProgramFuzzyTest.java:462) Suppressed: org.apache.calcite.test.fuzzer.RexProgramFuzzyTest$1: seed -104518976443406885 Caused by: java.lang.AssertionError at org.apache.calcite.rex.RexSimplify.validateStrongPolicy(RexSimplify.java:843) at org.apache.calcite.rex.RexSimplify.simplifyIs2(RexSimplify.java:682) at org.apache.calcite.rex.RexSimplify.simplifyIs(RexSimplify.java:653) at org.apache.calcite.rex.RexSimplify.simplify(RexSimplify.java:281) {noformat} I believe that it means that a particular call to {{IS NOT DISTINCT FROM}} has a not-null return and has nullable arguments and this contradict's the Strong.ANY policy. I suspect that the policy for that operator should not be Strong.ANY. Discovered by the {{validateStrongPolicy}} method added in CALCITE-3457. -- This message was sent by Atlassian Jira (v8.3.4#803005)