BUG #7574: CASE in WHERE condition change result set

The following bug has been logged on the website:

Bug reference: 7574
Logged by: Andrei
Email address: urvancevav(at)gmail(dot)com
PostgreSQL version: 9.2.1
Operating system: 3.2.0-31-generic #50-Ubuntu SMP Fri Sep 7 16:16:45
Description:

in query like this:
select
departure0_.departure_id as departure1_87_,
-- a lot of other fields
-- ...
case
when departure0_1_.departure_id is not null then 1
when departure0_.departure_id is not null then 0
end as clazz_
from
departure departure0_
left outer join
local_inv_departure departure0_1_
on departure0_.departure_id=departure0_1_.departure_id
where
case
when departure0_1_.departure_id is not null then 1
when departure0_.departure_id is not null then 0
end=0

CASE operator in the WHERE condition actually sets clazz_ to 0 instead of
filtering it.