Re: [PATCH] SAOP nullability analysis below NOT/BooleanTest

Hi,

On Tue, 28 Jul 2026 at 22:33, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:

> Ayush Tiwari <ayushtiwari(dot)slg01(at)gmail(dot)com> writes:
> > While looking at the recent work around converting NOT IN sublinks to
> > anti-joins, I came across what looks like a possible issue in the
> > ScalarArrayOpExpr handling in find_nonnullable_rels() and
> > find_nonnullable_vars().
>
> This is an odd one. Why did I add the falseOK argument to
> is_strict_saop and then not use it in all three callers? Sadly, I don't
> recall what I was thinking twenty years ago. But you're clearly right
> that all of them should be accounting for this effect.
>
> I'm inclined to merge this patch with your other SAOP correction,
> since they're so closely related.
>

Sounds good to me, thanks for looking in!

Regards,
Ayush