"Robert Haas" <robertmhaas(at)gmail(dot)com> writes:
> Well, presumably CASE WHEN <expr1> THEN <constant1> WHEN <expr2> THEN
> <constant2> WHEN <expr3> THEN <constant3> ... END = <constantn> could
> be simplified to <exprn>.
Not without breaking the order-of-evaluation guarantees. Consider
case when x=0 then 0 when 1/x = 42 then 1 end = 1
This expression should not suffer a divide-by-zero failure but your
proposal would allow it to do so.
regards, tom lane