[PG19]Wrong results from NOT NULL-based expression simplification

Edit
ID 7400
Title [PG19]Wrong results from NOT NULL-based expression simplification
CI (CFBot) Summary
Stats (from CFBot) Patch version: v2, Patch count: 2, First patch: +127−10, All patches: +173−12
Tags Bugfix
Created 2026-10-06 03:28:08
Last modified 2026-10-06 03:28:08 (3 weeks ago)
Latest email 2026-10-17 04:13:37 (1 week ago)
Status
PG20-3 (2026-11-01 – 2026-11-30): Needs review
Target version 19
Authors shihao zhong (zhong950419)
Reviewers Become reviewer
Committer
Links
Emails
[PG19] Wrong results from NOT NULL-based expression simplification
First at 2026-10-06 03:27:23 by shihao zhong <zhong950419 at gmail.com>
Latest at 2026-10-17 04:13:37 by shihao zhong <zhong950419 at gmail.com>
Latest attachment (nocfbot-0001-Shard-relabeling-from-the-partition-key-when-matching.patch) at 2026-10-17 04:13:37 from shihao zhong <zhong950419 at gmail.com>
    Attachment (nocfbot-0001-Shard-relabeling-from-the-partition-key-when-matching.patch) at 2026-10-17 04:13:37 from shihao zhong <zhong950419 at gmail.com> (Patch: No)
    Attachment (v2-0001-Preserve-typmod-when-reducing-CASE-COALESCE-and-N.patch) at 2026-10-16 06:29:45 from Richard Guo <guofenglinux at gmail.com> (Patch: No)
    Attachment (nocfbot-0001-Use-the-simplified-argument-s-typmod-when-reducing-NULLIF.patch) at 2026-10-11 02:54:31 from shihao zhong <zhong950419 at gmail.com> (Patch: No)
    Attachment (v1-0001-Preserve-typmod-when-partially-reducing-CASE-and-.patch) at 2026-10-11 00:35:55 from Richard Guo <guofenglinux at gmail.com> (Patch: No)
    Attachment (minor_change_on_conflict.txt) at 2026-10-09 13:56:16 from jian he <jian.universality at gmail.com> (Patch: Yes)
    Attachment (v1-0001-Fix-ON-CONFLICT-inference-for-simplified-index-ex.patch) at 2026-10-06 03:27:23 from shihao zhong <zhong950419 at gmail.com> (Patch: No)
History
When Who What
2026-10-06 03:28:08 shihao zhong (zhong950419) Attached mail thread CAGRkXqR7VXacmRP41UBaM5u4aseeCH5ECVmQgn_YS=L7=xdhTw@mail.gmail.com
2026-10-06 03:28:08 shihao zhong (zhong950419) Created patch record
Edit