Avoid uselessly building a duplicate of the original clause in trivial cases
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 23 Nov 2007 19:57:44 +0000 (19:57 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 23 Nov 2007 19:57:44 +0000 (19:57 +0000)
commite074b6e5cc47be05c901b2e2922446b1d15c93c4
treeb52275da8a1773a76025c1067ed602cbcdbe6825
parent936cc1997320470ebd410f77ae111193d50ba813
Avoid uselessly building a duplicate of the original clause in trivial cases
where the EquivalenceClass machinery is unable to deduce anything more from a
simple "var = const" qual clause.  There are probably some more cases where
this could be done, but this seems to take care of most of the added overhead
for simple queries.  Per gripe from Guillaume Smet.

In passing, fix a problem that was exposed by this change:
reconsider_outer_join_clause and friends were passing the wrong relids to
build_implied_join_equality, resulting in RestrictInfos with the wrong
required_relids.  This mistake was masked in typical cases since the bogus
RestrictInfos would never have escaped from the EquivalenceClass machinery,
but I think there might be corner cases involving "broken" ECs where there
would have been a visible failure even without the new optimization.  In any
case the code was certainly not operating as intended.
src/backend/optimizer/path/equivclass.c