Add some defenses against constant-FALSE outer join conditions. Since
authorTom Lane <tgl@sss.pgh.pa.us>
Sun, 17 Aug 2008 19:40:11 +0000 (19:40 +0000)
committerTom Lane <tgl@sss.pgh.pa.us>
Sun, 17 Aug 2008 19:40:11 +0000 (19:40 +0000)
commit719012e013f10f72938520c46889c52df40fa329
treea87f2a1051080d6c56628a6956d508b00609afcc
parentf2689e421d7ca0a103e33f5b92bb0676c80e1d04
Add some defenses against constant-FALSE outer join conditions.  Since
eval_const_expressions will generally throw away anything that's ANDed with
constant FALSE, what we're left with given an example like

select * from tenk1 a where (unique1,0) in (select unique2,1 from tenk1 b);

is a cartesian product computation, which is really not acceptable.
This is a regression in CVS HEAD compared to previous releases, which were
able to notice the impossible join condition in this case --- though not in
some related cases that are also improved by this patch, such as

select * from tenk1 a left join tenk1 b on (a.unique1=b.unique2 and 0=1);

Fix by skipping evaluation of the appropriate side of the outer join in
cases where it's demonstrably unnecessary.
src/backend/optimizer/path/joinrels.c