"bigbro_wq@hotmail.com" <bigbro_wq@hotmail.com> writes:
> I notice that check the condtion again when after invoked process_equivalence and return failed.
> /* EC rejected it, so set left_ec/right_ec the hard way ... */
> if (restrictinfo->mergeopfamilies) /* EC might have changed this */
> Above the codes, check the condition again when invoked process_equivalence failed,
> but it's already under the positive condition "if (restrictinfo->mergeopfamilies)".
> It's necessary ?
Yes. See commit 8ec5429e2: the restrictinfo might now be
completely different from what it was.
(You could have discovered this for yourself by removing
the test and seeing what happened.)
regards, tom lane