mirror of
https://github.com/postgres/postgres.git
synced 2026-01-26 09:41:40 +03:00
0a27c3d0f7
This commit makes use of the overflow-aware routines in int.h to fix a variety of reported overflow bugs in the date and timestamp code. It seems unlikely that this fixes all such bugs in this area, but since the problems seem limited to cases that are far beyond any realistic usage, I'm not going to worry too much. Note that for one bug, I've chosen to simply add a comment about the overflow hazard because fixing it would require quite a bit of code restructuring that doesn't seem worth the risk. Since this is a bug fix, it could be back-patched, but given the risk of conflicts with the new routines in int.h and the overall risk/reward ratio of this patch, I've opted not to do so for now. Fixes bug #18585 (except for the one case that's just commented). Reported-by: Alexander Lakhin Author: Matthew Kim, Nathan Bossart Reviewed-by: Joseph Koshakow, Jian He Discussion: https://postgr.es/m/31ad2cd1-db94-bdb3-f91a-65ffdb4bef95%40gmail.com Discussion: https://postgr.es/m/18585-db646741dd649abd%40postgresql.org
377 lines
12 KiB
SQL
377 lines
12 KiB
SQL
--
|
|
-- DATE
|
|
--
|
|
|
|
CREATE TABLE DATE_TBL (f1 date);
|
|
|
|
INSERT INTO DATE_TBL VALUES ('1957-04-09');
|
|
INSERT INTO DATE_TBL VALUES ('1957-06-13');
|
|
INSERT INTO DATE_TBL VALUES ('1996-02-28');
|
|
INSERT INTO DATE_TBL VALUES ('1996-02-29');
|
|
INSERT INTO DATE_TBL VALUES ('1996-03-01');
|
|
INSERT INTO DATE_TBL VALUES ('1996-03-02');
|
|
INSERT INTO DATE_TBL VALUES ('1997-02-28');
|
|
INSERT INTO DATE_TBL VALUES ('1997-02-29');
|
|
INSERT INTO DATE_TBL VALUES ('1997-03-01');
|
|
INSERT INTO DATE_TBL VALUES ('1997-03-02');
|
|
INSERT INTO DATE_TBL VALUES ('2000-04-01');
|
|
INSERT INTO DATE_TBL VALUES ('2000-04-02');
|
|
INSERT INTO DATE_TBL VALUES ('2000-04-03');
|
|
INSERT INTO DATE_TBL VALUES ('2038-04-08');
|
|
INSERT INTO DATE_TBL VALUES ('2039-04-09');
|
|
INSERT INTO DATE_TBL VALUES ('2040-04-10');
|
|
INSERT INTO DATE_TBL VALUES ('2040-04-10 BC');
|
|
|
|
SELECT f1 FROM DATE_TBL;
|
|
|
|
SELECT f1 FROM DATE_TBL WHERE f1 < '2000-01-01';
|
|
|
|
SELECT f1 FROM DATE_TBL
|
|
WHERE f1 BETWEEN '2000-01-01' AND '2001-01-01';
|
|
|
|
--
|
|
-- Check all the documented input formats
|
|
--
|
|
SET datestyle TO iso; -- display results in ISO
|
|
|
|
SET datestyle TO ymd;
|
|
|
|
SELECT date 'January 8, 1999';
|
|
SELECT date '1999-01-08';
|
|
SELECT date '1999-01-18';
|
|
SELECT date '1/8/1999';
|
|
SELECT date '1/18/1999';
|
|
SELECT date '18/1/1999';
|
|
SELECT date '01/02/03';
|
|
SELECT date '19990108';
|
|
SELECT date '990108';
|
|
SELECT date '1999.008';
|
|
SELECT date 'J2451187';
|
|
SELECT date 'January 8, 99 BC';
|
|
|
|
SELECT date '99-Jan-08';
|
|
SELECT date '1999-Jan-08';
|
|
SELECT date '08-Jan-99';
|
|
SELECT date '08-Jan-1999';
|
|
SELECT date 'Jan-08-99';
|
|
SELECT date 'Jan-08-1999';
|
|
SELECT date '99-08-Jan';
|
|
SELECT date '1999-08-Jan';
|
|
|
|
SELECT date '99 Jan 08';
|
|
SELECT date '1999 Jan 08';
|
|
SELECT date '08 Jan 99';
|
|
SELECT date '08 Jan 1999';
|
|
SELECT date 'Jan 08 99';
|
|
SELECT date 'Jan 08 1999';
|
|
SELECT date '99 08 Jan';
|
|
SELECT date '1999 08 Jan';
|
|
|
|
SELECT date '99-01-08';
|
|
SELECT date '1999-01-08';
|
|
SELECT date '08-01-99';
|
|
SELECT date '08-01-1999';
|
|
SELECT date '01-08-99';
|
|
SELECT date '01-08-1999';
|
|
SELECT date '99-08-01';
|
|
SELECT date '1999-08-01';
|
|
|
|
SELECT date '99 01 08';
|
|
SELECT date '1999 01 08';
|
|
SELECT date '08 01 99';
|
|
SELECT date '08 01 1999';
|
|
SELECT date '01 08 99';
|
|
SELECT date '01 08 1999';
|
|
SELECT date '99 08 01';
|
|
SELECT date '1999 08 01';
|
|
|
|
SET datestyle TO dmy;
|
|
|
|
SELECT date 'January 8, 1999';
|
|
SELECT date '1999-01-08';
|
|
SELECT date '1999-01-18';
|
|
SELECT date '1/8/1999';
|
|
SELECT date '1/18/1999';
|
|
SELECT date '18/1/1999';
|
|
SELECT date '01/02/03';
|
|
SELECT date '19990108';
|
|
SELECT date '990108';
|
|
SELECT date '1999.008';
|
|
SELECT date 'J2451187';
|
|
SELECT date 'January 8, 99 BC';
|
|
|
|
SELECT date '99-Jan-08';
|
|
SELECT date '1999-Jan-08';
|
|
SELECT date '08-Jan-99';
|
|
SELECT date '08-Jan-1999';
|
|
SELECT date 'Jan-08-99';
|
|
SELECT date 'Jan-08-1999';
|
|
SELECT date '99-08-Jan';
|
|
SELECT date '1999-08-Jan';
|
|
|
|
SELECT date '99 Jan 08';
|
|
SELECT date '1999 Jan 08';
|
|
SELECT date '08 Jan 99';
|
|
SELECT date '08 Jan 1999';
|
|
SELECT date 'Jan 08 99';
|
|
SELECT date 'Jan 08 1999';
|
|
SELECT date '99 08 Jan';
|
|
SELECT date '1999 08 Jan';
|
|
|
|
SELECT date '99-01-08';
|
|
SELECT date '1999-01-08';
|
|
SELECT date '08-01-99';
|
|
SELECT date '08-01-1999';
|
|
SELECT date '01-08-99';
|
|
SELECT date '01-08-1999';
|
|
SELECT date '99-08-01';
|
|
SELECT date '1999-08-01';
|
|
|
|
SELECT date '99 01 08';
|
|
SELECT date '1999 01 08';
|
|
SELECT date '08 01 99';
|
|
SELECT date '08 01 1999';
|
|
SELECT date '01 08 99';
|
|
SELECT date '01 08 1999';
|
|
SELECT date '99 08 01';
|
|
SELECT date '1999 08 01';
|
|
|
|
SET datestyle TO mdy;
|
|
|
|
SELECT date 'January 8, 1999';
|
|
SELECT date '1999-01-08';
|
|
SELECT date '1999-01-18';
|
|
SELECT date '1/8/1999';
|
|
SELECT date '1/18/1999';
|
|
SELECT date '18/1/1999';
|
|
SELECT date '01/02/03';
|
|
SELECT date '19990108';
|
|
SELECT date '990108';
|
|
SELECT date '1999.008';
|
|
SELECT date 'J2451187';
|
|
SELECT date 'January 8, 99 BC';
|
|
|
|
SELECT date '99-Jan-08';
|
|
SELECT date '1999-Jan-08';
|
|
SELECT date '08-Jan-99';
|
|
SELECT date '08-Jan-1999';
|
|
SELECT date 'Jan-08-99';
|
|
SELECT date 'Jan-08-1999';
|
|
SELECT date '99-08-Jan';
|
|
SELECT date '1999-08-Jan';
|
|
|
|
SELECT date '99 Jan 08';
|
|
SELECT date '1999 Jan 08';
|
|
SELECT date '08 Jan 99';
|
|
SELECT date '08 Jan 1999';
|
|
SELECT date 'Jan 08 99';
|
|
SELECT date 'Jan 08 1999';
|
|
SELECT date '99 08 Jan';
|
|
SELECT date '1999 08 Jan';
|
|
|
|
SELECT date '99-01-08';
|
|
SELECT date '1999-01-08';
|
|
SELECT date '08-01-99';
|
|
SELECT date '08-01-1999';
|
|
SELECT date '01-08-99';
|
|
SELECT date '01-08-1999';
|
|
SELECT date '99-08-01';
|
|
SELECT date '1999-08-01';
|
|
|
|
SELECT date '99 01 08';
|
|
SELECT date '1999 01 08';
|
|
SELECT date '08 01 99';
|
|
SELECT date '08 01 1999';
|
|
SELECT date '01 08 99';
|
|
SELECT date '01 08 1999';
|
|
SELECT date '99 08 01';
|
|
SELECT date '1999 08 01';
|
|
|
|
-- Check upper and lower limits of date range
|
|
SELECT date '4714-11-24 BC';
|
|
SELECT date '4714-11-23 BC'; -- out of range
|
|
SELECT date '5874897-12-31';
|
|
SELECT date '5874898-01-01'; -- out of range
|
|
|
|
-- Test non-error-throwing API
|
|
SELECT pg_input_is_valid('now', 'date');
|
|
SELECT pg_input_is_valid('garbage', 'date');
|
|
SELECT pg_input_is_valid('6874898-01-01', 'date');
|
|
SELECT * FROM pg_input_error_info('garbage', 'date');
|
|
SELECT * FROM pg_input_error_info('6874898-01-01', 'date');
|
|
|
|
RESET datestyle;
|
|
|
|
--
|
|
-- Simple math
|
|
-- Leave most of it for the horology tests
|
|
--
|
|
|
|
SELECT f1 - date '2000-01-01' AS "Days From 2K" FROM DATE_TBL;
|
|
|
|
SELECT f1 - date 'epoch' AS "Days From Epoch" FROM DATE_TBL;
|
|
|
|
SELECT date 'yesterday' - date 'today' AS "One day";
|
|
|
|
SELECT date 'today' - date 'tomorrow' AS "One day";
|
|
|
|
SELECT date 'yesterday' - date 'tomorrow' AS "Two days";
|
|
|
|
SELECT date 'tomorrow' - date 'today' AS "One day";
|
|
|
|
SELECT date 'today' - date 'yesterday' AS "One day";
|
|
|
|
SELECT date 'tomorrow' - date 'yesterday' AS "Two days";
|
|
|
|
--
|
|
-- test extract!
|
|
--
|
|
SELECT f1 as "date",
|
|
date_part('year', f1) AS year,
|
|
date_part('month', f1) AS month,
|
|
date_part('day', f1) AS day,
|
|
date_part('quarter', f1) AS quarter,
|
|
date_part('decade', f1) AS decade,
|
|
date_part('century', f1) AS century,
|
|
date_part('millennium', f1) AS millennium,
|
|
date_part('isoyear', f1) AS isoyear,
|
|
date_part('week', f1) AS week,
|
|
date_part('dow', f1) AS dow,
|
|
date_part('isodow', f1) AS isodow,
|
|
date_part('doy', f1) AS doy,
|
|
date_part('julian', f1) AS julian,
|
|
date_part('epoch', f1) AS epoch
|
|
FROM date_tbl;
|
|
--
|
|
-- epoch
|
|
--
|
|
SELECT EXTRACT(EPOCH FROM DATE '1970-01-01'); -- 0
|
|
--
|
|
-- century
|
|
--
|
|
SELECT EXTRACT(CENTURY FROM DATE '0101-12-31 BC'); -- -2
|
|
SELECT EXTRACT(CENTURY FROM DATE '0100-12-31 BC'); -- -1
|
|
SELECT EXTRACT(CENTURY FROM DATE '0001-12-31 BC'); -- -1
|
|
SELECT EXTRACT(CENTURY FROM DATE '0001-01-01'); -- 1
|
|
SELECT EXTRACT(CENTURY FROM DATE '0001-01-01 AD'); -- 1
|
|
SELECT EXTRACT(CENTURY FROM DATE '1900-12-31'); -- 19
|
|
SELECT EXTRACT(CENTURY FROM DATE '1901-01-01'); -- 20
|
|
SELECT EXTRACT(CENTURY FROM DATE '2000-12-31'); -- 20
|
|
SELECT EXTRACT(CENTURY FROM DATE '2001-01-01'); -- 21
|
|
SELECT EXTRACT(CENTURY FROM CURRENT_DATE)>=21 AS True; -- true
|
|
--
|
|
-- millennium
|
|
--
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '0001-12-31 BC'); -- -1
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '0001-01-01 AD'); -- 1
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '1000-12-31'); -- 1
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '1001-01-01'); -- 2
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '2000-12-31'); -- 2
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '2001-01-01'); -- 3
|
|
-- next test to be fixed on the turn of the next millennium;-)
|
|
SELECT EXTRACT(MILLENNIUM FROM CURRENT_DATE); -- 3
|
|
--
|
|
-- decade
|
|
--
|
|
SELECT EXTRACT(DECADE FROM DATE '1994-12-25'); -- 199
|
|
SELECT EXTRACT(DECADE FROM DATE '0010-01-01'); -- 1
|
|
SELECT EXTRACT(DECADE FROM DATE '0009-12-31'); -- 0
|
|
SELECT EXTRACT(DECADE FROM DATE '0001-01-01 BC'); -- 0
|
|
SELECT EXTRACT(DECADE FROM DATE '0002-12-31 BC'); -- -1
|
|
SELECT EXTRACT(DECADE FROM DATE '0011-01-01 BC'); -- -1
|
|
SELECT EXTRACT(DECADE FROM DATE '0012-12-31 BC'); -- -2
|
|
--
|
|
-- all possible fields
|
|
--
|
|
SELECT EXTRACT(MICROSECONDS FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(MILLISECONDS FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(SECOND FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(MINUTE FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(HOUR FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(DAY FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(MONTH FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(YEAR FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(YEAR FROM DATE '2020-08-11 BC');
|
|
SELECT EXTRACT(DECADE FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(CENTURY FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(ISOYEAR FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(ISOYEAR FROM DATE '2020-08-11 BC');
|
|
SELECT EXTRACT(QUARTER FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(WEEK FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(DOW FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(DOW FROM DATE '2020-08-16');
|
|
SELECT EXTRACT(ISODOW FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(ISODOW FROM DATE '2020-08-16');
|
|
SELECT EXTRACT(DOY FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(TIMEZONE FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(TIMEZONE_M FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(TIMEZONE_H FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(EPOCH FROM DATE '2020-08-11');
|
|
SELECT EXTRACT(JULIAN FROM DATE '2020-08-11');
|
|
--
|
|
-- test trunc function!
|
|
--
|
|
SELECT DATE_TRUNC('MILLENNIUM', TIMESTAMP '1970-03-20 04:30:00.00000'); -- 1001
|
|
SELECT DATE_TRUNC('MILLENNIUM', DATE '1970-03-20'); -- 1001-01-01
|
|
SELECT DATE_TRUNC('CENTURY', TIMESTAMP '1970-03-20 04:30:00.00000'); -- 1901
|
|
SELECT DATE_TRUNC('CENTURY', DATE '1970-03-20'); -- 1901
|
|
SELECT DATE_TRUNC('CENTURY', DATE '2004-08-10'); -- 2001-01-01
|
|
SELECT DATE_TRUNC('CENTURY', DATE '0002-02-04'); -- 0001-01-01
|
|
SELECT DATE_TRUNC('CENTURY', DATE '0055-08-10 BC'); -- 0100-01-01 BC
|
|
SELECT DATE_TRUNC('DECADE', DATE '1993-12-25'); -- 1990-01-01
|
|
SELECT DATE_TRUNC('DECADE', DATE '0004-12-25'); -- 0001-01-01 BC
|
|
SELECT DATE_TRUNC('DECADE', DATE '0002-12-31 BC'); -- 0011-01-01 BC
|
|
--
|
|
-- test infinity
|
|
--
|
|
select 'infinity'::date, '-infinity'::date;
|
|
select 'infinity'::date > 'today'::date as t;
|
|
select '-infinity'::date < 'today'::date as t;
|
|
select isfinite('infinity'::date), isfinite('-infinity'::date), isfinite('today'::date);
|
|
select 'infinity'::date = '+infinity'::date as t;
|
|
|
|
--
|
|
-- oscillating fields from non-finite date:
|
|
--
|
|
SELECT EXTRACT(DAY FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(DAY FROM DATE '-infinity'); -- NULL
|
|
-- all supported fields
|
|
SELECT EXTRACT(DAY FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(MONTH FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(QUARTER FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(WEEK FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(DOW FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(ISODOW FROM DATE 'infinity'); -- NULL
|
|
SELECT EXTRACT(DOY FROM DATE 'infinity'); -- NULL
|
|
--
|
|
-- monotonic fields from non-finite date:
|
|
--
|
|
SELECT EXTRACT(EPOCH FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(EPOCH FROM DATE '-infinity'); -- -Infinity
|
|
-- all supported fields
|
|
SELECT EXTRACT(YEAR FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(DECADE FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(CENTURY FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(MILLENNIUM FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(JULIAN FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(ISOYEAR FROM DATE 'infinity'); -- Infinity
|
|
SELECT EXTRACT(EPOCH FROM DATE 'infinity'); -- Infinity
|
|
--
|
|
-- wrong fields from non-finite date:
|
|
--
|
|
SELECT EXTRACT(MICROSEC FROM DATE 'infinity'); -- error
|
|
|
|
-- test constructors
|
|
select make_date(2013, 7, 15);
|
|
select make_date(-44, 3, 15);
|
|
select make_time(8, 20, 0.0);
|
|
-- should fail
|
|
select make_date(0, 7, 15);
|
|
select make_date(2013, 2, 30);
|
|
select make_date(2013, 13, 1);
|
|
select make_date(2013, 11, -1);
|
|
SELECT make_date(-2147483648, 1, 1);
|
|
select make_time(10, 55, 100.1);
|
|
select make_time(24, 0, 2.1);
|