Prove a NOT IN's left-hand expressions non-nullable from quals

Title

CI (CFBot)

Needs rebase! Needs rebase since 17 hours. Failing since 17 hours.
Additional links previous successfully applied patch (outdated):

Stats (from CFBot)

Unknown

Tags

Created

2026-06-22 06:45:39

Last modified

2026-08-05 06:31:46 (1 week ago)

Latest email

2026-08-17 03:30:10 (17 hours ago)

Status

PG20-2 (2026-09-01 – 2026-09-30): Needs review

PG20-1 (2026-07-01 – 2026-07-31): Moved to different CF

Target version

Authors

Richard Guo (richardguo)

Reviewers

Ayush Tiwari (aytiwari), Rui Zhao (zhaorui) Become reviewer

Committer

Links

Emails

Prove a NOT IN's left-hand expressions non-nullable from quals: First at 2026-06-19 01:13:25 by Richard Guo <guofenglinux at gmail.com>
Latest at 2026-08-17 03:30:10 by Rui Zhao <zhaorui126 at gmail.com>
Latest attachment (0001-Derive-the-safe-quals-non-nullable-Vars-once-per-joi.patch) at 2026-08-17 03:30:10 from Rui Zhao <zhaorui126 at gmail.com>
    Attachment (0001-Derive-the-safe-quals-non-nullable-Vars-once-per-joi.patch) at 2026-08-17 03:30:10 from Rui Zhao <zhaorui126 at gmail.com> (Patch: No)
    Attachment (v2-0001-Prove-a-NOT-IN-s-left-hand-expressions-non-nullab.patch) at 2026-08-05 01:18:21 from Richard Guo <guofenglinux at gmail.com> (Patch: No)
    Attachment (0001-Don-t-take-a-local-Var-s-non-nullness-as-proof-about.patch) at 2026-07-31 15:16:22 from Rui Zhao <zhaorui126 at gmail.com> (Patch: No)
    Attachment (v1-0001-Prove-a-NOT-IN-s-left-hand-expressions-non-nullab.patch) at 2026-06-19 01:13:25 from Richard Guo <guofenglinux at gmail.com> (Patch: Yes)

History

When	Who	What
2026-08-17 03:39:27	CFbot	Patch needs rebase
2026-08-05 13:17:38	CFbot	Patch does not need rebase anymore
2026-08-05 06:31:46	Ayush Tiwari (aytiwari)	New status: Needs review
2026-08-01 01:55:28	Ayush Tiwari (aytiwari)	New status: Waiting on Author
2026-08-01 00:00:11	CFbot	Moved from CF PG20-1 to CF PG20-2
2026-07-31 15:39:32	CFbot	Patch needs rebase
2026-07-30 14:54:30	Rui Zhao (zhaorui)	Added zhaorui as reviewer
2026-07-28 07:18:00	Ayush Tiwari (aytiwari)	Added aytiwari as reviewer
2026-06-22 06:45:39	Richard Guo (richardguo)	Attached mail thread CAMbWs4_TNUs1jn7q0J-=Esz7ziiFdjDAtW4x2u6tv6H5hhmhDA@mail.gmail.com
2026-06-22 06:45:39	Richard Guo (richardguo)	Created patch record