-- -- INET -- -- prepare the table... DROP TABLE INET_TBL; ERROR: table "inet_tbl" does not exist CREATE TABLE INET_TBL (c cidr, i inet); INSERT INTO INET_TBL (c, i) VALUES ('192.168.1', '192.168.1.226/24'); INSERT INTO INET_TBL (c, i) VALUES ('192.168.1.0/26', '192.168.1.226'); INSERT INTO INET_TBL (c, i) VALUES ('192.168.1', '192.168.1.0/24'); INSERT INTO INET_TBL (c, i) VALUES ('192.168.1', '192.168.1.0/25'); INSERT INTO INET_TBL (c, i) VALUES ('192.168.1', '192.168.1.255/24'); INSERT INTO INET_TBL (c, i) VALUES ('192.168.1', '192.168.1.255/25'); INSERT INTO INET_TBL (c, i) VALUES ('10', '10.1.2.3/8'); INSERT INTO INET_TBL (c, i) VALUES ('10.0.0.0', '10.1.2.3/8'); INSERT INTO INET_TBL (c, i) VALUES ('10.1.2.3', '10.1.2.3/32'); INSERT INTO INET_TBL (c, i) VALUES ('10.1.2', '10.1.2.3/24'); INSERT INTO INET_TBL (c, i) VALUES ('10.1', '10.1.2.3/16'); INSERT INTO INET_TBL (c, i) VALUES ('10', '10.1.2.3/8'); INSERT INTO INET_TBL (c, i) VALUES ('10', '11.1.2.3/8'); INSERT INTO INET_TBL (c, i) VALUES ('10', '9.1.2.3/8'); INSERT INTO INET_TBL (c, i) VALUES ('10:23::f1', '10:23::f1/64'); INSERT INTO INET_TBL (c, i) VALUES ('10:23::8000/113', '10:23::ffff'); INSERT INTO INET_TBL (c, i) VALUES ('::ffff:1.2.3.4', '::4.3.2.1/24'); -- check that CIDR rejects invalid input: INSERT INTO INET_TBL (c, i) VALUES ('192.168.1.2/30', '192.168.1.226'); ERROR: invalid cidr value: "192.168.1.2/30" DETAIL: Value has bits set to right of mask. INSERT INTO INET_TBL (c, i) VALUES ('1234::1234::1234', '::1.2.3.4'); ERROR: invalid input syntax for type cidr: "1234::1234::1234" -- check that CIDR rejects invalid input when converting from text: INSERT INTO INET_TBL (c, i) VALUES (cidr('192.168.1.2/30'), '192.168.1.226'); ERROR: invalid cidr value: "192.168.1.2/30" DETAIL: Value has bits set to right of mask. INSERT INTO INET_TBL (c, i) VALUES (cidr('ffff:ffff:ffff:ffff::/24'), '::192.168.1.226'); ERROR: invalid cidr value: "ffff:ffff:ffff:ffff::/24" DETAIL: Value has bits set to right of mask. SELECT '' AS ten, c AS cidr, i AS inet FROM INET_TBL; ten | cidr | inet -----+--------------------+------------------ | 192.168.1.0/24 | 192.168.1.226/24 | 192.168.1.0/26 | 192.168.1.226 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/25 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.255/25 | 10.0.0.0/8 | 10.1.2.3/8 | 10.0.0.0/32 | 10.1.2.3/8 | 10.1.2.3/32 | 10.1.2.3 | 10.1.2.0/24 | 10.1.2.3/24 | 10.1.0.0/16 | 10.1.2.3/16 | 10.0.0.0/8 | 10.1.2.3/8 | 10.0.0.0/8 | 11.1.2.3/8 | 10.0.0.0/8 | 9.1.2.3/8 | 10:23::f1/128 | 10:23::f1/64 | 10:23::8000/113 | 10:23::ffff | ::ffff:1.2.3.4/128 | ::4.3.2.1/24 (17 rows) -- now test some support functions SELECT '' AS ten, i AS inet, host(i), text(i), family(i) FROM INET_TBL; ten | inet | host | text | family -----+------------------+---------------+------------------+-------- | 192.168.1.226/24 | 192.168.1.226 | 192.168.1.226/24 | 4 | 192.168.1.226 | 192.168.1.226 | 192.168.1.226/32 | 4 | 192.168.1.0/24 | 192.168.1.0 | 192.168.1.0/24 | 4 | 192.168.1.0/25 | 192.168.1.0 | 192.168.1.0/25 | 4 | 192.168.1.255/24 | 192.168.1.255 | 192.168.1.255/24 | 4 | 192.168.1.255/25 | 192.168.1.255 | 192.168.1.255/25 | 4 | 10.1.2.3/8 | 10.1.2.3 | 10.1.2.3/8 | 4 | 10.1.2.3/8 | 10.1.2.3 | 10.1.2.3/8 | 4 | 10.1.2.3 | 10.1.2.3 | 10.1.2.3/32 | 4 | 10.1.2.3/24 | 10.1.2.3 | 10.1.2.3/24 | 4 | 10.1.2.3/16 | 10.1.2.3 | 10.1.2.3/16 | 4 | 10.1.2.3/8 | 10.1.2.3 | 10.1.2.3/8 | 4 | 11.1.2.3/8 | 11.1.2.3 | 11.1.2.3/8 | 4 | 9.1.2.3/8 | 9.1.2.3 | 9.1.2.3/8 | 4 | 10:23::f1/64 | 10:23::f1 | 10:23::f1/64 | 6 | 10:23::ffff | 10:23::ffff | 10:23::ffff/128 | 6 | ::4.3.2.1/24 | ::4.3.2.1 | ::4.3.2.1/24 | 6 (17 rows) SELECT '' AS ten, c AS cidr, broadcast(c), i AS inet, broadcast(i) FROM INET_TBL; ten | cidr | broadcast | inet | broadcast -----+--------------------+------------------+------------------+--------------------------------------- | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.226/24 | 192.168.1.255/24 | 192.168.1.0/26 | 192.168.1.63/26 | 192.168.1.226 | 192.168.1.226 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.0/25 | 192.168.1.127/25 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.255/24 | 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.255/25 | 192.168.1.255/25 | 10.0.0.0/8 | 10.255.255.255/8 | 10.1.2.3/8 | 10.255.255.255/8 | 10.0.0.0/32 | 10.0.0.0 | 10.1.2.3/8 | 10.255.255.255/8 | 10.1.2.3/32 | 10.1.2.3 | 10.1.2.3 | 10.1.2.3 | 10.1.2.0/24 | 10.1.2.255/24 | 10.1.2.3/24 | 10.1.2.255/24 | 10.1.0.0/16 | 10.1.255.255/16 | 10.1.2.3/16 | 10.1.255.255/16 | 10.0.0.0/8 | 10.255.255.255/8 | 10.1.2.3/8 | 10.255.255.255/8 | 10.0.0.0/8 | 10.255.255.255/8 | 11.1.2.3/8 | 11.255.255.255/8 | 10.0.0.0/8 | 10.255.255.255/8 | 9.1.2.3/8 | 9.255.255.255/8 | 10:23::f1/128 | 10:23::f1 | 10:23::f1/64 | 10:23::ffff:ffff:ffff:ffff/64 | 10:23::8000/113 | 10:23::ffff/113 | 10:23::ffff | 10:23::ffff | ::ffff:1.2.3.4/128 | ::ffff:1.2.3.4 | ::4.3.2.1/24 | 0:ff:ffff:ffff:ffff:ffff:ffff:ffff/24 (17 rows) SELECT '' AS ten, c AS cidr, network(c) AS "network(cidr)", i AS inet, network(i) AS "network(inet)" FROM INET_TBL; ten | cidr | network(cidr) | inet | network(inet) -----+--------------------+--------------------+------------------+------------------ | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.226/24 | 192.168.1.0/24 | 192.168.1.0/26 | 192.168.1.0/26 | 192.168.1.226 | 192.168.1.226/32 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/25 | 192.168.1.0/25 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.255/25 | 192.168.1.128/25 | 10.0.0.0/8 | 10.0.0.0/8 | 10.1.2.3/8 | 10.0.0.0/8 | 10.0.0.0/32 | 10.0.0.0/32 | 10.1.2.3/8 | 10.0.0.0/8 | 10.1.2.3/32 | 10.1.2.3/32 | 10.1.2.3 | 10.1.2.3/32 | 10.1.2.0/24 | 10.1.2.0/24 | 10.1.2.3/24 | 10.1.2.0/24 | 10.1.0.0/16 | 10.1.0.0/16 | 10.1.2.3/16 | 10.1.0.0/16 | 10.0.0.0/8 | 10.0.0.0/8 | 10.1.2.3/8 | 10.0.0.0/8 | 10.0.0.0/8 | 10.0.0.0/8 | 11.1.2.3/8 | 11.0.0.0/8 | 10.0.0.0/8 | 10.0.0.0/8 | 9.1.2.3/8 | 9.0.0.0/8 | 10:23::f1/128 | 10:23::f1/128 | 10:23::f1/64 | 10:23::/64 | 10:23::8000/113 | 10:23::8000/113 | 10:23::ffff | 10:23::ffff/128 | ::ffff:1.2.3.4/128 | ::ffff:1.2.3.4/128 | ::4.3.2.1/24 | ::/24 (17 rows) SELECT '' AS ten, c AS cidr, masklen(c) AS "masklen(cidr)", i AS inet, masklen(i) AS "masklen(inet)" FROM INET_TBL; ten | cidr | masklen(cidr) | inet | masklen(inet) -----+--------------------+---------------+------------------+--------------- | 192.168.1.0/24 | 24 | 192.168.1.226/24 | 24 | 192.168.1.0/26 | 26 | 192.168.1.226 | 32 | 192.168.1.0/24 | 24 | 192.168.1.0/24 | 24 | 192.168.1.0/24 | 24 | 192.168.1.0/25 | 25 | 192.168.1.0/24 | 24 | 192.168.1.255/24 | 24 | 192.168.1.0/24 | 24 | 192.168.1.255/25 | 25 | 10.0.0.0/8 | 8 | 10.1.2.3/8 | 8 | 10.0.0.0/32 | 32 | 10.1.2.3/8 | 8 | 10.1.2.3/32 | 32 | 10.1.2.3 | 32 | 10.1.2.0/24 | 24 | 10.1.2.3/24 | 24 | 10.1.0.0/16 | 16 | 10.1.2.3/16 | 16 | 10.0.0.0/8 | 8 | 10.1.2.3/8 | 8 | 10.0.0.0/8 | 8 | 11.1.2.3/8 | 8 | 10.0.0.0/8 | 8 | 9.1.2.3/8 | 8 | 10:23::f1/128 | 128 | 10:23::f1/64 | 64 | 10:23::8000/113 | 113 | 10:23::ffff | 128 | ::ffff:1.2.3.4/128 | 128 | ::4.3.2.1/24 | 24 (17 rows) SELECT '' AS four, c AS cidr, masklen(c) AS "masklen(cidr)", i AS inet, masklen(i) AS "masklen(inet)" FROM INET_TBL WHERE masklen(c) <= 8; four | cidr | masklen(cidr) | inet | masklen(inet) ------+------------+---------------+------------+--------------- | 10.0.0.0/8 | 8 | 10.1.2.3/8 | 8 | 10.0.0.0/8 | 8 | 10.1.2.3/8 | 8 | 10.0.0.0/8 | 8 | 11.1.2.3/8 | 8 | 10.0.0.0/8 | 8 | 9.1.2.3/8 | 8 (4 rows) SELECT '' AS six, c AS cidr, i AS inet FROM INET_TBL WHERE c = i; six | cidr | inet -----+----------------+---------------- | 192.168.1.0/24 | 192.168.1.0/24 | 10.1.2.3/32 | 10.1.2.3 (2 rows) SELECT '' AS ten, i, c, i < c AS lt, i <= c AS le, i = c AS eq, i >= c AS ge, i > c AS gt, i <> c AS ne, i << c AS sb, i <<= c AS sbe, i >> c AS sup, i >>= c AS spe FROM INET_TBL; ten | i | c | lt | le | eq | ge | gt | ne | sb | sbe | sup | spe -----+------------------+--------------------+----+----+----+----+----+----+----+-----+-----+----- | 192.168.1.226/24 | 192.168.1.0/24 | f | f | f | t | t | t | f | t | f | t | 192.168.1.226 | 192.168.1.0/26 | f | f | f | t | t | t | f | f | f | f | 192.168.1.0/24 | 192.168.1.0/24 | f | t | t | t | f | f | f | t | f | t | 192.168.1.0/25 | 192.168.1.0/24 | f | f | f | t | t | t | t | t | f | f | 192.168.1.255/24 | 192.168.1.0/24 | f | f | f | t | t | t | f | t | f | t | 192.168.1.255/25 | 192.168.1.0/24 | f | f | f | t | t | t | t | t | f | f | 10.1.2.3/8 | 10.0.0.0/8 | f | f | f | t | t | t | f | t | f | t | 10.1.2.3/8 | 10.0.0.0/32 | t | t | f | f | f | t | f | f | t | t | 10.1.2.3 | 10.1.2.3/32 | f | t | t | t | f | f | f | t | f | t | 10.1.2.3/24 | 10.1.2.0/24 | f | f | f | t | t | t | f | t | f | t | 10.1.2.3/16 | 10.1.0.0/16 | f | f | f | t | t | t | f | t | f | t | 10.1.2.3/8 | 10.0.0.0/8 | f | f | f | t | t | t | f | t | f | t | 11.1.2.3/8 | 10.0.0.0/8 | f | f | f | t | t | t | f | f | f | f | 9.1.2.3/8 | 10.0.0.0/8 | t | t | f | f | f | t | f | f | f | f | 10:23::f1/64 | 10:23::f1/128 | t | t | f | f | f | t | f | f | t | t | 10:23::ffff | 10:23::8000/113 | f | f | f | t | t | t | t | t | f | f | ::4.3.2.1/24 | ::ffff:1.2.3.4/128 | t | t | f | f | f | t | f | f | t | t (17 rows) -- check the conversion to/from text and set_netmask SELECT '' AS ten, set_masklen(inet(text(i)), 24) FROM INET_TBL; ten | set_masklen -----+------------------ | 192.168.1.226/24 | 192.168.1.226/24 | 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.255/24 | 192.168.1.255/24 | 10.1.2.3/24 | 10.1.2.3/24 | 10.1.2.3/24 | 10.1.2.3/24 | 10.1.2.3/24 | 10.1.2.3/24 | 11.1.2.3/24 | 9.1.2.3/24 | 10:23::f1/24 | 10:23::ffff/24 | ::4.3.2.1/24 (17 rows) -- check that index works correctly CREATE INDEX inet_idx1 ON inet_tbl(i); SET enable_seqscan TO off; SELECT * FROM inet_tbl WHERE i<<'192.168.1.0/24'::cidr; c | i ----------------+------------------ 192.168.1.0/24 | 192.168.1.0/25 192.168.1.0/24 | 192.168.1.255/25 192.168.1.0/26 | 192.168.1.226 (3 rows) SELECT * FROM inet_tbl WHERE i<<='192.168.1.0/24'::cidr; c | i ----------------+------------------ 192.168.1.0/24 | 192.168.1.0/24 192.168.1.0/24 | 192.168.1.226/24 192.168.1.0/24 | 192.168.1.255/24 192.168.1.0/24 | 192.168.1.0/25 192.168.1.0/24 | 192.168.1.255/25 192.168.1.0/26 | 192.168.1.226 (6 rows) SET enable_seqscan TO on; DROP INDEX inet_idx1; -- simple tests of inet boolean and arithmetic operators SELECT i, ~i AS "~i" FROM inet_tbl; i | ~i ------------------+-------------------------------------------- 192.168.1.226/24 | 63.87.254.29/24 192.168.1.226 | 63.87.254.29 192.168.1.0/24 | 63.87.254.255/24 192.168.1.0/25 | 63.87.254.255/25 192.168.1.255/24 | 63.87.254.0/24 192.168.1.255/25 | 63.87.254.0/25 10.1.2.3/8 | 245.254.253.252/8 10.1.2.3/8 | 245.254.253.252/8 10.1.2.3 | 245.254.253.252 10.1.2.3/24 | 245.254.253.252/24 10.1.2.3/16 | 245.254.253.252/16 10.1.2.3/8 | 245.254.253.252/8 11.1.2.3/8 | 244.254.253.252/8 9.1.2.3/8 | 246.254.253.252/8 10:23::f1/64 | ffef:ffdc:ffff:ffff:ffff:ffff:ffff:ff0e/64 10:23::ffff | ffef:ffdc:ffff:ffff:ffff:ffff:ffff:0 ::4.3.2.1/24 | ffff:ffff:ffff:ffff:ffff:ffff:fbfc:fdfe/24 (17 rows) SELECT i, c, i & c AS "and" FROM inet_tbl; i | c | and ------------------+--------------------+---------------- 192.168.1.226/24 | 192.168.1.0/24 | 192.168.1.0/24 192.168.1.226 | 192.168.1.0/26 | 192.168.1.0 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 192.168.1.0/25 | 192.168.1.0/24 | 192.168.1.0/25 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.0/24 192.168.1.255/25 | 192.168.1.0/24 | 192.168.1.0/25 10.1.2.3/8 | 10.0.0.0/8 | 10.0.0.0/8 10.1.2.3/8 | 10.0.0.0/32 | 10.0.0.0 10.1.2.3 | 10.1.2.3/32 | 10.1.2.3 10.1.2.3/24 | 10.1.2.0/24 | 10.1.2.0/24 10.1.2.3/16 | 10.1.0.0/16 | 10.1.0.0/16 10.1.2.3/8 | 10.0.0.0/8 | 10.0.0.0/8 11.1.2.3/8 | 10.0.0.0/8 | 10.0.0.0/8 9.1.2.3/8 | 10.0.0.0/8 | 8.0.0.0/8 10:23::f1/64 | 10:23::f1/128 | 10:23::f1 10:23::ffff | 10:23::8000/113 | 10:23::8000 ::4.3.2.1/24 | ::ffff:1.2.3.4/128 | ::0.2.2.0 (17 rows) SELECT i, c, i | c AS "or" FROM inet_tbl; i | c | or ------------------+--------------------+------------------ 192.168.1.226/24 | 192.168.1.0/24 | 192.168.1.226/24 192.168.1.226 | 192.168.1.0/26 | 192.168.1.226 192.168.1.0/24 | 192.168.1.0/24 | 192.168.1.0/24 192.168.1.0/25 | 192.168.1.0/24 | 192.168.1.0/25 192.168.1.255/24 | 192.168.1.0/24 | 192.168.1.255/24 192.168.1.255/25 | 192.168.1.0/24 | 192.168.1.255/25 10.1.2.3/8 | 10.0.0.0/8 | 10.1.2.3/8 10.1.2.3/8 | 10.0.0.0/32 | 10.1.2.3 10.1.2.3 | 10.1.2.3/32 | 10.1.2.3 10.1.2.3/24 | 10.1.2.0/24 | 10.1.2.3/24 10.1.2.3/16 | 10.1.0.0/16 | 10.1.2.3/16 10.1.2.3/8 | 10.0.0.0/8 | 10.1.2.3/8 11.1.2.3/8 | 10.0.0.0/8 | 11.1.2.3/8 9.1.2.3/8 | 10.0.0.0/8 | 11.1.2.3/8 10:23::f1/64 | 10:23::f1/128 | 10:23::f1 10:23::ffff | 10:23::8000/113 | 10:23::ffff ::4.3.2.1/24 | ::ffff:1.2.3.4/128 | ::ffff:5.3.3.5 (17 rows) SELECT i, i + 500 AS "i+500" FROM inet_tbl; i | i+500 ------------------+------------------ 192.168.1.226/24 | 192.168.3.214/24 192.168.1.226 | 192.168.3.214 192.168.1.0/24 | 192.168.2.244/24 192.168.1.0/25 | 192.168.2.244/25 192.168.1.255/24 | 192.168.3.243/24 192.168.1.255/25 | 192.168.3.243/25 10.1.2.3/8 | 10.1.3.247/8 10.1.2.3/8 | 10.1.3.247/8 10.1.2.3 | 10.1.3.247 10.1.2.3/24 | 10.1.3.247/24 10.1.2.3/16 | 10.1.3.247/16 10.1.2.3/8 | 10.1.3.247/8 11.1.2.3/8 | 11.1.3.247/8 9.1.2.3/8 | 9.1.3.247/8 10:23::f1/64 | 10:23::2e5/64 10:23::ffff | 10:23::1:1f3 ::4.3.2.1/24 | ::4.3.3.245/24 (17 rows) SELECT i, i - 500 AS "i-500" FROM inet_tbl; i | i-500 ------------------+---------------------------------------- 192.168.1.226/24 | 192.167.255.238/24 192.168.1.226 | 192.167.255.238 192.168.1.0/24 | 192.167.255.12/24 192.168.1.0/25 | 192.167.255.12/25 192.168.1.255/24 | 192.168.0.11/24 192.168.1.255/25 | 192.168.0.11/25 10.1.2.3/8 | 10.1.0.15/8 10.1.2.3/8 | 10.1.0.15/8 10.1.2.3 | 10.1.0.15 10.1.2.3/24 | 10.1.0.15/24 10.1.2.3/16 | 10.1.0.15/16 10.1.2.3/8 | 10.1.0.15/8 11.1.2.3/8 | 11.1.0.15/8 9.1.2.3/8 | 9.1.0.15/8 10:23::f1/64 | 10:22:ffff:ffff:ffff:ffff:ffff:fefd/64 10:23::ffff | 10:23::fe0b ::4.3.2.1/24 | ::4.3.0.13/24 (17 rows) SELECT i, c, i - c AS "minus" FROM inet_tbl; i | c | minus ------------------+--------------------+------------------ 192.168.1.226/24 | 192.168.1.0/24 | 226 192.168.1.226 | 192.168.1.0/26 | 226 192.168.1.0/24 | 192.168.1.0/24 | 0 192.168.1.0/25 | 192.168.1.0/24 | 0 192.168.1.255/24 | 192.168.1.0/24 | 255 192.168.1.255/25 | 192.168.1.0/24 | 255 10.1.2.3/8 | 10.0.0.0/8 | 66051 10.1.2.3/8 | 10.0.0.0/32 | 66051 10.1.2.3 | 10.1.2.3/32 | 0 10.1.2.3/24 | 10.1.2.0/24 | 3 10.1.2.3/16 | 10.1.0.0/16 | 515 10.1.2.3/8 | 10.0.0.0/8 | 66051 11.1.2.3/8 | 10.0.0.0/8 | 16843267 9.1.2.3/8 | 10.0.0.0/8 | -16711165 10:23::f1/64 | 10:23::f1/128 | 0 10:23::ffff | 10:23::8000/113 | 32767 ::4.3.2.1/24 | ::ffff:1.2.3.4/128 | -281470631346435 (17 rows) SELECT '127.0.0.1'::inet + 257; ?column? ----------- 127.0.1.2 (1 row) SELECT ('127.0.0.1'::inet + 257) - 257; ?column? ----------- 127.0.0.1 (1 row) SELECT '127::1'::inet + 257; ?column? ---------- 127::102 (1 row) SELECT ('127::1'::inet + 257) - 257; ?column? ---------- 127::1 (1 row) SELECT '127.0.0.2'::inet - ('127.0.0.2'::inet + 500); ?column? ---------- -500 (1 row) SELECT '127.0.0.2'::inet - ('127.0.0.2'::inet - 500); ?column? ---------- 500 (1 row) SELECT '127::2'::inet - ('127::2'::inet + 500); ?column? ---------- -500 (1 row) SELECT '127::2'::inet - ('127::2'::inet - 500); ?column? ---------- 500 (1 row) -- these should give overflow errors: SELECT '127.0.0.1'::inet + 10000000000; ERROR: result is out of range SELECT '127.0.0.1'::inet - 10000000000; ERROR: result is out of range SELECT '126::1'::inet - '127::2'::inet; ERROR: result is out of range SELECT '127::1'::inet - '126::2'::inet; ERROR: result is out of range -- but not these SELECT '127::1'::inet + 10000000000; ?column? ------------------ 127::2:540b:e401 (1 row) SELECT '127::1'::inet - '127::2'::inet; ?column? ---------- -1 (1 row)