Hi there:
Postgresql 8.0.0, FreeBSD 5.3
test=> select case 0 when 0 then null else 1/0 end as test;
ERROR: division by zero
test=> select case when 0=0 then null else 1/0 end as test;
test
------
(1 row)
test=>
Postgresql 7.4.5, FreeBSD 5.3
test => select case 0 when 0 then null else 1/0 end as test;
test
------
(1 row)
test => select case when 0=0 then null else 1/0 end as test;
test
------
--
Vlad