[jira] [Created] (CALCITE-4388) RexNode#isAlwaysFalse and isAlwaysTrue should be aligned with RexSimplify#isSafeExpression

["Vladimir Sitnikov (Jira)" <ji...@apache.org>]

Vladimir Sitnikov created CALCITE-4388:
------------------------------------------

             Summary: RexNode#isAlwaysFalse and isAlwaysTrue should be aligned with RexSimplify#isSafeExpression
                 Key: CALCITE-4388
                 URL: https://issues.apache.org/jira/browse/CALCITE-4388
             Project: Calcite
          Issue Type: Bug
          Components: core
    Affects Versions: 1.26.0
            Reporter: Vladimir Sitnikov


{{(1/0) IS NULL}} should not result in {{isAlwaysFalse}}.
Currently, {{RexSimplify}} knows that 1/0 must not be simplified, however, {{isAlwaysTrue}} and {{isAlwaysFalse}} are still wrong.

That might result in wrong data, especially when the client code calls {{isAlways...}}

[~kgyrtkirk], I see you contributed a lot to simplification and {{SafeRexVisitor}}. Are you interested in improving {{isAlways...}}?



--
This message was sent by Atlassian Jira
(v8.3.4#803005)