"[email protected]" <[email protected]> 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
