[CALCITE-6638] Optimization that simplifies expressions such as '1 > a or 1 <= a or a is null' to TRUE is incorrect when it requires casts that are not lossless

• Type: Bug
• Status: Resolved
• Priority: Major
• Resolution: Fixed
• Affects Version/s: 1.38.0
• Fix Version/s: 1.39.0
• Labels: pull-request-available
• Assignee: xiong duan
• Reporter: xiong duan
• Created: 20/Oct/24 13:59
• Updated: 21/Oct/24 01:37
• Resolved: 21/Oct/24 01:37

Description

Before this PR:

// "OR(IS NULL(?0.a), <(1, CAST(?0.a):INTEGER), >=(1, CAST(?0.a):INTEGER))"
// when (?0.a) is TINYINT
// ==> "OR(IS NULL(?0.a), <(1, CAST(?0.a):INTEGER), >=(1, CAST(?0.a):INTEGER))" 

After this PR:

// "OR(IS NULL(?0.a), <(1, CAST(?0.a):INTEGER), >=(1, CAST(?0.a):INTEGER))"
// when (?0.a) is TINYINT
// ==> "TRUE"

Issue Links

• links to: GitHub Pull Request #4011