Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version
От
Pedro Gimeno
Тема
Re: Re: BUG #12885: The result of casting a double to an integer
depends on the database version
Дата
Msg-id
5512FE17.6020702@personal.formauri.es
Ответ на
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version (Tom Lane)
Список
Дерево обсуждения
BUG #12885: The result of casting a double to an integer depends on
the database version rschaaf@commoninf.com
Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: BUG #12885: The result of casting a double to an integer
depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer
depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: BUG #12885: The result of casting a double to an integer
depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: BUG #12885: The result of casting a double to an integer
depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends
on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: BUG #12885: The result of casting a double to an integer depends
on the database version Michael Paquier <michael.paquier@gmail.com>
Re: BUG #12885: The result of casting a double to an integer depends
on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: BUG #12885: The result of casting a double to an integer depends
on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: BUG #12885: The result of casting a double to an integer depends
on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: Re: BUG #12885: The result of casting a double to an integer
depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: Re: BUG #12885: The result of casting a double to an integer
depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: Re: BUG #12885: The result of casting a double to an integer
depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Andrew Gierth <andrew@tao11.riddles.org.uk>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Tom Lane <tgl@sss.pgh.pa.us>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Andrew Gierth <andrew@tao11.riddles.org.uk>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer
depends on the database version Pedro Gimeno <pgsql-004@personal.formauri.es>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Dean Rasheed <dean.a.rasheed@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an integer depends on the database version Andrew Gierth <andrew@tao11.riddles.org.uk>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Re: Re: BUG #12885: The result of casting a double to an
integer depends on the database version Michael Paquier <michael.paquier@gmail.com>
Tom Lane wrote, On 2015-03-25 18:57: > Hmm ... I'm thinking we probably should explicitly check for inf and NaN, > no? > > if (isnan(x) || isinf(x)) > return x; > > It's possible the given coding would return this result anyway by > accident, but that seems rather fragile. I agree about NaN; it worked but mostly by accident. The big number detection catches infinity unambiguously. Added to a comment in the attached (plus corresponding tests).
В списке pgsql-bugs по дате отправления
От: Pedro Gimeno
Дата:
От: Duncan Smith
Дата: