Fix interval_mul() to not produce insane results.
authorTom Lane <[email protected]>
Tue, 29 Mar 2016 21:21:12 +0000 (17:21 -0400)
committerTom Lane <[email protected]>
Tue, 29 Mar 2016 21:21:12 +0000 (17:21 -0400)
commita898b409f66f956e99694710f537829db02652c0
treeda7dda9c1cbad477f74a0b7ae3f776b5c6558daf
parente511d878f3bbc205cd260a79740e646eea3c1cd3
Fix interval_mul() to not produce insane results.

interval_mul() attempts to prevent its calculations from producing silly
results, but it forgot that zero times infinity yields NaN in IEEE
arithmetic.  Hence, a case like '1 second'::interval * 'infinity'::float8
produced a NaN for the months product, which didn't trigger the range
check, resulting in bogus and possibly platform-dependent output.

This isn't terribly obvious to the naked eye because if you try that
exact case, you get "interval out of range" which is what you expect
--- but if you look closer, the error is coming from interval_out not
interval_mul.  interval_mul has allowed a bogus value into the system.

Fix by adding isnan tests.

Noted while testing Vitaly Burovoy's fix for infinity input to
to_timestamp().  Given the lack of field complaints, I doubt this
is worth a back-patch.
src/backend/utils/adt/timestamp.c