BUG #8934: value != ANY (uuid[]) AND expr does not work in all cases - Mailing list pgsql-bugs

The following bug has been logged on the website:

Bug reference:      8934
Logged by:          Marcus Overheu
Email address:      marcusoverheu@gmail.com
PostgreSQL version: 9.2.4
Operating system:   ubuntu 12.04.3
Description:

if you have a table ala.
 create table uuidtest( aint integer, auuid uuid);

 insert into uuidtest VALUES (1, 'ab15ea27-8768-4cbe-a1fb-02a2a949a34d'),
(1, '1c9e9ce5-d4d8-4a14-9eaf-929f27e09ba2');

then
 select * from uuidtest where auuid = ANY
(ARRAY['1c9e9ce5-d4d8-4a14-9eaf-929f27e09ba2','ab15ea27-8768-4cbe-a1fb-02a2a949a34d']::uuid[])
and aint = 1;
return 2 result
which would mean that if using not in

select * from uuidtest where auuid != ANY
(ARRAY['1c9e9ce5-d4d8-4a14-9eaf-929f27e09ba2','ab15ea27-8768-4cbe-a1fb-02a2a949a34d']::uuid[])
and aint = 1;

would return zero, but it stills returns 2 results.