]> granicus.if.org Git - postgresql/commit
Fix interval_transform so it doesn't throw away non-no-op casts.
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 27 Dec 2016 20:43:54 +0000 (15:43 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 27 Dec 2016 20:43:54 +0000 (15:43 -0500)
commit21e24eb9a0829fb40011055e389cbcf50670521d
tree3fc217381e00daf751c5902c81f0936ae6cb5916
parente9cf6e685beacdf24f6873d597a5c78ff9beb679
Fix interval_transform so it doesn't throw away non-no-op casts.

interval_transform() contained two separate bugs that caused it to
sometimes mistakenly decide that a cast from interval to restricted
interval is a no-op and throw it away.

First, it was wrong to rely on dt.h's field type macros to have an
ordering consistent with the field's significance; in one case they do
not.  This led to mistakenly treating YEAR as less significant than MONTH,
so that a cast from INTERVAL MONTH to INTERVAL YEAR was incorrectly
discarded.

Second, fls(1<<k) produces k+1 not k, so comparing its output directly
to SECOND was wrong.  This led to supposing that a cast to INTERVAL
MINUTE was really a cast to INTERVAL SECOND and so could be discarded.

To fix, get rid of the use of fls(), and make a function based on
intervaltypmodout to produce a field ID code adapted to the need here.

Per bug #14479 from Piotr Stefaniak.  Back-patch to 9.2 where transform
functions were introduced, because this code was born broken.

Discussion: https://postgr.es/m/20161227172307.10135.7747@wrigleys.postgresql.org
src/backend/utils/adt/timestamp.c
src/test/regress/expected/interval.out
src/test/regress/sql/interval.sql