[CALCITE-2527] Simplify (c IS NULL) OR (c IS ...) might result in AssertionError: result mismatch

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.17.0
• Fix Version/s: 1.18.0
• Component/s: core
• Labels: newbie
• Assignee: Julian Hyde
• Reporter: Vladimir Sitnikov
• Created: 04/Sep/18 08:22
• Updated: 23/Dec/18 00:12
• Resolved: 20/Sep/18 12:14

Description

    checkSimplify2(
        //OR(<=(?0.int0, null), IS NULL(?0.bool0), IS NOT FALSE(?0.bool0))
        or(le(vInt(), nullInt), isNull(vBool()), isNotFalse(vBool())),
        "...", "...");

java.lang.AssertionError: result mismatch: when applied to {?0.int0=-1, ?0.bool0=true}, OR(<=(?0.int0, null), IS NULL(?0.bool0), IS NOT FALSE(?0.bool0)) yielded true, and OR(<=(?0.int0, null), IS NULL(?0.bool0)) yielded NULL

	at org.apache.calcite.rex.RexSimplify.verify(RexSimplify.java:1201)
	at org.apache.calcite.rex.RexSimplify.simplify(RexSimplify.java:175)
	at org.apache.calcite.test.RexProgramTest.checkSimplify2(RexProgramTest.java:150)

Issue Links

• links to: PR 846