Re: Remove an unnecessary check on semijoin_target_ok() on postgres_fdw.c - Mailing list pgsql-hackers

From Tender Wang
Subject Re: Remove an unnecessary check on semijoin_target_ok() on postgres_fdw.c
Date
Msg-id CAHewXNm4wRx9yF=pJf=t6xscuLJCUhNsGnAEKqRW7KZMyq=NAA@mail.gmail.com
Whole thread Raw
In response to Re: Remove an unnecessary check on semijoin_target_ok() on postgres_fdw.c  (Alexander Pyhalov <a.pyhalov@postgrespro.ru>)
List pgsql-hackers


Alexander Pyhalov <a.pyhalov@postgrespro.ru> 于2024年11月29日周五 00:02写道:
Tender Wang писал(а) 2024-10-09 10:26:
> Hi,
>    When I debug FDW join pushdown codes, I found below codes in
> semijoin_target_ok():
>     if (bms_is_member(var->varno, innerrel->relids) &&
>
>         !bms_is_member(var->varno, outerrel->relids))
>
> As far as I know, if a var belongs to the innerrel of joinrel, it's
> not possible that it
> may belong to the outerrel. So if the bms_is_member(var->varno,
> innerrel->relids)
> returns TRUE, then !bms_is_member(var->varno, outerrel->relids) must
> be TRUE.
> If bms_is_member(var->varno, innerrel->relids) returns FALSE,
> !bms_is_member(var->varno, outerrel->relids) will not execute due to
> short circuit.
>
> So I think we can remove the "!bms_is_member(var->varno,
> outerrel->relids)" from if.
> Any thoughts?

Hi.
Seems good to me.
--
Best regards,
Alexander Pyhalov,
Postgres Professional

Thanks for looking at that. 

--
Thanks,
Tender Wang

pgsql-hackers by date:

Previous
From: Sutou Kouhei
Date:
Subject: Re: Make COPY format extendable: Extract COPY TO format implementations
Next
From: Tom Lane
Date:
Subject: Re: Changing shared_buffers without restart