BUG #11734: The "<<=" operator on "inet" values does not return the expected result. - Mailing list pgsql-bugs

From michel@albert.lu
Subject BUG #11734: The "<<=" operator on "inet" values does not return the expected result.
Date
Msg-id 20141021114040.2674.45532@wrigleys.postgresql.org
Whole thread Raw
Responses Re: BUG #11734: The "<<=" operator on "inet" values does not return the expected result.  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-bugs
The following bug has been logged on the website:

Bug reference:      11734
Logged by:          Michel Albert
Email address:      michel@albert.lu
PostgreSQL version: 9.1.14
Operating system:   Ubuntu 12.04.5 LTS
Description:

Just now I ran into a peculiarity with the '<<=' operator. I have a table
which contains both "network" and "host" entries. Their addresses are stored
as type "inet".

Sidenote:
    I am aware that it is conceptually bad to have both hosts and networks
in the same table, and it is planned to be changed in the future. But for
now, that's how it is.

The best way to explain this is with a quick example script:

    CREATE TABLE inettest (
        value inet UNIQUE
    );

    INSERT INTO inettest VALUES
        ('1.2.1.0/24'),
        ('1.2.1.1/24'),
        ('1.2.1.2/24'),
        ('1.2.2.0/24'),
        ('1.2.3.0/24'),
        ('1.2.3.1/24'),
        ('1.2.3.2/24'),
        ('1.2.3.3/24'),
        ('1.2.3.4/24')
        ;

    SELECT * FROM inettest WHERE value <<= '1.2.3.1/24'::inet;


I would expect that the above select would only return *one* row. The one
with the host '1.2.3.1/24'. Instead, it returns *all* rows of the
'1.2.3.0/24' network.

I am not sure if this result is correct (by design), or if it is indeed a
bug. In any case, I have solved the issue on my end in the client code, but
thought I would let you know nonetheless :)

pgsql-bugs by date:

Previous
From: pbailis@cs.berkeley.edu
Date:
Subject: BUG #11732: Non-serializable outcomes under serializable isolation
Next
From: Peter Bailis
Date:
Subject: Re: BUG #11732: Non-serializable outcomes under serializable isolation